Источник TeX:

4R^2=x^2+9R^2-2\cdot x\cdot 3\cdot R\cdot\frac{\sqrt{3}}{2}