ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 13 — Polynômes et fractions rationnelles · Exercices de synthèse

Exercice 62

Démonstration

On dit qu'un polynôme est simplement scindé s'il est scindé à racines simples. Soit P∈ℝ[X]P \in \mathbb{R}[X] simplement scindé. On note a1<a2<⋯<ana_{1} < a_{2} < \cdots < a_{n} ses racines et b1<⋯<bn−1b_{1} < \cdots < b_{n - 1} les racines de P′P'.

1. En décomposant en éléments simples P′P\frac{P'}{P} de deux façons différentes, montrer ∀i∈[ ⁣[1 ;n] ⁣],n∏j=1n−1(ai−bj)=∏k∈[[1;n]]k≠i(ai−ak).\forall i \in [\![1\,;n]\!], \qquad n\prod_{j = 1}^{n - 1} (a_{i} - b_{j}) = \prod_{\substack{k \in [\![1\,;n]\!] \\ k \neq i}} (a_{i} - a_{k}).

2. En déduire ∀i∈[ ⁣[1 ;n−1] ⁣]\forall i \in [\![1\,;n - 1]\!], ai+ai+1−ain⩽bi⩽ai+1−ai+1−aina_{i} + \frac{a_{i + 1} - a_{i}}{n} \leqslant b_{i} \leqslant a_{i + 1} - \frac{a_{i + 1} - a_{i}}{n}.

Corrigé

1. D'une part, par la proposition 24, P′P=∑k1X−ak\frac{P'}{P} = \sum_{k} \frac{1}{X - a_{k}}. D'autre part, avec P=c∏(X−ak)P = c\prod (X - a_{k}) et P′=nc∏j(X−bj)P' = nc\prod_{j} (X - b_{j}), la proposition 23 donne pour coefficient en aia_{i} P′(ai)c∏k≠i(ai−ak)=nc∏j(ai−bj)c∏k≠i(ai−ak).\frac{P'(a_{i})}{c\prod_{k \neq i}(a_{i} - a_{k})} = \frac{nc\prod_{j}(a_{i} - b_{j})}{c\prod_{k \neq i}(a_{i} - a_{k})}. En égalant ce coefficient à 11 : n∏j=1n−1(ai−bj)=∏k≠i(ai−ak)\boxed{n\prod_{j = 1}^{n - 1}(a_{i} - b_{j}) = \prod_{k \neq i}(a_{i} - a_{k})}

2. Par le théorème de Rolle, bi∈ ]ai,ai+1[b_{i} \in \,]a_{i}, a_{i + 1}[. En b=bib = b_{i}, la première écriture donne ∑k1b−ak=0\sum_{k} \frac{1}{b - a_{k}} = 0. Les termes k⩽ik \leqslant i sont positifs, les termes k⩾i+1k \geqslant i + 1 négatifs. Donc 1b−ai⩽∑k⩽i1b−ak=∑k⩾i+11ak−b⩽n−iai+1−b,\frac{1}{b - a_{i}} \leqslant \sum_{k \leqslant i} \frac{1}{b - a_{k}} = \sum_{k \geqslant i + 1} \frac{1}{a_{k} - b} \leqslant \frac{n - i}{a_{i + 1} - b}, d'où ai+1−b⩽(n−i)(b−ai)a_{i + 1} - b \leqslant (n - i)(b - a_{i}), soit b−ai⩾ai+1−ain−i+1⩾ai+1−ainb - a_{i} \geqslant \frac{a_{i + 1} - a_{i}}{n - i + 1} \geqslant \frac{a_{i + 1} - a_{i}}{n}. De même, 1ai+1−b⩽ib−ai\frac{1}{a_{i + 1} - b} \leqslant \frac{i}{b - a_{i}} donne ai+1−b⩾ai+1−aii+1⩾ai+1−aina_{i + 1} - b \geqslant \frac{a_{i + 1} - a_{i}}{i + 1} \geqslant \frac{a_{i + 1} - a_{i}}{n}. ai+ai+1−ain⩽bi⩽ai+1−ai+1−ain\boxed{a_{i} + \frac{a_{i + 1} - a_{i}}{n} \leqslant b_{i} \leqslant a_{i + 1} - \frac{a_{i + 1} - a_{i}}{n}} La seconde question n'utilise que la première écriture de P′P\frac{P'}{P} : la racine de P′P' ne peut pas s'approcher à moins d'un nn-ième de la longueur de l'intervalle de ses deux voisines.

Ouvrir dans l'atlas interactif →