Источник TeX:

\angle AFG = \angle DAF = 90^\circ - \dfrac{\alpha}{2}