Geometry problem involving a cyclic quadrilateral and power of a point theorem?

Below is a "full" solution to the problem. A hint, if you don't feel quite ready to see the solution yet, is to consider the Miquel point of the complete quadrilateral $ABCD$.


Let points $A,B,C,D,E,F,M,P,Q,X,Y$ be defined as in the question. Define $\gamma$ to be the circumcircle of $ABCD$, and redefine $O$ to be its centre. Let the circle with centre in $Y$ through $X$ be called $\omega$.

Lemma 1 (Miquel Point of Cyclic Quadrilaterals): Let $Z$ be the intersection of lines $OX$ and $EF$. Then $Z$ is the miquel point of the complete quadrilateral $ABCD$. In particular, $Z$ is the image of $X$ under inversion with respect to $\gamma$.

Lemma 2 ($EFX$ is self-polar with respect to $\gamma$): $X$ and $Z$ lie on the normal line from $O$ to $EF$.

These two facts turn out to be sufficient in explaining the tangency in the question as follows:

Due to lemma 2 $\angle MZX=\angle MZO = \pi/2$. Therefore, since $MX$ is a diameter in $\omega$, $Z$ lies on $\omega$ by the converse of Thale's theorem.

But now lemma 1 tells us that $X$ and $Z$ are inverse images under inversion in $\gamma$, implying that $|OX||OZ|=r^2$, where $r$ is the radius of $\gamma$. Hence the power of $O$ with respect to $\omega$ is $r^2$. Now suppose a tangent to $\omega$ through $O$ intersect $\omega$ at $T$. Then by power of a point $|OT|^2=r^2$, so $T\in\gamma$. But $T\in\omega$ by assumption, so $T=P$ or $T=Q$.

Said in another way: the tangents from $O$ to $\omega$ are exactly the lines $OP$ and $OQ$.

Now you may realise that this is rather similar to what we want to prove, that is, the tangents from $Y$ to $\gamma$ are the lines $YP$ and $YQ$. It turns out that these two statements are actually equivalent. You may try to prove it yourself. The configuration is called orthogonal circles. At any rate, this explains the problem posed in the original post.


All of the concepts/lemmas that I have used are defined/proven thoroughly in chapters 8 to 10 of Evan Chen's Euclidean Geometry in Mathematical Olympiads . It is a good introduction to many of the more advanced techniques used in olympiad geometry, and I wholeheartedly recommend it if you are preparing for maths olympiads.