Aby trójkąt był prostokątny musi zachodzić zależność, że suma kwadratów dwóch krótszych boków jest równa kwadratowi najdłuższego boku.

Podnosimy do kwadratu:

Po