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

Convex cyclic quadrilateral $$ABCD$$ are inscribed in circle $$O$$. $$AB,CD$$ intersect at $$E$$, $$AD,BC$$ intersect at $$F$$. Diagonals $$AC, BD$$ intersect at $$X$$. $$M$$ is midpoint of $$EF$$. $$Y$$ is midpoint of $$XM$$. circle $$Y$$ with diameter $$XM$$ intersects circle $$O$$ at $$P,Q$$. Prove that $$PY$$, $$QY$$ are tangent to circle $$O$$

It looks like a pretty interesting problem that could be solved by power of a point theorem, because they are a lot of line segments we can use to compute. But I didn't go very far. • @Narasimham sure fixed! May 23 '20 at 18:56
• Thanks able to read ! May 23 '20 at 19:29

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.

• so there is no elementary solution May 24 '20 at 4:38
• Well there always exist elementary proofs, using lengthy coordinates or length/angle calculations. The proof I posted is the one that I consider most illuminating, as the entire problem (in some sense) hinges on the fact that the second intersection of $\omega$ and $EF$ is the Miquel point of $ABCD$. May 24 '20 at 11:11
• thank you for the explanation May 24 '20 at 11:33 As can be seen in the figure:

$$YP=YQ$$

$$OP=OQ$$

Therefore triangles YPQ and OPQ are isosceles and consequently YO is perpendicular on PQ. PQ is the common chord of circles centered at Y and O, but YO is not perpendicular on PQ. Now we use the fact that if two Chords of two intersecting circles are perpendicular the line connecting their centers is perpendicular on their common chord. This means PQ can be the common chord of a circle centered at O and another circle passing P, Q and O. Now if Y is on this circle then YO or PQ must be the diameter of this circle. PQ can not be the diameter because circles centered at O and Y are not equal. This is a fact that if two equal circles intersect such that each one passes the center of the other ,then the measure of their common chord is equal to the radius of circles and also equal to the measure of line connecting their centers, in this case both common chord and center connector can be the diameter of third circle passing intersections and centers.This is possible if the ABCD is regular.We can conclude that YO is the diameter of a circle passing P, Q, Y and O, hence $$\angle YPO=\angle YQO=90^o$$ and YP and YQ are tangents on circle centered at O.