In the figure below, given a triangle ABC of circumcenter O and its orthic triangle DEF (AD, BE, and CF are the altitudes of ABC). Prove that OA, OB, and OC are perpendicular to EF, DF, and DE respectively. Post your comments or solutions in the blog.