Exercice : Fonctions trigonométriques

★★ Avancé

On considère la fonction $f$ définie sur l'intervalle $[0 ; \pi]$ par :

$$f(x) = \cos(2x) - 2\cos(x)$$

On cherche à déterminer l'abscisse $x_0 \in [0 ; \pi]$ en laquelle la fonction $f$ atteint son minimum absolu.

  1. En utilisant la formule $\sin(2x) = 2\sin(x)\cos(x)$, calculer la dérivée $f'(x)$ et montrer que $f'(x) = 2\sin(x)(1 - 2\cos(x))$.
  2. Étudier le signe de $f'(x)$ sur $[0 ; \pi]$ et dresser le tableau de variations de $f$.
  3. Justifier que $f$ admet un minimum absolu sur $[0 ; \pi]$ en une valeur $x_0$ de la forme $x_0 = \dfrac{\pi}{k}$, où $k$ est un entier naturel non nul.

Saisir la valeur de l'entier $k$.