Discuter:Méthode de descente infinie

Un article de Wikipédia, l'encyclopédie libre.

WikiProjet Mathématiques
 Méthode de descente infinie fait partie du projet Mathématiques, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés aux mathématiques. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet, où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail Mathématiques pourrait aussi vous intéresser.
À évaluer Cet article a été classé comme d'Avancement ? selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet.

Sommaire

[modifier] Frenicle de Bessy

Il semble que c'est frenicle de Bessy qui publia la première démonstration utilisant la descente infinie dans la démonstration du grand théorème de Fermat pour n=4 et cela sur une idée de Fermat. Rappelons que Fermat ne publia quasiment rien de son vivant et que son fils eut bien du mal à rassembler les lettres de son père tant ceux qui les avaient reçu voulaient les utiliser pour leur propre "gloire".Claudeh5 4 octobre 2007 à 19:22 (CEST)

[modifier] titre de l'article

Si le fond de l'article ne pose pas problème, le titre lui en pose un: il ne s'agit nullement d'un théorème mais d'une méthode. Je propose donc le renommage de cet article en "méthode de descente infinie".Claudeh5 9 octobre 2007 à 19:09 (CEST)

[modifier] arithmétique modulaire

Désolé pour Jean-Luc W mais cette méthode ne fait pas partie de l'arithmétique modulaire.Claudeh5 17 octobre 2007 à 09:59 (CEST)

[modifier] remarques diverses

Désolé mais la démonstration de l'irrationalité de racine de 2 se fait par l'absurde (et une contraposée), pas par descente infinie: l'argument utilisé est seulement le caractère irréductible de la fraction de départ.

Désolé aussi de devoir demander que lorsque l'on modifie un texte, on vérifie la cohérence du nouveau texte sans ajouter une redite...Claudeh5 (d) 2 janvier 2008 à 09:36 (CET)

[modifier] Quelques autres remarques

J'ai indiqué la source de la méthode de descente dans une preuve de Fermat. Le Traité de Frenicle n'est paru qu'en 1676 (il y a effectivement une version manuscrite antérieure, avec la preuve du Grand Théorème pour n=4, je ne sais pas s'il faut rajouter cela). De toute façon si on prend la descente dans le sens donné ici, c'est bien antérieur : la propriété apparaît dans Euclide (et elle est explicitée comme axiome mais si je me souviens bien, nous la trouvons seulement dans des versions médiévales), il y a une preuve assez détaillée utilisant ce principe chez Clavius, etc. En même temps, Fermat en fait vraiment un outil explicite pour rebâtir l'arithmétique. --Cgolds (d) 6 janvier 2008 à 18:10 (CET)

le traité de Frenicle de Bessy se trouve sur Gallica.Par contre j'aimerai bien des références précises pour clavius et surtout "les éléments".Claudeh5 (d) 6 janvier 2008 à 19:08 (CET)
Oui, et malheureusement la version des Arithmétiques de 1670 ne s'y trouve pas (je ne désespère pas !). Re: Euclide, la réf. classique est livre VII, prop. 31. Il y a aussi des débats à propos d'autres propostions (cela dépend des versions, bien sûr) type IX 13. Itard discusse cela p. 74 de son livre sur Les Livres arithmétiques d'Euclide et c'est aussi dans les réfs que j'ai indiquées. Quant à Clavius (cf. aussi les réfs), on vise par exemple p. 196-197 de l'édition de 1603, lorsque Clavius prouve ce que nous appelons l'irrationalité de √5 (il n'est pas possible de diviser un nombre en deux de sorte que le nombre égal au total multiplié par une partie soit égal au carré de la partie restante), il utilise l'impossibilité d'un nombre d'être divisé à l'infini. C'est Genocchi en 1855 qui fait ce lien avec la méthode de Fermat (je crois), repris par exemple dans Cassinet, etc. A vrai dire, je pense qu'il y a une différence substantielle entre l'utilisation de cette propriété comme axiome ou principe, comme chez Euclide ou Clavius, et sa mise en oeuvre comme méthode comme fait Fermat (c'est discuté un peu dans Un théorème de Fermat et ses lecteurs, PUV, 1995, ). Amitiés, --Cgolds (d) 6 janvier 2008 à 20:36 (CET)
peut-être que la version des arithmétiques de diophante par bachet et annotées par Fermat ne s'y trouve pas sur Gallica, mais j'ai récupéré je ne sais plus où les ouvres complètes de Fermat en 5 volumes par Tannery et consorts. J'essaierai de retrouver où. Mais ce qui est sûr c'est qu'il y a bien les arithmétiques de Diophante commentées: tome 1, 1891.Claudeh5 (d) 6 janvier 2008 à 21:45 (CET)
Il y a effectivement dedans les observations de Fermat (donc vous pouvez voir la 45e où il applique la descente très explicitement et vérifier les dates), mais pas la totalité de Diophante-Bachet-Fermat. Amicalement, --Cgolds (d) 7 janvier 2008 à 00:51 (CET)
ben c'est que le latin et moi sommes brouillés...Claudeh5 (d) 7 janvier 2008 à 13:26 (CET)
Tannery avait prévu cela (même s'il a jugé utile de traduire Diophante du grec en latin après, ce qui laisse rêveur sur leur niveau, soupir d'envie), donc il y a une traduction dans le tome III de l'édition des Oeuvres de Fermat de toutes les pièces en latin (dont les observations sur Diophante, dont la 45e). Bonne lecture infinie, amitiés --Cgolds (d) 7 janvier 2008 à 19:11 (CET)

[modifier] mordell-Weil

J'espère que vous pPardonnerez ma remarque mais je dois dire que je ne comprends pas trop la présence dans cet article du théorème de Mordell-Weil (autrement que de manière anecdotique).Claudeh5 (d) 18 janvier 2008 à 23:03 (CET)