Let be a cyclic quadrilateral with . Let be the midpoint of the arc not containing . Suppose there is a point inside such that and .
Prove that lines , , are concurrent.
IMO Shortlist
Solutions — 2
Solution 1
Let and be the intersection points of and with and respectively. Since is cyclic and , we have
Combining this with , we get , and so . Moreover, . The quadrilateral therefore has equal opposite angles and so is a parallelogram.
Let and be the intersection points of and with and respectively. Due to and , we have and so the quadrilateral is cyclic. We then have and so . In triangles and , the corresponding sides are parallel so they are homothetic meaning lines , , concur at the centre of this homothety.
Solution 2
Let and meet at . Denote by and the distances between line and , and , and and between and respectively. Our goal is to prove which is equivalent to the collinearity of , and .
Let , , , and .
From and we get
Hence is equivalent to , and since , this means we have to show that triangles and are similar.
In triangle we have
Similarly, in triangle we have
Therefore, (, ) and (, ) satisfy the same system of linear equations. The common solution is
Hence triangles and have equal angles and so are similar. This completes the proof.