左=cos²(π/4+a/2)-sin²(π/4+a/2)
=cos[2(π/4+a/2)]
=cos(π/2+a)=右
倍角公式:
cos2a=cos²a-sin²a