Le théorème de Pythagore est un résultat fondamental en géométrie qui établit une relation entre les longueurs des côtés d'un triangle rectangle. Il affirme que dans un triangle rectangle, le carré de la longueur de l'hypoténuse est égal à la somme des carrés des longueurs des deux autres côtés.

La réciproque du théorème de Pythagore est une proposition qui énonce que si dans un triangle, le carré de la longueur de l'hypoténuse est égal à la somme des carrés des longueurs des deux autres côtés, alors ce triangle est un triangle rectangle.

Soit ABC un triangle quelconque, où C est l'angle droit. Le théorème de Pythagore s'énonce ainsi :

où a et b sont les longueurs des deux côtés de l'angle droit, et c est la longueur de l'hypoténuse.

La réciproque du théorème de Pythagore affirme que si dans un triangle, le carré de la longueur de l'hypoténuse est égal à la somme des carrés des longueurs des deux autres côtés, alors ce triangle est un triangle rectangle.

En d'autres termes, si a^2 + b^2 = c^2, alors le triangle ABC est rectangle en C.

Pour démontrer la réciproque du théorème de Pythagore, nous pouvons utiliser le raisonnement par l'absurde. Supposons que le triangle ABC soit un triangle non rectangle, c'est-à-dire que l'angle en C n'est pas droit.

Dans ce cas, nous devrons utiliser le théorème de l'angle aigu dans un triangle, qui affirme que dans un triangle, le carré de la longueur d'un côté est strictement inférieur à la somme des carrés des longueurs des deux autres côtés.

Donc, si le triangle ABC est non rectangle, alors nous aurions a^2 + b^2 < c^2. Mais cela contredit l'hypothèse initiale selon laquelle a^2 + b^2 = c^2.

Ainsi, nous pouvons conclure que si a^2 + b^2 = c^2, alors le triangle ABC est rectangle en C, ce qui démontre la réciproque du théorème de Pythagore.