ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 13 — Polynômes et fractions rationnelles · Dérivation

Exercice 22

DémonstrationCalcul

1. Soit n⩾3n \geqslant 3 et P=X2n+1−(2n+1)Xn+1+(2n+1)Xn−1P = X^{2n + 1} - (2n + 1)X^{n + 1} + (2n + 1)X^{n} - 1. Déterminer la multiplicité de 11 dans PP.

2. Soit n⩾1n \geqslant 1. Déterminer les réels aa et bb tels que 11 soit racine au moins double de aXn+1+bXn+1aX^{n + 1} + bX^{n} + 1.

3. Montrer par deux méthodes différentes que X2X^{2} divise (X+1)n−nX−1(X + 1)^{n} - nX - 1 pour tout n∈ℕn \in \mathbb{N}.

4. Pour quelles valeurs de n∈ℕ∗n \in \mathbb{N}^{*} le polynôme (X2+X+1)2(X^{2} + X + 1)^{2} divise-t-il (X+1)n−Xn−1(X + 1)^{n} - X^{n} - 1 ?

Corrigé

1. On a P(1)=0P(1) = 0, puis P′=(2n+1)(X2n−(n+1)Xn+nXn−1),P′′=(2n+1)n(2X2n−1−(n+1)Xn−1+(n−1)Xn−2),P' = (2n + 1)\big(X^{2n} - (n + 1)X^{n} + nX^{n - 1}\big), \qquad P'' = (2n + 1)n\big(2X^{2n - 1} - (n + 1)X^{n - 1} + (n - 1)X^{n - 2}\big), qui s'annulent en 11, et P′′′(1)=(2n+1)n(2(2n−1)−(n+1)(n−1)+(n−1)(n−2))=(2n+1)n(n+1)≠0P'''(1) = (2n + 1)n\big(2(2n - 1) - (n + 1)(n - 1) + (n - 1)(n - 2)\big) = (2n + 1)n(n + 1) \neq 0. Par la proposition 12 : 1 est racine triple de P\boxed{1 \text{ est racine triple de } P}

2. Avec Q=aXn+1+bXn+1Q = aX^{n + 1} + bX^{n} + 1, il faut Q(1)=a+b+1=0Q(1) = a + b + 1 = 0 et Q′(1)=(n+1)a+nb=0Q'(1) = (n + 1)a + nb = 0. a=n,b=−(n+1)\boxed{a = n, \quad b = -(n + 1)}

3. Par le binôme : (X+1)n−nX−1=∑k=2n(nk)Xk(X + 1)^{n} - nX - 1 = \sum_{k = 2}^{n} \binom{n}{k}X^{k}, qui est multiple de X2X^{2}. Par les dérivées : Q=(X+1)n−nX−1Q = (X + 1)^{n} - nX - 1 vérifie Q(0)=0Q(0) = 0 et Q′(0)=n−n=0Q'(0) = n - n = 0, donc 00 est racine au moins double.

4. Les racines de (X2+X+1)2(X^{2} + X + 1)^{2} sont jj et j‾\overline{j}, doubles. Soit f=(X+1)n−Xn−1f = (X + 1)^{n} - X^{n} - 1, à coefficients réels : il suffit, par la proposition 18, que jj soit racine au moins double. Comme j+1=−j2j + 1 = -j^{2}, f′(j)=n((−j2)n−1−jn−1)=njn−1((−j)n−1−1),f'(j) = n\big((-j^{2})^{n - 1} - j^{n - 1}\big) = nj^{n - 1}\big((-j)^{n - 1} - 1\big), qui est nul si et seulement si (−j)n−1=1(-j)^{n - 1} = 1. Or −j=e−iπ/3-j = \mathrm{e}^{-\mathrm{i}\pi/3} est une racine primitive sixième de l'unité, donc f′(j)=0f'(j) = 0 équivaut à n≡1  [6]n \equiv 1 \;[6]. Dans ce cas, f(j)=−j2n−jn−1=−j2−j−1=0f(j) = -j^{2n} - j^{n} - 1 = -j^{2} - j - 1 = 0. (X2+X+1)2∣(X+1)n−Xn−1  ⟺  n≡1  [6]\boxed{(X^{2} + X + 1)^{2} \mid (X + 1)^{n} - X^{n} - 1 \iff n \equiv 1 \;[6]}

Dans l'édifice

Thèmes

dérivation, racines, multiplicité, racines de l'unité

Notions

dérivée formelle, multiplicité d'une racine

Ouvrir dans l'atlas interactif →