Discussion utilisateur:Anne Bauval/Fermat exposant 5 par Legendre
Lemme de la conclusion[modifier le code]
Anne Bauval : Dans ta conclusion, tu écris ceci :
Lemme de descente — Soit w un entier positif impair tel qu'il existe trois entiers, j ≥ 0, f et g, pour lesquels f est premier avec 5g et 55j+2w5 = 123G(f, g) – 55F(f, g). Alors w possède un diviseur strict vérifiant la même propriété.
Sauf erreur, c'est mon lemme 7, que tu semblais me reprocher comme du travail inédit. À première vue, je me demande si c'est bien un diviseur (strict) de w qui possède la même propriété que w. Dans mes notations, w = UR, mais c'est U' = U2 qui possède la même propriété que w. C'est pour ça que j'avais fait porter la descente infinie sur le nombre des différents facteurs premiers de w. Marvoir (discuter) 4 avril 2015 à 08:42 (CEST)
- J'essaye justement d'oublier ton lemme 7 (et 6) et, comme convenu là-bas, de m'inspirer plus fidèlement de Legendre. J'ai rectifié mon étourderie, merci ! (Bizarre : cette fois-ci je n'ai pas été avertie de ta notification.) Anne, 4/4, 13h56
- Je crois que, cette fois, tu as donné une démonstration correcte et tout à fait dans les idées de Legendre. Marvoir (discuter) 4 avril 2015 à 14:12 (CEST)
- Merci. Venant de toi, c'est un sacré compliment ! Anne, 4/4, 19h03
- Je crois que, cette fois, tu as donné une démonstration correcte et tout à fait dans les idées de Legendre. Marvoir (discuter) 4 avril 2015 à 14:12 (CEST)