Problem:
Let be a triangle with . The bisector of the meets at the point . Prove that .
Solution
Solution:
Since and we have . Let be the point on such that . Then and , hence , and . So and are concyclic, implying (since ), which completes the proof.
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.