Если квадрат стороны треугольника равен сумме квадратов двух других его сторон, то эта сторона лежит напротив: