Réciproque :
Si dans un triangle le carré du plus grand côté vérifie
c² = a²+b²,
alors le triangle est rectangle.
Contraposée :
Si dans un triangle c² ≠ a²+b²,
alors le triangle n'est pas rectangle.
Méthode de rédaction :
c.c² d'une part, et a²+b² d'autre part.