Triangle has the property that there exists a unique point on the line segment such that . Prove that .
Solution
Let be the reflection of with respect to . By the converse of the Power of a Point Theorem, it follows that the quadrilateral is cyclic. If the line parallel to through intersects the circumcircle of again at , and lines and meet at , then and , thus, in order for the point to be unique, it is necessary that , i.e. is the midpoint of the arc , in other words is the foot of the angle bisector from .
From here one can finish the proof in several ways. One can use the formula for the length of the angle bisector in a triangle, or Stewart's Theorem.
If , , , then . It is known that , . It follows that
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.