Yop,
J´ai des problèmes avec ma messegarie, je n´arrive pas à t´envoyer un émail, je poste donc mon émail ici en attendant que toi (ou un autre d´ailleurs) veuille bien me répondre :
Je voulais savoir si le raisonnement et donc les solutions sont justes de cet exo d´Olympiade auquel je me suis frotté en guise d´entraînement cet aprèm :
Résoudre en nombres entiers non nuls l´équation : x^3 + 2y^3 = 4z^3
x^3 = 4z^3 - 2y^3
4z^3 - 2y^3 est un nombre pair divisible par 2 mais pas par 4, on en déduis alors que forcément x^3 est un nombre pair lui aussi divisible par 2 mais pas par 4.
Posons x = 2k avec k = 2m + 1 pour que le nombre x soit exclusivement divible par 2. On a alors :
(2k)^3 = 4z^3 - 2y^3
8k^3 = 4z^3 - 2y^3
4k^3 = 2z^3 - y^3
y^3 = 2z^3 - 4k^3
2z^3 - 4k^3 est un nombre pair divisible par 2 mais pas par 4, on en déduis alors que forcément y^3 est un nombre pair lui aussi divisible par 2 mais pas par 4.
Posons y = 2k´ avec k´ = 2m´ + 1. On a alors :
(2k´)^3 = 2z^3 - 4k^3
8k´^3 = 2z^3 - 4k^3
4k´ = z^3 - 2k^3
z^3 = 2k^3 + 4k´^3
2k^3 + 4k^3 est un nombre pair divisible par 2 mais pas par 4, on en déduis alors que forcément z^3 est un nombre pair lui aussi divisible par 2 mais pas par 4.
Posons z = 2k" avec k" = 2m" + 1. On a alors :
(2k")^3 = 2k^3 + 4k´^3
8k" = 2k^3 + 4k´^3
4k" = k^3 + 2k´^3
Ainsi de suite, on pourrait créer une suite infinie et strictement décroissante d´entiers naturels vérifiant x^3 + 2y^3 = 4z^3. Alors, d´après le théorème de la descente infinie, on en déduis qu´une suite infinie strictement décroissante d´entiers naturels n´existe pas. Donc il n´existe aucune entiers x,y,z vérifiant l´équation initial.
J´ai bon ? 