Let $h$ be a semicircle with diameter $AB$. The two circles $k_1$ and $k_2$, $k_1 \ne k_2$, touch the segment $AB$ at the points $C$ and $D$, respectively, and the semicircle $h$ fom the inside at the points $E$ and $F$, respectively. Prove that the four points $C$, $D$, $E$ and $F$ lie on a circle. (Walther Janous)
Problem
Source: Austrian MO 2024, Preliminary Round P2
Tags: geometry, geometry proposed, semicircle, touching circles, cyclic quadrilateral
29.05.2024 19:27
Let $h'$ the other-half part of the semicircle and let $M$ the midpoint of arc $AB$ in $h'$, now by homothety we can trivially see that $E,C,M$ and $F,D,M$ are colinear. Now by invertion at $(M, MA)$ we have $C \to E$ and $D \to F$ because $AB \to (h \cup h')$ therefore the cyclic follows from invert thus we are done .
29.05.2024 21:11
By the Shooting Lemma lines $EC$ and $FD$ pass through the midpoint $M$ of arc $AB$. The rest is just an angle chase $$\angle MCD=\frac{1}{2} \overarc{EA}+\frac{1}{2}\overarc{MB}=\frac{1}{2} \overarc{EA}+\frac{1}{2}\overarc{AM}=\frac{1}{2}\overarc{EM}=\angle EFM$$
Attachments:

29.05.2024 21:41
Well in fact, part of the Shooting Lemma tells you $MC \cdot ME=MA^2=MB^2$ so that you get $MC \cdot ME=MD \cdot MF$ and are done immediately.
28.10.2024 16:41
What is the Shooting Lemma?
28.10.2024 16:48
Kiewi wrote: What is the Shooting Lemma? Pretty much exactly the first sentence of #3, i.e. in the situation of the two touching circles with a tangent line, the line through the two tangency points passes through the midpoint of the arc. Often, the fact in #4 is also considered part of the lemma.
07.12.2024 01:35
Invert about the midpoint of the other semicircle in the circle which $h$ is a part of, the result follows immediately.