Soit $z$ un nombre complexe. Vous cherchez à déterminer un polynôme réel non constant $P$ tel que $P(z)=0.$
Le cas où $z$ est un nombre réel
Si $z\in\R\comma$ alors le polynôme $P = X-z$ appartient à $\R[X]\setminus \R$ et $P(z)=0.$
Le cas où $z$ est un nombre complexe non réel
Si $z\notin\R$ vous écrivez $z$ sous forme algébrique. Il existe un unique couple de réels $(x,y)$ tel que :
Comme $z$ n’est pas réel, le réel $y$ est non nul.
Il est illusoire de chercher un polynôme réel $P$ de degré $1$ tel que $P(z)=0.$
En effet, si un tel polynôme existe, alors il existe un couple $(a,b)\in\R^2$ avec $a\neq 0$ tel que :
Il vient $az+b=0$ et comme $a$ est non nul, vous avez $z=\frac{-b}{a}$ et par suite, $z\in\R\comma$ ce qui est exclu.
Vous cherchez donc un polynôme de degré $2$ et vous calculez le carré de $z$ comme suit :
Soient $a$ et $b$ deux nombres réels. Vous avez :
D’après ce calcul, pour annuler la partie imaginaire, vous posez :
Puis, pour annuler la partie réelle, vous posez $b = y^2-x^2-ax$ ce qui fournit :
Ainsi :
Pour ces choix de $a$ et de $b\comma$ vous obtenez :
Du coup :
En posant :
vous avez bien un polynôme réel de degré $2$ tel que $P(z)=0.$
Concluez
Pour tout nombre complexe $z$ s’écrivant sous forme algébrique $z=x+iy$ avec $(x,y)\in\R^2\comma$ deux cas se présentent :
- soit $z\in\R\comma$ et le polynôme réel $X-z\comma$ de degré $1\comma$ admet $z$ pour racine ;
- soit $z\in\C\setminus\R\comma$ et le polynôme réel $X^2-2xX+x^2+y^2\comma$ de degré $2\comma$ admet $z$ pour racine.
Retrouvez le dernier résultat à partir de l’inverse d’un nombre complexe
Soit $z$ un nombre complexe non réel. Notez que $z$ est non nul. En écrivant $z = x+iy$ avec $(x,y)\in\R^2\comma$ vous souhaitez retrouver que le polynôme $X^2-2xX+x^2+y^2$ possède $z$ pour racine.
Vous avez :
Or, la partie réelle de $z$ est la demi-somme de $z$ et de son conjugué $\overline{z}\comma$ d’où :
Ainsi :
Après multiplication de cette égalité par $\vert z \vert^2\comma$ il vient :
Après multiplication par $z\comma$ vous obtenez :
Vous avez $\mathrm{Re}(z)=x$ et $\vert z\vert^2=x^2+y^2$ et vous retrouvez le résultat précédemment établi, à savoir :
Prolongement
Soit $z$ un nombre complexe non réel. Pourriez-vous justifier que le polynôme de degré $2$ défini par :
est irréductible dans l’anneau $\R[X]$ des polynômes réels ?
