Cos^2(pi/12)+sin^2(pi/12) = cos^2(pi/12)+(1 - cos^2(pi/12) ) = = (cos^2(pi/12) - cos^2(pi/12) ) +1 = 0 + 1 = 1