on pose
f(x)=cosx-1+x^2/2
on a
f'(x)=-sinx+x
f''(x)=-cosx+1
pour tout x f''(x)>=0 d'ou f' est croissante (et particulier )sur (o,p/2)
càd f'(x)>=f'0)=0
f'(x)>=0 ==> f est est croissante (et particulier )sur (o,p/2)
d'ou f(x) >=f(0)=0
càd
cosx-1+x^2/2 >0
_________________
وتوكل على الحي الذي لا يموت وسبح بحمده