Problem

Source: 2024 Israel TST Test 1 P1

Tags: geometry, tangency, TST, circumcircle



Triangle $ABC$ with $\angle BAC=60^\circ$ is given. The circumcircle of $ABC$ is $\Omega$, and the orthocenter of $ABC$ is $H$. Let $S$ denote the midpoint of the arc $BC$ of $\Omega$ which doesn't contain $A$. Point $P$ was chosen on $\Omega$ so that $\angle HPS=90^\circ$. Prove that there exists a circle that goes through $P$ and $S$ and is tangent to lines $AB$, $AC$.