**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