Источник TeX:

\frac{AC}{2\sin \angle ABC}=\frac{2a}{2sin60^\circ}