Let a line intersect the line at , the sides and of a triangle at and , respectively and the internal bisector of the angle at . Suppose that is at the opposite side of with respect to the line , and is in the interior the triangle . Prove that
Solution
Let , , , . By the Stewart Theorem and , hence . Let be a point on the line segment satisfying . Then . If , then we get . Hence the points are concyclic and . Since , we get that the triangles and are similar and hence . If , then the triangles and are similar and hence and therefore the points are concyclic. Hence ,

and we are done.
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.