Источник TeX:
\angle AKC = \arccos(2 - \sqrt{5})