Consider triangle with , and the midpoint of the side . Let be such that . Show that is the bisector of the angle .
Romanian Mathematical Olympiad
Solution
Let be the point where the perpendicular bisector of the segment meets . Then , and .
Since and , it follows that , that is , whence .
Since (the right triangle has an angle of ), so, using the converse of the Bisector Theorem, is the bisector of the angle .
Then , and, since yields , . From and follows that , that is is the bisector of the angle .
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.