Формулировка В прямоугольном треугольнике сумма квадратов катетов равна квадрату гипотенузы: a² + b² = c², где c — гипотенуза, сторона против прямого угла. Зная две стороны, всегда можно найти третью. Отсюда же берётся способ проверки: если для трёх сторон выполняется это равенство, треугольник прямоугольный — это обратная теорема, и именно она применяется в разметке. Кто её доказал: честный...

