Même je ne suis pas de ce niveau, j'ai essayé avec cet exercice.
Avant de commencer, je démontre ce que je vais utiliser:
En un premier temps:
On a
.
Donc
.
Donc
.
Donc
.==>(1)
Posons
.
On a
.
Donc
.
Donc
.
Donc
.
Donc
.
Donc
.
D'autre part
.
Donc
.
Donc
.
Donc
.
Donc
.
Donc
.
Donc
.
Donc
.
Donc
.
Donc
.
Maintenant au travail:
On a
.
Donc
.
Donc
.
Donc
.
Remarquons que
est une racine évidente.
La division euclidienne du polynôme
sur
donne le polynôme
.
On a
.
Donc
.
Donc
ou
.
Considérons le binôme
.
Qui s'annule si
.
Considérons le trinôme
.
Ce trinôme a pour discriminent
.
Donc
.
Donc
.
Donc
.
Et il a pour solution
et
.
Donc
et
.
Donc
et
.
On a
.
Donc
ou
ou
.
Soit
ou
ou
.
====Considérons l'équation
.
Et soit S1 l'ensemble de ses solutions, Utilisons 1:
Et puisque
.
Il vient que
.
Donc
.
Donc
.
Donc
.
On conclut que résoudre en IR l'équation proposé n'est autre que résoudre le système:
.
Par addition des lignes, on trouve
.
Donc
.
Et par la suite
.
Le tableau des rapports usuels affirme que
.
D'ou finalement
.
====Considérons l'équation
.
Et soit S2 l'ensemble de ses solutions, Utilisons 1:
Et puisque
.
Il vient que
.
Donc
.
Donc
.
Donc
.
Donc
.
Donc
.
Donc
.
Donc S2 est l'ensemble vide.
====Considérons l'équation
.
Et soit S3 l'ensemble de ses solutions, Utilisons 1:
Et puisque
.
Il vient que
.
Donc
.
Donc
.
Donc
.
Donc
.
Donc
.
Donc
ou
.
On conclut que résoudre en IR l'équation proposé n'est autre que résoudre les deux systèmes:
et
.
==Commençons par le système S.
Par addition des lignes, on trouve
.
Donc
.
Donc
.
Et par la suite
.
Par une calculatrice, on obtient
et
.
Soit
.
==Maintenant le système S'.
Par addition des lignes, on trouve
.
Donc
.
Donc
.
Et par la suite
.
Par une calculatrice, on obtient
et
.
Soit
.
Soit finalement
.
La solution du système proposé au début est l'intersection de S1, S2, et S3.
Sauf erreur.
J'attends vos confirmation.