Let circle be the circumcircle of . The angle bisector of meets circle again at , and meets at . From , drop a perpendicular to , meeting at , and meeting circle at , such that lies on segment . Then connect to meet at , and connect to meet at . Prove that: is parallel to .
Solution
Solution: First, since
therefore points , , , are concyclic. Hence, .
thus , and therefore points , , , are concyclic, from which . Hence, is parallel to . Q.E.D.
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.