Источник TeX:

\Rightarrow AC=\frac{a\cdot \sin 120^\circ}{\sin 30^\circ}=a\sqrt{3}