Escargot de Pythagore

La spirale de Théodore construite jusqu'au triangle d'hypoténuse Modèle:Sqrt.

LModèle:'escargot de Pythagore, ou spirale de Théodore est une figure qui permet de construire géométriquement les racines carrées des entiers consécutifs.

Construction

La spirale de Théodore est une spirale discrète construite par une suite de triangles rectangles, autour d'un point O pris pour centre de la spirale.

• Le premier triangle rectangle est isocèle, tel que l'une des extrémité de l'hypoténuse soit le point O ; la longueur des côtés de l'angle droit est prise comme unité ;
• le second a pour côtés de l'angle droit l'hypoténuse du premier et un segment de longueur unité, construit sur l'extrémité de l'hypoténuse qui n'est pas O, pour qu'il ne se superpose pas au premier ;
• le troisième est construit de la même façon sur le second et ainsi de suite ;
• plus rigoureusement, la construction procède par récurrence : supposons construit le n-ième triangle rectangle, son hypoténuse alors le (n+1)-ième a pour côtés de l'angle droit l'hypoténuse du n-ième et un segment de longueur unité, construit pour qu'il ne se superpose pas au n-ième.

D'après le théorème de Pythagore la longueur de l'hypoténuse du premier triangle rectangle, de côtés de l'angle droit égale à 1, est Modèle:Racine, celle du second, de côtés de l'angle droit égales à Modèle:Racine et 1, est Modèle:Racine, et ainsi de suite. Par récurrence, le n-ième triangle a des côtés de l'angle droit de longueurs Modèle:Sqrt et 1 et une hypoténuse de longueur Modèle:SqrtModèle:Sfn.

Le n-ième triangle de la construction de la spirale de Pythagore.

Histoire

Historiquement, la première mention explicite de l'incommensurabilité apparait dans un dialogue de Platon, le Théétète, où le mathématicien Théodore de Cyrène expose des cas particuliers de « lignes irrationnelles », celles correspondant, en termes modernes, aux racines carrées des nombres entier qui ne sont pas des carrés parfaits de 3 jusqu'à 17Modèle:Sfn.

Le passage du texte de Platon pose des problèmes de traduction et d'interprétation, en particulier de certains termes mathématiques et il n'y a pas unanimité à ce sujet chez les historiensModèle:Sfn. Selon Platon, Théodore utilise des figures ; une des questions, auxquelles les historiens des Mathématiques de l'Antiquité ont apporté des réponses très diversesModèle:Sfn, est : Théodore a-t-il vraiment exposé des démonstrations d'irrationalité, et alors quelles étaient-ellesModèle:Sfn, ou bien a-t-il simplement montré, mis en évidence, certains faitsModèle:Sfn ? Une autre est pourquoi Théodore s'est-il arrêté à 17Modèle:Sfn ?

Une réponse à cette dernière question est donnée dans une publication de 1941 par un certain Jakob Heinrich Anderhub, introduit ce qu'il appelle « Modèle:Langue », « l'escargot de la racine carré », et que nous appelons « spirale de Théodore » : Théodore aurait construit en spirale les triangles rectangles jusqu'à atteindre Modèle:Sqrt, et se serait arrêté là, car le suivant, d'hypoténuse Modèle:Sqrt, se superpose au premierModèle:SfnModèle:,.

la spirale de Théodore avait déjà été décrite en 1877, jusqu'à Modèle:Sqrt, par Hermann Schmidt dans un commentaire du Théétète.

Schmidt et Anderhub sont dans la tradition de ceux qui estiment que Théodore n'a que montré certains faits : Théodore n'aurait proposé qu'un simple exercice de construction géométrique à la règle et au compasModèle:SfnModèle:,Modèle:Sfn. Pour Maurice Caveing c'est exclu car à l'époque où est censé se tenir le dialogue, vers −400Modèle:Sfn, de telles constructions de lignes irrationnelles sont connues depuis au moins Modèle:Nobr, et Platon n'aurait pas mentionné de telles leçonsModèle:Sfn. II juge que Modèle:CitationModèle:Sfn. Wilbur Knorr souligne qu'aucune construction récursive telle que celle de Schmidt et d'Anderhub n'apparait dans les sources grecques anciennes, et ne voit pas comment elle pourrait être attribuée à ThéodoreModèle:Sfn. David Fowler, dans une section consacrée à la leçon de géométrie du ThéétèteModèle:Sfn, estime d'emblée, comme Caveing et Knorr — il reprend la traduction de ce dernier —, que Platon a bien parlé de démonstrations à propos de ThéodoreModèle:Sfn, et ne cite pas Schmidt ou Anderhub.

