Axiome 1 : On peut tracer une droite entre deux points quelconques.

Axiome 2 : On peut prolonger une droite donnée indéfiniment dans les deux sens.

Axiome 3 : On peut construire un cercle avec un centre donné et un rayon donné.

Axiome 4 : Tous les angles droits sont égaux.

Soit ABC un triangle rectangle en A, avec AB comme hypoténuse. Construisons un carré

ABDE en dehors du triangle, de sorte que les côtés AD et BE soient perpendiculaires à AB.
Puis, construisons des carrés ACFG et BCHI, chacun avec un côté qui correspond à l'un des
côtés du triangle ABC.

Nous avons alors :

• Aire du carré ABDE = AB²

• Aire du carré ACFG = AC²
• Aire du carré BCHI = BC²
• Aire du triangle ABC = 1/2 x AB x AC

Puisque AD et BE sont perpendiculaires à AB, ils sont parallèles à AC et BC, respectivement.

Ainsi, on peut diviser le carré ABDE en deux triangles rectangles ABD et ABE, et le carré
ACFG en deux triangles rectangles ACF et CEG, de sorte que :

• Aire du triangle ABD = 1/2 x AB x AD

• Aire du triangle ABE = 1/2 x AB x BE
• Aire du triangle ACF = 1/2 x AC x CF
• Aire du triangle CEG = 1/2 x BC x CE

Puisque les angles ACF et CEG sont droits (car ils se trouvent sur des côtés opposés d'un
carré), on a :

• AC x CF = Aire du carré ACFG = AC²

• BC x CE = Aire du carré BCHI = BC²

De plus, les triangles ABD et ABE sont semblables au triangle ABC (par le critère d'angle-
angle-angle), donc on a :

• AD/AB = AB/BE, donc AD x BE = AB²

• Aire du triangle ABD = 1/2 x AB x AD
• Aire du triangle ABE = 1/2 x AB x BE

En additionnant les deux dernières équations, on obtient :

• Aire du triangle ABD + Aire du triangle ABE = 1/2 x AB x (AD + BE) = 1/2 x AB²
Mais la somme des aires des deux triangles est égale à l'aire du triangle ABC :

• Aire du triangle ABD + Aire du triangle ABE = Aire du triangle ABC = 1/2 x AB x
AC

En combinant les deux équations précédentes, on obtient :

• 1/2 x AB x (AD + BE) = 1/2 x AB x AC, donc AD + BE = AC

Enfin, en utilisant le postulat des angles droits, on a :

• AD = AC x sin(A) et BE = BC x sin(B)
• Ainsi, AD + BE = AC x sin(A) + BC x sin(B) = AC x sin(A) + AC x cos(A) = AC x
(sin(A) + cos(A))
• Et donc, en combinant les résultats précédents, on obtient :

• AD + BE = AC AC x (sin(A) + cos(A)) = AC sin(A) + cos(A) = AC/AB

• Mais sin(A) = BC/AB et cos(A) = AC/AB, donc :

• sin(A) + cos(A) = BC/AB + AC/AB = (BC + AC)/AB

• Et donc :

• (BC + AC)/AB = AC/AB BC + AC = AC BC = 0

• Ce qui est absurde, car BC est la longueur d'un des côtés du triangle ABC, qui est non
nul. Donc, l'hypothèse de départ selon laquelle ABDE et ACFG seraient des carrés ne
peut être vraie. En fait, ACFG et BCHI doivent être des rectangles, de sorte que BC et
AC soient les diagonales de ces rectangles, ce qui implique que :

• BC²+ AC² = AB²

• Ce qui est le théorème de Pythagore.