Triplet pythagoricien

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Un triplet pythagoricien vérifie la relation de Pythagore : a2 + b2 = c2.

En arithmétique, un triplet pythagoricien est un triplet (x, y, z) d'entiers naturels non nuls vérifiant la relation de Pythagore : x2 + y2 = z2.

Triplets primitifs[modifier | modifier le code]

Un triplet pythagoricien (x, y, z) est dit primitif si les trois entiers x, y et z sont premiers entre eux dans leur ensemble. Il suffit pour cela que deux d'entre eux le soient (puisqu'un diviseur premier commun à deux des nombres divisera le troisième).

Tout triplet pythagoricien (x, y, z) est, de manière unique, produit d'un triplet pythagoricien primitif par un entier strictement positif : le pgcd de (x, y, z).

Si l'on divise par z2, on obtient :

c'est-à-dire que les triplets pythagoriciens primitifs permettent de trouver les points du cercle unité à coordonnées rationnelles donnés sous forme irréductible par .

Liste des triplets primitifs dont tous les termes sont inférieurs à 100 :

(3, 4, 5) (20, 21, 29) (11, 60, 61) (13, 84, 85)
(5, 12, 13) (12, 35, 37) (16, 63, 65) (36, 77, 85)
(8, 15, 17) (9, 40, 41) (33, 56, 65) (39, 80, 89)
(7, 24, 25) (28, 45, 53) (48, 55, 73) (65, 72, 97)

Théorème fondamental[modifier | modifier le code]

Nuage de points de tous les couples d'entiers tels que soit pythagoricien avec et inférieurs à 4 500.

Si (x, y, z) est un triplet pythagoricien primitif alors (y, x, z) aussi, et x ou y est impair. Le théorème suivant caractérise donc tous ces triplets.

Il y a équivalence[1] entre

  • (i) est un triplet pythagoricien primitif avec x impair.
  • (ii) Il existe avec p > q , p et q premiers entre eux et de parités différentes, tels que

Génération algébrique et géométrique[modifier | modifier le code]

Berggren[2] a montré en 1934 que tout triplet pythagoricien primitif peut être obtenu à partir du triplet (3,4,5) par application répétée de , et , avec :

De plus cette décomposition est unique[3].
Géométriquement, le produit de par un triplet (x, y, z) correspond à la construction Φ effectuée pour le point , où :

  • est la symétrie par rapport à l’axe des ordonnées,
  • est la symétrie de centre O,
  • la symétrie par rapport à l'axe des abscisses,

et Φ l'application du cercle unité dans lui-même qui à tout point M associe M’ le deuxième point d’intersection de avec la droite passant par M et P(1,1).

Exemples

Notes et références[modifier | modifier le code]

  1. (en) John Stillwell, Elements of Number Theory, Springer, coll. « Undergraduate Texts in Mathematics », (lire en ligne), p. 112.
  2. « Pytagoreiska trianglar », Tidskrift för elementär matematik, fysik och kemi, vol. 17, p. 129-139.
  3. Voir l’article d’André Stoll dans la revue L’Ouvert, no 100-101, septembre 2000.

Articles connexes[modifier | modifier le code]

Sur les autres projets Wikimedia :