Let be a triangle. The internal bisector of meets in and is the incenter of . Prove that if , then is an isosceles triangle.
Solution
Draw parallel to so that is on line . Then is isosceles, which implies that . This then implies that is isosceles, which in turn implies that, since is on the angle bisector of , is also isosceles, with . It then follows, using similarity of triangles and the angle bisector theorem, that
from which .
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.