Ответ:

По формуле \(2\cos^2x=1+\cos2x\): \(2\sqrt3\cos^2\dfrac{13\pi}{12}-\sqrt3=\sqrt3\cos\dfrac{13\pi}{6}=\dfrac{3}{2}.\)

Ответ: \(\dfrac{3}{2}\).