MathDB
Cosines Relation with H, O and R - [IMO LongList 1971]

Source:

January 1, 2011
trigonometrygeometrycircumcircle

Problem Statement

In a triangle ABCABC, let HH be its orthocenter, OO its circumcenter, and RR its circumradius. Prove that:
(a) OH=R18cosαcosβcosγ|OH| = R \sqrt{1-8 \cos \alpha \cdot \cos \beta \cdot \cos \gamma} where α,β,γ\alpha, \beta, \gamma are angles of the triangle ABC;ABC;
(b) OHO \equiv H if and only if ABCABC is equilateral.