The diagonals and of a cyclic quadrilateral intersect at .
The circumcircle of the triangle intersects and at and , respectively. The circumcircle of the triangle cuts and at and , respectively. Prove that , , , lie on the circumference of a circle whose centre is .
, 2014
Solution
Join to , , and . The details are worked out below for the situation in the picture provided where and are both between and , is between and but is not between and . For other possible positions of , , , , after replacing some angles with their supplements, the arguments provided will also work.
Alternatively, one could avoid considering several cases by working with oriented angles modulo , see for example Section 1.7 in [1].
From the cyclic quadrilateral we get . Because , , , are concyclic we obtain . As , , , are on a circle, . Hence and so .
Similarly, using twice that , , , , are on a circle and that is cyclic, we obtain
and this implies .
Using all three circles, we get the following equalities
from which we get . Altogether we have shown that , , , all have the same distance from .