Rappelons que si un polynôme réel \(P(x)\) s'annule en \(x_0\), c'est qu'il peut se factoriser en \(P(x)=(x-x_0)Q(x)\).
Rappelons que \[ \lim_{x\to 0}\frac{\sin(x)}{x}=1\,. \]
Remarquer que le polynôme \(1-x^3\) s'annule en \(x_0=1\).
Une formule de trigonométrie peut s'avérer utile pour \(\cos(x)-\cos(a)\).