Petit exercice pour donner un peu de mal à votre enseignant de mathématiques au secondaire

Les enseignants de quatrième secondaire débutent souvent l’année avec le chapitre sur la factorisation. Voici une question sur laquelle je suis tombé en parcourant /r/learnmath : Factorisez $$x^4+4x^2+16$$Le polynôme a une allure parfaitement inoffensive, on peut le considérer comme un polynôme du deuxième degré en $x^2$. La réponse attendue : on peut effectuer le changement de variable suivant$$y=x^2$$et factoriser le trinôme$$y^2+4y+16$$Or, le discriminant étant négatif $$\mathrm{\Delta }=4^2-4(1)(16)<0$$ce dernier polynôme ne se factorise pas ! Oups ! Conclusion (erronée) : le polynôme du départ ne se factorise pas.

Le problème est que, dans les réels, il existe des facteurs « premiers » du premier et du deuxième degré. Ainsi, un polynôme de degré 4 peut posséder (distincts ou non) quatre facteurs du premier degré, deux facteurs du premier degré et un du deuxième ou deux facteurs du deuxième degré. C’est bien sûr le troisième cas qui nous intéresse ici et qui cause problème. Il est d’ailleurs facile de vérifier que$$x^4+4x^2+16=(x^2-2x+4)(x^2+2x+4)$$Un produit de deux trinômes irréductibles ! Comment, alors, arriver à une telle conclusion ? Pour ce cas précis, on peut chercher à retrouver une différence de carrés. Et pour ce faire, on commence par « compléter le carré » en ajoutant un terme en $x^2$. On obtient $$x^4+8x^2+16-8x^2+4x^2$$ce qui fait en factorisant le trinôme carré parfait$${(x^2+4)}^2-4x^2$$Et voilà ! Le deuxième terme étant lui-même un carré $${(x^2+4)}^2-{\left(2x\right)}^2$$on obtient une expression qui se factorise facilement$$(x^2-2x+4)(x^2+2x+4)$$À ce moment, le lecteur reste peut-être sur sa faim : ça semble trop beau, les coefficients ont dû être choisis exprès ! En partant de $$x^4+b{x}^2+c$$on peut vérifier les étapes suivantes $$\begin{array}{rl}{x}^4+b{x}^2+c& =x^4+2\sqrt{c}{x}^2+c-2\sqrt{c}{x}^2+b{x}^2\\ \\ & ={(x^2+\sqrt{c})}^2-(2\sqrt{c}-b)x^2\\ \\ & ={(x^2+\sqrt{c})}^2-{\left(\sqrt{2\sqrt{c}-b}x\right)}^2\\ \\ & =(x^2-\sqrt{2\sqrt{c}-b}x+\sqrt{c})(x^2+\sqrt{2\sqrt{c}-b}x+\sqrt{c})\end{array}$$qui mènent, toujours dans ce cas-ci, à la bonne factorisation.

En continuant la démarche de l’enseignant, et en prenant un petit détour par les complexes, il est aussi possible d’arriver à la factorisation demandée. Trouver les racines complexes d’un polynôme du quatrième degré est en général une tâche fort fastidieuse, mais dans le cas de polynôme du type$$x^4+4x^2+16$$c’est long mais plutôt facile. En changeant la variable$$y=x^2$$on obtient$$y^2+4y+16$$ce qui nous donne comme racines$$y=\frac{-4\pm \sqrt{-48}}{2}$$c’est-à-dire$$\begin{array}{rl}y& =\frac{-4\pm \sqrt{-48}}{2}\\ \\ & =\frac{-4\pm \sqrt{16\cdot 3\cdot -1}}{2}\\ \\ & =\frac{-4\pm 4\sqrt{3}i}{2}\\ \\ & =-2\pm 2\sqrt{3}i\end{array}$$On obtient donc comme racines du polynôme initial $$x=\pm \sqrt{-2\pm 2\sqrt{3}i}$$En considérant la première de ces quatre racines$$x_1=\sqrt{-2+2\sqrt{3}i}$$et en posant$$x_1=\alpha +\beta i$$on obtient$$\alpha +\beta i=\sqrt{-2+2\sqrt{3}i}$$En élevant au carré on a $${\alpha }^2–{\beta }^2+2\alpha \beta i=-2+\sqrt{3}i$$duquel on tire un système d’équations $$\begin{array}{rl}{\alpha }^2-{\beta }^2& =-2\\ \\ 2\alpha \beta & =2\sqrt{3}\end{array}$$qu’on peut réécrire comme$$\begin{array}{rl}{\alpha }^2-{\beta }^2& =-2\\ \\ {\alpha }^2{\beta }^2& =3\end{array}$$et qui nous donne$$\begin{array}{rl}{\alpha }^2& =1\\ \\ {\beta }^3& =3\end{array}$$On peut donc réécrire la première racine comme $$x_1=\sqrt{-2+2\sqrt{3}i}=1+\sqrt{3}i$$et de manière analogue, les trois autres racines $$\begin{array}{rl}{x}_2& =\sqrt{-2-2\sqrt{3}i}=1-\sqrt{3}i\\ \\ x_3& =-\sqrt{-2+2\sqrt{3}i}=-1-\sqrt{3}i\\ \\ x_4& =-\sqrt{-2-2\sqrt{3}i}=-1+\sqrt{3}i\end{array}$$Ainsi, lorsqu’on factorise (dans les complexes) : $$x^4+4x^2+16=(x-x_1)(x-x_2)(x-x_3)(x-x_4)$$et qu’on remarque que$$\begin{array}{rl}{x}_1+x_2& =(1+\sqrt{3}i)+(1-\sqrt{3}i)=2\\ \\ x_1{x}_2& =(1+\sqrt{3}i)(1-\sqrt{3}i)=4\\ \\ x_3+x_4& =(-1-\sqrt{3}i)+(-1+\sqrt{3}i)=-2\\ \\ x_3{x}_4& =(-1-\sqrt{3}i)(-1+\sqrt{3}i)=4\end{array}$$on obtient, en réunissant les facteurs du premier degré deux à deux,$$(x-x_1)(x-x_2)(x-x_3)(x-x_4)=(x^2-(x_1+x_2)x+x_1{x}_2)(x^2-(x_3+x_4)x+x_3{x}_4)$$c’est-à-dire le résultat recherché$$x^4+4x^2+16=(x^2-2x+4)(x^2+2x+4)$$