Источник TeX:
\cos{\angle HKE} = \dfrac{KE}{HK} = \dfrac{1}{\text{ctg}\dfrac{\alpha}{2}}