icone-challenge-math-OS

Nous allons utiliser le test des racines rationnelles (TRR), dont l’énoncé figure à la 4ème section de l’article Comment factoriser un polynôme ?

Pour consulter l’énoncé, c’est ici.


 
On déduit immédiatement du TRR que le corollaire suivant :

Les éventuelles racines rationnelles d’un polynôme unitaire (c’est-à-dire : de coefficient de plus haut degré égal à 1) et à coefficients entiers sont des entiers.

En particulier, si p\in\mathbb{N} n’est pas un carré parfait, alors \sqrt{p}\notin\mathbb{Q} :

il suffit d’appliquer le TRR au polynôme X^{2}-p.

Venons-en à la question posée…

Soient p,q deux entiers naturels qui ne sont pas des carrés parfaits. Posons \alpha=\sqrt{p}+\sqrt{q}.

On constate que :

    \[ \alpha^{2}=p+q+2\sqrt{pq} \]

puis que :

    \[ \left(\alpha^{2}-p-q\right)^{2}=4pq \]

c’est-à-dire :

    \[ \alpha^{4}-2\left(p+q\right)\alpha^{2}+\left(p-q\right)^{2}=0 \]

Autrement dit, \alpha est racine du polynôme P=X^{4}-2\left(p+q\right)X^{2}+\left(p-q\right)^{2}.
Un calcul similaire montre que \beta=\sqrt{p}-\sqrt{q} est aussi racine de P.

Supposons que \alpha\in\mathbb{Q}. Alors (en utilisant l’expression conjuguée) :

    \[ \beta=\frac{p-q}{\sqrt{p}+\sqrt{q}}=\frac{p-q}{\alpha}\in\mathbb{Q} \]

et donc 2\sqrt{p}=\alpha+\beta\in\mathbb{Q}. D’après le corollaire du TRR signalée plus haut, on en déduit que 2\sqrt{p}\in\mathbb{N} et, en particulier, que \sqrt{p}\in\mathbb{Q} : contradiction !

En conclusion : \boxed{\alpha\notin\mathbb{Q}}

Partager cet article
  •  
  •  
  •  
  •  
  •  
Fermer le menu