Geometry Problem 945: Triangle, Concurrent Lines, Cevians, Perpendicular, Angle Bisector. Level: High School, College, Mathematics Education

As illustrated, in a triangle ABC, cevians AD, BE, and CF are concurrent at O. DF meets BE at G and GH is perpendicular to AC at H. Prove that HG is the bisector of angle DHF.