Notez $u$ le nombre réel défini par :
Le problème consiste à rechercher tous les polynômes $P\in\Z[X]$ de degré $2$ tels que :
Note. Vous remarquez que :
En élevant au carré, vous obtenez :
Vous déduisez que $u$ est annulé par le polynôme $X^2-4X+2$ qui est de degré $2$ et à coefficients entiers.
La question qui se pose est la suivante : existe-t-il d’autres polynômes de degré $2\comma$ à coefficients entiers, qui annulent ce réel ? Plusieurs approches sont possibles.
Dans la suite de ce contenu, vous procéderez comme si vous ne saviez pas que $X^2-4X+2$ est un polynôme qui annule le réel $u.$ L’avantage de cette approche est de retrouver ce résultat autrement et de répondre à la question posée. La recherche des solutions entières d’un système d’équations linéaires à coefficients entiers sera effectuée avec le calcul matriciel.
Analysez le problème
Soit $P$ un polynôme à coefficients entiers, de degré $2\comma$ tel que :
Obtenez un système d’équations
Il existe des nombres $a\in\ZZ\comma$ $b\in\Z$ et $c\in\Z$ tels que $P(X) = aX^2+bX+c.$ Comme $u^2 = 4+4\sqrt{2}+2\comma$ l’égalité $P(u)=0$ s’écrit :
Supposez un instant que $4a+b$ soit non nul.
Alors :
Cette écriture impliquerait que $\sqrt{2}\in\Q\comma$ autrement dit $\sqrt{2}$ serait rationnel. Ceci contredit le fait que $\sqrt{2}$ est irrationnel, résultat démontré dans un autre article.
Pour en savoir davantage, allez lire le contenu rédigé dans l'article 122.
Vous déduisez que :
Comme :
vous déduisez :
Utilisez des matrices pour résoudre le système obtenu
D’après ce qui précède, vous avez obtenu :
Vous posez maintenant :
et vous cherchez à simplifier $A$ en la multipliant à droite par des matrices inversibles, à coefficients entiers, dont les inverses restent à coefficients entiers. Il suffit d’utiliser des matrices de permutation et de transvection, en lien avec les opérations élémentaires sur les colonnes de la matrice $A.$ Le fait que les inverses soient à coefficients entiers garantit que le changement d’inconnues effectué plus loin transforme des triplets d’entiers en triplets d’entiers, et réciproquement.
Simplifiez la matrice $A$ avec des multiplications
D’une part, vous échangez les colonnes $1$ et $3$ de la matrice $A$ et vous obtenez :
Vous remplacez la colonne $2$ par elle-même diminuée du double de la colonne $1$ et vous obtenez :
Cela s’écrit :
Enfin, vous remplacez la colonne $3$ par elle-même à laquelle vous enlevez quatre fois la colonne $2$ et six fois la colonne $1\comma$ ce qui donne :
En effectuant le produit des deux matrices carrées, il vient :
Vous notez $Q$ la matrice suivante, afin de ne pas la confondre avec le polynôme étudié :
et remarquez que :
Calculez l’inverse de la matrice $Q$
Vous résolvez le système suivant, d’inconnues $x_1\comma$ $x_2$ et $x_3\comma$ qui traduit l’égalité matricielle $QX = Y.$
Il vient successivement :
Le système admet une unique solution pour tout second membre, donc la matrice $Q$ est inversible et :
Les matrices $Q$ et $Q^{-1}$ sont bien toutes deux à coefficients entiers.
Déduisez-en les valeurs possibles de $a\comma$ $b$ et $c$
De l’égalité :
vous forcez l’apparition de la matrice $Q$ et de son inverse :
Cela fournit :
Soient alors $m\comma$ $n$ et $p$ les trois entiers définis par :
Vous avez :
Donc :
Si bien que $m=n=0.$ C’est logique : vous retrouvez les équations satisfaites par $a\comma$ $b$ et $c.$
Ainsi :
En multipliant à gauche par $Q\comma$ vous obtenez immédiatement :
Comme $a = p$ et que $a\comma$ coefficient dominant de $P\comma$ est non nul, vous déduisez que $p\neq 0.$
En conclusion de cette analyse, il existe un entier $p$ non nul tel que :
Synthèse
Il a été vu que $u^2-4u+2 = 0.$
Ainsi, quel que soit $p\in\ZZ\comma$ vous avez $p(u^2-4u+2) = 0.$
Donc, quel que soit $p\in\ZZ\comma$ le polynôme $p(X^2-4X+2)$ est bien à coefficients entiers, de degré $2$ et annulateur du réel $2+\sqrt{2}.$
Concluez
Pour tout polynôme $P$ de degré $2$ à coefficients entiers, il y a équivalence entre les propositions suivantes :
- le polynôme $P$ s’annule en $2+\sqrt{2}\comma$ c’est-à-dire que ce réel en est une racine ;
- il existe un entier $p$ non nul tel que $P(X) = p(X^2-4X+2).$
