В треугольнике ABC стороны $AB = 5, BC = 6, CA = 7$. Найдите расстояние от ортоцентра $H$ до вершины $A$. Используйте формулу $OH^2 = R^2 - 8R^2 \cdot \cos(A)\cos(B)\cos(C)$ или связь ортоцентра с описанной окружностью: $AH = 2R \cdot \cos(A)$.