Ответ:

По формуле \(1-2\sin^2 x=\cos 2x\):

\(6\sqrt3-12\sqrt3\sin^2\frac{23\pi}{12}=6\sqrt3\cos\frac{23\pi}{6}=6\sqrt3\cos\frac{11\pi}{6}=9.\)

Ответ: 9.