Let be a convex quadrilateral such that . The lines and intersect at the point , and the circumcircles of the triangles and intersect at and . Let denote the intersection of the lines and . Prove that is the bisector of the angle .
, 2016
Solution
II/3. Due to different configurations we will proceed using directed angles.
Let , distinct from , be the intersection of the circumcircles of the triangles and . The power line (radical axis) of the circumcircles of the triangles and is , the power line of the circumcircles of the triangles and is , and the power line of the circumcircles of the triangles and is . The Power-of-a-Point theorem states that these three lines intersect at a single point. The lines and intersect at , so must also lie on the line . Due to the concyclicity of the points and we have
and due to concyclicity of and we have
The triangles and have three matching angles and , so they are congruent. This implies that and . Since , we see that the triangles and have three matching sides and are congruent and the same is true for the triangles and . These two congruences imply that and .
In the triangle the point lies on the intersection of the bisectors of the angles and . So, is the incentre of the triangle and the bisector of the angle also passes through . The points and are collinear, so is the bisector of .
