Источник TeX:

AK=KB=\frac{a}{\sqrt 2}