RU-ALLRUSSIAN 1988 Problem 17
In the acute- angled triangle ABC, the altitudes BD and CE are drawn. Let F and G be the points of the line ED such that BF and CG are perpendicular to ED. Prove that .
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.