$x^2+y^2=z^2$

The sum of the squares of the two shorter sides equals the square of the longest side.

The sum of the squares of any two sides equals the square of the third side.

The angle opposite the side with length $z$ must be $90^{\circ }$ if $x^2+y^2=z^2$.