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