Problem:
Prove that if the line joining the circumcenter and the incenter is parallel to side of an acute triangle, then .
Solution
Solution:
We prove the following more general result, called Carnot's theorem: in a triangle we have
where and are the inradius and circumradius of .
The altitude from vertex divides side into two segments (one of which may be negative), giving . The other two altitudes give and .
Adding all three equations to gives
So
The area of is and from the 3 triangles into which circumradii divide the triangle . Hence . Substituting this in, we have proved Carnot's theorem.
In the present problem, we have since the distance from to equals . This implies the problem.
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.