La réciproque du théorème de Pythagore

Explication :

Utilisation avec PCP :