Источник TeX:
CK = a\sqrt{3} - x