ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 7 — PGCD · Pour aller plus loin

Exercice 38 Racines rationnelles d'un polynôme

Démonstration

Soient n∈ℕ∗n\in\mathbb{N}^{*}, a0,…,ana_{0},\dots,a_{n} des entiers relatifs avec a0an≠0a_{0}a_{n}\neq 0, et PP la fonction polynomiale définie par P(x)=∑k=0nakxkP(x)=\displaystyle\sum_{k=0}^{n}a_{k}x^{k}.

a) Soit rr une racine rationnelle de PP. On écrit r=pqr=\dfrac{p}{q} où p∈ℤp\in\mathbb{Z} et q∈ℕ∗q\in\mathbb{N}^{*} sont premiers entre eux. Montrer que qq divise ana_{n} et que pp divise a0a_{0}. On pourra utiliser l'exercice 36.

b) En déduire que 2\sqrt{2} est irrationnel.

c) Montrer que l'équation x5−5x+7=0x^{5}-5x+7=0 admet une unique solution réelle, puis que cette solution est un nombre irrationnel.

Source : poly « Mathématiques : du lycée aux CPGE scientifiques » (LLG / H4), § 12.5 (théorème 34) et n° 513

Corrigé

a) P(pq)=0P\left(\frac{p}{q}\right)=0 s'écrit, après multiplication par qnq^{n} : ∑k=0nakpkqn−k=0\sum_{k=0}^{n}a_{k}p^{k}q^{n-k}=0 On isole le terme k=nk=n : anpn=−∑k=0n−1akpkqn−k=−q∑k=0n−1akpkqn−k−1a_{n}p^{n}=-\sum_{k=0}^{n-1}a_{k}p^{k}q^{n-k}=-q\sum_{k=0}^{n-1}a_{k}p^{k}q^{n-k-1} car n−k⩾1n-k\geqslant 1 pour k⩽n−1k\leqslant n-1. Donc qq divise anpna_{n}p^{n}. Comme pp et qq sont premiers entre eux, qq et pnp^{n} le sont aussi (exercice 36), et le théorème de Gauss donne q∣an\boxed{q\mid a_{n}}.

De même, en isolant le terme k=0k=0 : a0qn=−p∑k=1nakpk−1qn−ka_{0}q^{n}=-p\displaystyle\sum_{k=1}^{n}a_{k}p^{k-1}q^{n-k}, donc pp divise a0qna_{0}q^{n}. Comme pp et qnq^{n} sont premiers entre eux, p∣a0\boxed{p\mid a_{0}}.

b) 2\sqrt{2} est racine de P(x)=x2−2P(x)=x^{2}-2, avec a2=1a_{2}=1 et a0=−2a_{0}=-2. Si PP avait une racine rationnelle pq\frac{p}{q} sous forme irréductible, on aurait q∣1q\mid 1, donc q=1q=1, et p∣2p\mid 2 : la racine serait un entier parmi ±1\pm 1 et ±2\pm 2. Or leurs carrés valent 11 ou 44, et non 22. Ainsi PP n'a pas de racine rationnelle, et 2 est irrationnel\boxed{\sqrt{2} \text{ est irrationnel}}.

c) Soit P(x)=x5−5x+7P(x)=x^{5}-5x+7. On a P′(x)=5x4−5=5(x2−1)(x2+1)P'(x)=5x^{4}-5=5(x^{2}-1)(x^{2}+1), du signe de x2−1x^{2}-1.

Figure

Sur [−1 ;+∞[[-1\,;+\infty[, le minimum de PP est P(1)=3>0P(1)=3>0 : il n'y a pas de racine. Sur ]−∞ ;−1]]-\infty\,;-1], PP est continue et strictement croissante, avec lim⁡x→−∞P(x)=−∞\displaystyle\lim_{x\to-\infty}P(x)=-\infty et P(−1)=11>0P(-1)=11>0. D'après le théorème des valeurs intermédiaires, appliqué à une fonction strictement monotone, l'équation P(x)=0P(x)=0 y a une unique solution α\alpha, et α<−1\alpha<-1.

Si α\alpha était rationnel, d'après a), ce serait un entier (q∣1q\mid 1) divisant 77, donc α∈{−7 ;−1 ;1 ;7}\alpha\in\{-7\,;-1\,;1\,;7\}. Or P(−7)=−16 765P(-7)=-16\,765, P(−1)=11P(-1)=11, P(1)=3P(1)=3 et P(7)=16 779P(7)=16\,779 : aucun n'est nul. l’unique solution reˊelle de x5−5x+7=0 est irrationnelle\boxed{\text{l'unique solution réelle de } x^{5}-5x+7=0 \text{ est irrationnelle}}

Dans l'édifice

Thèmes

entiers premiers entre eux, irrationalité

Ouvrir dans l'atlas interactif →