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