$\text{Z:}\text{Troˊjkąt jest prostokątny. }$  

$\text{T:}{a}^2+b^2=c^2$  

a, b - długości przyprostokątnych trójkąta prostokątnego 

c - długość przeciwprostokątnej tego trójkąta