Let be a cyclic quadrilateral, and let , and be the midpoints of , and , respectively. Let , and be the orthocenters of triangles , and , respectively. Prove that quadrilaterals and have the same area.
(This problem was suggested by Zhonghao Ye)
Solution
Lemma. Let be any quadrilateral with the midpoints of sides , respectively. Then .
Proof. Let be the intersection of diagonals and . is the midline of triangle so bisects segment . It follows that . Similarly, we obtain , , and . Summing these up yields the desired result.
Let denote the circumcenter of , and let denote the midpoints of respectively. Applying the lemma to and then , we get .
We have since they are both perpendicular to , and similarly , so is a parallelogram. It follows that is the image of the midpoint of (i.e. the midpoint of ) under dilation from by a factor of . Similarly are the images of under the same transformation, so is the image of under a dilation of factor . Thus, it follows that as desired.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.