Considérons la fonction \(f\) : \(x\mapsto \cos x-1+\frac{x^2}{2}\). Elle est deux fois dérivable de dérivées \(f'(x)=-\sin(x)+x\) et \(f''(x)=-\cos(x)+1\). La dérivée seconde est positive ou nulle, avec des zéros isolés, donc \(f'\) est strictement croissante, elle s’annule en 0, donc elle est négative avant et positive après. On en déduit que \(f\) a un minimum (absolu) en 0 ; comme \(f(0)=0\), on en déduit l’inégalité demandée.
3pts
Remarque : la fonction cosinus est de classe Cn sur \(\mathbb R\) et on pourrait avoir envie d'appliquer la formule de Taylor-Lagrange à un ordre \(n\) bien choisi mais on a des problèmes avec le signe du reste.
Pour \(x=1\), l'inégalité \(\sqrt{1-x} \le 1 - \frac x2\) est vérifiée.
Soit maintenant \(x\in[0,1[\). Comme \(1-x>0\),la fonction racine carrée \(t\mapsto R(t)=\sqrt t\) est de classe C2 sur \([1-x, +\infty[\). On peut donc appliquer la formule de Taylor-Lagrange à l'ordre 2 entre \(a=1\) et \(b=1-x\). Il existe donc \(C\in]1-x,1[\) tel que
\(R(1-x)=R(1)+(1-x-1)R'(1)+\frac{(1-x-1)²}{2}R''(c)\)
c'est-à-dire, puisque, pour tout \(t>0\), \(R'(t)=\frac{1}{2\sqrt{t}}\) et \(R''(t)=\frac{1}{4t\sqrt{t}}\), tel que
\(\sqrt{1-x}=1-\frac{x}{2}-\frac{x^2}{8c\sqrt c}\le1-\frac{x}{2}\).
2pts