Démonstration:

Soient R, r, r' les longueurs des côtés du triangle rectangle, A, a, a' les aires des disques de rayons respectifs R, r, r', L et L' celles des deux lunules et T celle du triangle. La relation de Pythagore équivaut à: A=a+a'. Or l'aire totale de la figure représentée est égale, d'une part à L+L'+A/2, d'autre part à T+a/2+a'/2. Le résultat s'en déduit immédiatement.

Retour à Géométrie euclidienne