Cliquez pour afficher Supposons qu'une telle fraction p/q (réduite à sa plus simple expression) existe.
p5/q5 + p/q =(p5+pq4)/q5
= p(p4+q4)/q5 = entier.
p étant premier avec q, p4+q4 est divisible par q4 et donc par q; p4 serait divisible par q, ce qui est impossible.
La supposition est fausse.
L'équation x5+x-a = 0 n'a pas de solution rationnelle.
En généralisant : xm+xn-entier = 0 n'a pas de solution rationnelle.