Problem

Source: Kazakhstan National MO 2023 (10-11).1

Tags: geometry



A triangle $ABC$ with obtuse angle $C$ and $AC>BC$ has center $O$ of its circumcircle $\omega$. The tangent at $C$ to $\omega$ meets $AB$ at $D$. Let $\Omega$ be the circumcircle of $AOB$. Let $OD, AC$ meet $\Omega$ at $E, F$ and let $OF \cap CE=T$, $OD \cap BC=K$. Prove that $OTBK$ is cyclic.