As illustrated in Fig. 1.1, is a cyclic hexagon. The extensions of and meet at ; the extensions of and meet at . Let and be the circumcentres of and , respectively. Prove that the lines , , and are concurrent.

Fig. 1.1
As illustrated in Fig. 1.1, is a cyclic hexagon. The extensions of and meet at ; the extensions of and meet at . Let and be the circumcentres of and , respectively. Prove that the lines , , and are concurrent.

Fig. 1.1
Let be the circumcircle of . Let be the other intersection of the line and , be the other intersection of the line and , as shown in Fig. 1.2. Note that , and hence ; similarly, , and hence ; moreover, . It follows that and are homothetic triangles. Let be the homothetic centre. Then and pass through ; the line connecting the circumcentres of and , which is , passes through as well. Therefore, the lines , , and meet at .

Fig. 1.2
(Edited from Wang Zihan's proof.) As in Fig. 1.3, we first apply Pascal's theorem to the cyclic hexagon to deduce that , , are collinear. Let and be the antipodal points of and , respectively. Let and meet at , and meet at . Apply Pascal's theorem to the cyclic hexagon to deduce that , , are collinear.
Since and , and are antipodal points, we have , , , . Notice that . Thus, the angle between and is given by
This implies . As is the midpoint of , is the midpoint of , and furthermore it is shown that , pass through . We infer that passes through , too. Therefore, , , and are concurrent.

Fig. 1.3
As shown in Fig. 1.4, let be the intersection of and . It suffices to show that , , are collinear, or equivalently,
Denote , , . The above relation is equivalent to
or rewritten as , or just (for the collinearity of , , ).
In and , apply the law of sines to obtain
As , it follows that
Similarly, in and , we have
Now it suffices to show
The angles appearing in the numerators are supplementary, as
and thus . Analogously, . We have verified (1), and the statement.

Fig. 1.4
Assume that the circumcircle of is the unit circle in the complex plane. We use lowercase letters to represent the complex numbers corresponding to the points in the plane (for instance, is the complex number for the point , and so on). Let . We have
In the same manner, . Thus,
On the other hand, is an isosceles triangle, is twice the angle between the lines and , and this implies that
Consequently,
In the same way, we can derive
To prove that , , and are concurrent, it is equivalent to prove that , , are collinear, namely
From (1)–(3), it follows that
while
Hence,
In the last fraction, the unit complex numbers , and all appear exactly once in the numerator and in the denominator; moreover, in each parenthesis, the coefficients of the homogeneous terms sum to zero (one minus one). So, the fraction is real, which justifies (4), and the argument as well.