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