前两个式子平方再相加：
(sina^2+sinb^2+cosa^2+cosb^2)-2sinasinb-2cosacosb=2/9
2-2cos(a-b)=2/9
所以cos(a-b)=8/9
cos(a-b)/2=4/9