Réciproque de Pythagore : angle droit