Источник TeX:
AC^2 = AK^2 + KC^2 - 2 \cdot AK \cdot KC \cdot \cos \beta