Problem: Let be the angle bisector of in scalene . The points are on such that . The foot of the perpendicular from to is . Prove that .
Solution: Note that , so . Also, . Thus . Finally from Angle Bisector Theorem. So , and it follows that , so . Since , this implies that bisects as desired.
Source: OIM 2002 #4