Let the angle bisectors of , , of intersect the circumcircle of at , , respectively. Prove that .
IMO Hk TST
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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.