sin^2x-cos^2x=-(cos ^2 x-sin^2 x)=-cos(2x)
;代入x=π/12得
sin^2x-cos^2x=-cos π/6=-√3/2