Problem

Source: Romania JBMO TST 2023 Day 4

Tags: geometry, circumcircle



Let $ABC$ be an acute triangle with $\angle B > \angle C$. On the circle $\mathcal{C}(O, R)$ circumscribed to this triangle points $D, E, J, K, S$ are chosen such that $A, E, J$ and $K$ are on the same side of the line $BC$, the diameter $DE$ is perpendicular on the chord $BC$, $S\in \overarc{EK},\overarc{AE}=\overarc{BJ}=\overarc{CK}=\dfrac{1}{4}\overarc{CE}$ . Let $\{F\}=AC\cap DE, \{M\}=BK\cap AD, \{P\}=BK\cap AC$ and $\{Q\}=CJ\cap BF$. If $\angle SMK =30^{\circ}$ and $\angle AQP = 90^{\circ}$, show that the line $MS$ is tangent to the circumscribed circle of triangle $AOF$.