Верно ли, что высота, проведённая из вершины прямого угла, есть среднее арифметическое между отрезками, на которые гипотенуза делится высотой?