Источник TeX:

\angle ABK=90^\circ+\frac{\alpha-\beta}{2}