Let be the lengths of the internal angle bisectors of a triangle with sides .
Let be its circum-radius. Prove that
India — Team Selection Test, 2007
Solution
We use the standard
The inequality takes the form
This may be put in the form
But note that and . Hence it is sufficient to prove that . We start with the identity
which shows that , in any triangle . But, whenever are the angles of a triangle, we know that are also the angles of some other triangle. For this triangle, we get
It follows that
which is to be proved.
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.