>>739
aを消去してαで微分

dI/dα=sinα−αcosα>0
にはならない
aもαの関数