Contraposée

« Si les longueurs des côtés d'un triangle ABC vérifient alors le triangle n'est pas rectangle en C.»

• Notons que la contraposée est logiquement équivalente au théorème direct.

• Elle n'a en revanche pas le même usage en démonstration puisque le théorème sert à calculer le troisième côté manquant d'un triangle rectangle alors que la contraposée sert à démontrer qu'un triangle dont on connaît les longueurs des trois côtés n'est pas rectangle.

 

Contraposée de la réciproque

« Si le triangle ABC n'est pas rectangle en C, alors .»