В прямоугольных треугольниках квадрат на боковом подтенке, правый угол равен квадратам на бокам, содержащих прямой угол.