Пусть АВС - исходный прямоугольный треугольник с вершиной прямого угла С. CD - высота. Тогда
ВС = АВ * sin A BD = BC * sin A = AB * sin²A
Таким образом AB * BD = BC²
