Problem:
Given a triangle . Let the line through parallel to the angle bisector of meet the angle bisector of at , and let the line through parallel to the angle bisector of meet the angle bisector of at . Prove that if is parallel to , then .
Solution
Solution:
The idea is to find an expression for the perpendicular distance from to . Let , , and . We have .
Using the sine rule on , we have , so . Similarly, the perpendicular distance from to is .
We also have that , and hence . Using the fact that , and the expression for , we get and hence iff the triangle is isosceles.
For some reason the geometric solution took me longer to find. Let meet at . Then and are isosceles, so . Similarly, . 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.