1.Высота прямоугольного треугольника, проведённая из вершины прямого угла, есть среднее пропорциональное для отрезков, на которые делится гипотенуза этой высотой.
2. Катет прямоугольного треугольника есть среднее пропорциональное для гипотенузы и отрезка гипотенузы, заключенного между катетом и высотой, проведенной из вершины прямого угла