MathLabs

Problem 2

Let OO be the circumcentre and HH the orthocentre of an acute triangle ABCABC. Prove that the area of one of △AOH\triangle AOH, △BOH\triangle BOH, and △COH\triangle COH equals the sum of the areas of the other two.
Step 2 of 4: Average the distances at the midpoint
M midpoint of BC,d(M,OH)=d(B,OH)+d(C,OH)2M\text{ midpoint of }BC,\qquad d(M,OH)=\frac{d(B,OH)+d(C,OH)}2
Detailed analysis

Let MM be the midpoint of BCBC. Since distance to a fixed line is affine along a segment whose endpoints lie on the same side, d(M,OH)=(d(B,OH)+d(C,OH))/2d(M,OH)=(d(B,OH)+d(C,OH))/2. Therefore [BOH]+[COH]=OH⋅d(M,OH)[BOH]+[COH]=OH\cdot d(M,OH).