Let the angle bisectors of , , of intersect the circumcircle of at , , respectively. Prove that .
Solution
Let be the incentre of . It is well-known that , etc. By the triangle inequality, we have
Adding these inequalities and dividing both sides by 2, we obtain the desired inequality.

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.