Example 2 As shown in Figure has internal angle bisectors and intersecting at point intersects at point , and . Prove: .
Solution
Prove as shown in Figure 6, construct intersecting at point .
By Property 4, form a harmonic range.
Thus, .
Since , then , meaning is the median of .
By the Law of Sines,
Thus, are concyclic.
Similarly, are concyclic.
Therefore, .
Hence, .
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.