Источник TeX:

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