Найти значение выражения: корень из 12 * cos^2 5п/12 - корень из объяснить как можно подробнее что и откуда взялось в решении, мне нужно не просто решить, а понять как решается подобное, заранее

Cos(5π/12) = cos(3π/12 + 2π/12) = cos(π/4 + π/6) =
= cos(π/4)cos(π/6) - sin(π/4)sin(π/6) = √2/2 * √3/2 - √2/2 * 1/2 =
=√2/4 * (√3 - 1)

cos^2(5π/12) = 2/16(3 - 2√3 + 1) = 1/8 * (4 - 2√3) = 1/4 * (2 - √3)

√12 = 2√3
Умножим на √12:
2√3 * 1/4 * (2 - √3) = √3 / 2 * (2 - √3) = √3 - 3/2

Теперь вычтем √3:
√3 - 3/2 - √3 = -3/2
ответ: -3/2