Twierdzenie Pitagorasa

Jeżeli trójkąt jest prostokątny, to kwadrat długości przeciwprostokątnej jest równy sumie kwadratów długości przyprostokątnych.

Założenie:

Teza:

Twierdzenie odwrotne do