Let be an acute triangle. The bisector of the side intersects the lines and at the points and , respectively, and the bisector of the side intersects the lines and at the points and , respectively. Prove that the points and are concyclic.
Selection Examinations for the IMO, 2013
Solution
The solution uses directed angles. Let be the midpoint of the side and let be the midpoint of the side . Since is a midline of the triangle , is parallel to . Because the lines and are bisectors of the sides and , respectively, the points and as well as the points and are collinear. The points and are concyclic because
From concyclicity of the points and , collinearity of the points and , and collinearity of the points and we now derive
Further, from parallelism of the lines and , collinearity of the points and , and collinearity of the points and we get
The above two equalities say that , hence the points and are concyclic.
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.