Sea $ABC$ un triángulo acutángulo con circuncentro $O$ y ortocentro $H$, verificando $AB\lt AC$. La tangente en $A$ a la circunferencia circunscrita de $ABC$ corta a $BC$ en $T$. Sea $X$ el punto medio de $AH$. Demostrar que $\angle ATX = \angle OTB$.