上面两式两边分别平方,整理得
sina*sinb+cosa*cosb=-1/2
sin(a+TT/3)=1/2*sina+(根号3）/2*cosa
=(sin a+sin b)*sina+(cos a+cos b)*cosa
=1+sina*sinb+cosa*cosb
=1+(-1/2)
=1/2