>>96
f'(0)=0 だからもう一回微分して
f''(x)=-cosx+2a
常にf''(x) ≧ 0 なら f'(x) が単調非減少になって、
f'(0)=0であることとあわせてx<0 でf'(x)<0 、x≧0 でf'(x)≧0 となり、
最終的に任意の実数xに対して f(x)≧0 となる。（詳しくは増減表）