Problem

Source: 2024 imocsl G7 (Boring Competiton P1)

Tags: geometry, IMOC



Triangle $ABC$ has circumcenter $O$ and incenter $I$. The incircle is tangent to $AC, AB$ at $E, F$, respectively. $H$ is the orthocenter of $\triangle BIC$. $\odot(AEF)$ and $\odot(ABC)$ intersects again at $S$. $BC, AH$ intersects $OI$ again at $J, K$, respectively. Prove that $H, K, J, S$ are concyclic. Proposed by chengbilly