1
Article 136 Démonstration directe
du dernier théorème de Fermat
Par Marcel Mountsiesse∗
Résumé : Dans ce travail, nous nous proposons de prouver par une méthode élémentaire
l’impossibilité de l’équation de Fermat dans *
3
.
Mots clefs : Equation de Fermat, binôme de Newton, inégalité triangulaire, fractions
irréductibles.
1 Introduction
Le théorème de Fermat, énonçant qu’il est impossible de trouver trois nombres entiers non
nuls
x
,
y
,
z
, vérifiant pour n entier 3, l’égalité
x
n
+
y
n
=
z
n
conserve encore tout son
mystère. L’énigme se pose en termes d’existence d’une preuve élémentaire, car Fermat a
prétendu posséder une démonstration de son théorème. Dans ce travail, nous envisageons une
approche qui montre que ce théorème de Fermat est démontrable dans sa généralité avec des
outils qui étaient connus de son temps.
2
Domaine d’étude
Les principes d’équivalence des équations algébriques montrent que si trois nombres entiers
non nuls
x
,
y
et
z
vérifient l’équation de Fermat suivant l’égalité
x
n
+ y
n
= z
n
, alors il en est
de même pour
x
,
y
et
z
, à permutation près. En effet, si n est un entier pair, on a toujours :
x
n
+ y
n
= z
n
⇔
⇔⇔
⇔
x
n
+
y
n
=
z
n
Si n est un entier impair, il y a toujours une étape dans la triple équivalence suivante où
l’égalité ne contient que des nombres positifs :
x
n
+ y
n
= z
n
⇔
⇔⇔
⇔ (-x)
n
+ (-y)
n
= (-z)
n
⇔
⇔⇔
⇔ (-z)
n
+ y
n
= (-x)
n
⇔
⇔⇔
⇔ z
n
+ (-y)
n
= x
n
Donc, pour étudier le comportement des solutions de l’équation de Fermat, on peut travailler
uniquement avec des nombres strictement positifs.
3 Principe de la méthode
La méthode s’appuie sur un principe caractéristique des nombres entiers qui stipule :
‘’ tout nombre strictement compris entre deux entiers consécutifs n’est pas un entier’’.
Ainsi, pour établir l’impossibilité de l’équation de Fermat, il suffit de démontrer que si
x
et/ou
y
sont entiers, alors
z
doit être nécessairement compris entre deux entiers consécutifs.
_______________________________________________________
*Adresse de l’auteur : Centre Gabriel Lamé
Laboratoire Africain de Mathématiques Elémentaires.
BP : 1263. Pointe-Noire. République du Congo. Email
:
lame_labo_mm@yahoo.fr