Google Classroom
GeoGebraClasse GeoGebra

Démonstration d'Euclide

Euclide d'Alexandrie
Euclide d'Alexandrie

Théorème de Pythagore

La démonstration suivante du Théorème de Pythagore est présentée par Euclide dans son ouvrage Les Eléments publié vers 300 avant JC.
Livre Ier proposition 47 : Dans les triangles rectangles, le carré du côté opposé à l'angle droit est égal aux carrés des côtés de l'angle droit
C'est la plus ancienne preuve écrite du Théorème de Pythagore dont on ait la trace. Elle fut publiée près de deux siècles après la mort de Pythagore.
Image
Cette démonstration à base de triangles semblables est basée sur la propriété :
L'aire d'un rectangle ne varie pas si on le déforme en déplaçant un sommet le long d'une droite parallèle au côté opposé car sa hauteur issue de ce sommet est constante.
On trace, sur de la figure composé du triangle rectangle et des carrés construits sur ses cotés, les segments constituant ce qui est communément appelé le "Moulin à vent".
Image
Ici les segments :
  • [EB] et [AG] relatifs au carré construit sur [AC].
  • [CD] et [AH] relatifs au carré construit sur [AB].
  • [AK] relatif au carré construit sur l'hypoténuse [CB].
Animation du schéma :
  • Points "ronds" : Modification du triangle rectangle ABC
  • Points "losanges" : Visualisation des éléments de la démonstration

Aire du carré construit sur [AC]

Les triangles ECB et ACG sont semblables car s'obtiennent l'un de l'autre par une simple rotation de 90° autour du point C. Ils ont donc la même aire : Or les triangles ECB et ECA ont la même aire qui est la moitié de l'aire du carré construit sur [AC]. Nous avons donc : D'autre part, les triangles ACG et PCG ont la même aire. Nous avons donc finalement :

Aire du carré construit sur [AB]

Les triangles DBC et ABH sont semblables car s'obtiennent l'un de l'autre par une simple rotation de 90° autour du point B. Par un raisonnement en tout point analogue au précédent nous obtenons :

Aire du carré construit sur l'hypoténuse [BC]

Les triangles PBH et PCH couvrent exactement la moitié du carré construit sur [BC]. Nous avons donc : D'après ce qui précède, nous avons donc : Ce qui est équivalent à : CQFD ! (Ce Qu'il Fallait Démontrer)