Cependant l'helleniste Holger Thesleff tient quant à lui pour une interprétation et une traduction du texte où Théodore ne démontre pas mais montre, reprend l'hypothèse d'Anderhub et se dit certain qu'il a raisonModèle:Sfn.

Extension

Escargot de Théodore colorié avec 110 triangles

Théodore a arrêté la construction de la spirale à l'hypoténuse de longueur $\sqrt{17}$, mais en continuant l'escargot à l'infini, d'autres propriétés émergent.

Non-superposition

En 1958, Kaleb Williams prouve qu'aucune paire d'hypoténuses ne coïncident, jusqu'à l'infini. De plus, si les côtés unitaires sont étendus en des droites, aucune ne passe par un des sommets de la figure complèteModèle:,.

Angle total

Un triangle ou section de l'escargot

En notant ${\phi }_n$ l'angle du nModèle:Exp triangle, alors : $$\tan \left({\phi }_n\right)=\frac{1}{\sqrt{n}}.$$ Ainsi à chaque étape est ajouté un angle deModèle:Sfn : $${\phi }_n=\arctan \left(\frac{1}{\sqrt{n}}\right).$$

La somme des angles des k premiers triangles est appelé angle total $\phi (k)$ pour le kModèle:Exp triangle. Elle croit proportionnellement avec la racine carrée de Modèle:Mvar, avec un terme correctif borné Modèle:MvarModèle:Sfn: $$\phi (k)=\sum _{n=1}^k{\phi }_n=2\sqrt{k}+c_2(k)$$ où $$\underset{k\to \mathrm{\infty }}{\lim }{c}_2(k)=-2,157782996659\dots$$ (Modèle:OEIS2C).

Spirale d'Archimède

L'escargot de Pythagore approche la spirale d'Archimède. De même que la distance entre deux arcs de la spirale d'Archimède est égale à Modèle:MathPi, quand le nombre de tours de l'escargot de Pythagore augmente infiniment, la distance entre deux arcs consécutifs approche rapidement de Modèle:MathPi.

La table suivante montre l'évolution de cette suite de distances :

Tour No.:	Distance moyenne	Écart moyen avec Modèle:MathPi
2	3,1592037	99,44255%
3	3,1443455	99,91245%
4	3,14428	99,91453%
5	3,142395	99,97447%
$\to \mathrm{\infty }$	$\to \pi$	$\to 100\mathrm{\%}$

Ainsi, en cinq tours, on a déjà une bonne approximation de Modèle:MathPi.

Courbe régulière interpolante

Prolongement analytique de l'escargot de Pythagore par Philip J. Davis, incluant le prolongement dans la direction opposée (pour les entiers négatifs).

La question de l'existence d'une courbe régulière interpolant les sommets de l'escargot a été proposée et résolue par Philip J. Davis en 2001, par analogie avec la formule d'Euler pour la fonction Gamma comme interpolante de la fonction factorielle. Davis proposeModèle:Sfnp $$T(x)=\prod _{k=1}^{\mathrm{\infty }}\frac{1+\mathrm{i}/\sqrt{k}}{1+\mathrm{i}/\sqrt{x+k}}(-1<x<\mathrm{\infty })$$ qui a plus longuement été étudiée par son élève Leader et Iserles. Cette fonctions est caractérisée comme l'unique solution de l'équation fonctionnelle $$f(x+1)=(1+\frac{\mathrm{i}}{\sqrt{x+1}})\cdot f(x),$$ avec pour condition initiale $f(0)=1,$ et monotone en argument et module.

Un prolongement analytique de la forme continue de Davis de l'escargot de Pythagore s'étend dans la direction opposée depuis l'origineModèle:Sfnp.

Voir aussi

• Spirale de Fermat
• Spirale

Bibliographie

• Modèle:Ouvrage
• Modèle:Article
• Modèle:Ouvrage
• Modèle:Lien web