Question

How do you evaluate `2 cos^2 (pi/12) - 1`?

Answer 1

We know that `cos(2x)=2cos^2(x)-1`

Hence for `x=pi/12` we have that

`2cos^2(pi/12)-1=cos(2*pi/12)=cos(pi/6)=sqrt3/2`