=cos²a+cos(a+b)[cos(a+b)-2cosacosb]-sin²b
=cos²a-sin²b+cos(a+b)[-sinasinb-cosacosb]
=cos²a-sin²b-cos(a+b)cos(a-b)
=(1/2)[cos2a+1]+(1/2)[cos2b-1]-cos(a+b)cos(a-b)
=(1/2)[cos2a+cos2b]-cos(a+b)cos(a-b)
=cos(a+b)cos(a-b)-cos(a+b)cos(a-b)
=0
=cos²a+cos(a+b)[cos(a+b)-2cosacosb]-sin²b
=cos²a-sin²b+cos(a+b)[-sinasinb-cosacosb]
=cos²a-sin²b-cos(a+b)cos(a-b)
=(1/2)[cos2a+1]+(1/2)[cos2b-1]-cos(a+b)cos(a-b)
=(1/2)[cos2a+cos2b]-cos(a+b)cos(a-b)
=cos(a+b)cos(a-b)-cos(a+b)cos(a-b)
=0