Twierdzenie Pitagorasa:

W dowolnym trójkącie prostokątnym suma kwadratów długości przyprostokątnych jest równa

kwadratowi długości przeciwprostokątnej.   

Twierdzenie Pitagorasa w postaci implikacji:    

Jeżeli trójkąt jest prostokątny, to suma kwadratów długości przyprostokątnych jest równa

kwadratowi długości przeciwprostokątnej. 

Założenie: trójkąt jest prostokątny.

Teza: suma kwadratów długości przyprostokątnych jest równa kwadratowi długości przeciwprostokątnej.

Twierdzenie odwrotne do twierdzenia Pitagorasa:

Jeżeli suma kwadratów długości dwóch boków trójkąta jest równa kwadratowi trzeciego boku,

to trójkąt jest prostokątny.

Założenie: suma kwadratów długości dwóch boków trójkąta jest równa kwadratowi trzeciego boku.

Teza: trójkąt jest prostokątny.