cos2(π/4-a)-sin2(π/4-a) 怎么化简

cos2(π/4-a)-sin2(π/4-a)=cos(π/2-a/2)-sin(π/2-a/2)=sina/2-cosa/21 第二步骤是怎么变化过来的2有没有一个公式cosa的平方-sina的平方=cos2a？上面的是最简形式了么?π/2-a/2与a/2互余得到：cos(π/2-a/2)=sina/2，sin(π/2-a/2)=cosa/2 是有这个公式cosa的平方-sina的平方=cos2a，上面的已经是最简形式了。