Solution pour le challenge 27
On va raisonner par analyse / synthèse, en tâchant de borner l’ensemble des solutions.
Supposons que soit un couple solution.
Alors et donc, vu que :
il vient c’est-à-dire :
A fortiori c’est-à-dire et donc nécessairement :
Réciproquement, il faut maintenant passer en revue ces différentes possibilités, en reportant à chaque fois dans l’équation initiale :
- Si alors :
- Si alors :
- Si alors :
- Si alors :
- Si alors :
En utilisant le test des racines rationnelles (voir par exemple cet article), on vérifie que seule la dernière équation (associée à ) admet une solution dans et qu’il s’agit de
Finalement, l’ensemble des solutions est réduit au singleton
Pour consulter l’énoncé c’est ici