Une nouvelle démonstration d'irrationalité de racine carrée de 2 d'après les Analytiques d'Aristote - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Philosophie antique - problèmes, renaissances, usages Année : 2010

Une nouvelle démonstration d'irrationalité de racine carrée de 2 d'après les Analytiques d'Aristote

Résumé

To account for the first proof of existence of an irrational magnitude, historians of science as well as commentators of Aristotle refer to the texts on the incommensurability of the diagonal in Prior Analytics, since they are the most ancient on the subject. The usual proofs suggested by the historians of science derive from a proposition found at the end of Book X of Euclid's Elements. But its conclusions, using the representation of fractions as a ratio of two integers relatively prime i.e. the proposition VII.22 of the Elements, do not match the Aristotelian texts. In this article, we propose a new demonstration conformed to these texts. They are based on very old results of the odd/even theory. Since they use neither the proposition VII.22, nor any other result proved by a reductio ad absurdum, it seems to be the first result which was impossible to prove in another way. The significance of this result, revealing a complete new territory in Mathematics, the field of irrational magnitudes, accounts for the centrality gained afterwards by this kind of reasoning, firstly in Mathematics, then in all forms of rational discourse. From the consequences of this new proof, we can construe very simply the lecture on the irrationals in the mathematical text in Plato's Theaetetus (147d-148b). It will be done in an article to appear in a forthcoming volume.
Pour rendre compte de la première démonstration d'existence d'une grandeur irrationnelle, les historiens des sciences et les commentateurs d'Aristote se réfèrent aux textes sur l'incommensurabilité de la diagonale qui se trouvent dans les Premiers Analytiques, en tant qu'ils sont les plus anciens sur la question. Les preuves usuelles proposées dérivent d'un même modèle qui se trouve à la fin du livre X des Éléments d'Euclide. Le problème est que ses conclusions, passant par la représentation des fractions comme rapport de deux entiers premiers entre eux i.e. la proposition VII.22 des Éléments, ne correspondent pas aux écrits aristotéliciens. Dans cet article, nous proposons une nouvelle démonstration, conforme aux textes des Analytiques, fondés sur des résultats très anciens de la théorie du pair et de l'impair. Ne passant pas par la proposition VII.22, ni aucune autre propriété établie par l'absurde, cette irrationalité apparaît comme le premier résultat que l'on ne pouvait établir par une autre méthode. L'importance de ce résultat, révélant un nouveau domaine mathématique, celui des grandeurs irrationnelles, rend compte de la centralité que cette forme de raisonnement acquiert alors, d'abord en mathématique, puis dans tout type de discours rationnel. À partir des conséquences qui suivent de cette nouvelle démonstration, on peut interpréter très simplement la leçon sur les irrationnels du passage mathématique figurant dans le Théétète de Platon (147d-148b), ce que nous ferons dans un article à paraître dans un prochain volume.
Fichier principal
Vignette du fichier
Irrationalite_Racine_2.pdf (392.82 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01054890 , version 1 (09-08-2014)

Identifiants

Citer

Salomon Ofman. Une nouvelle démonstration d'irrationalité de racine carrée de 2 d'après les Analytiques d'Aristote. Philosophie antique - problèmes, renaissances, usages , 2010, 10 (1), pp.81-138. ⟨hal-01054890⟩
299 Consultations
2747 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More