sinb+siny=-sina
cosb+cosy=-cosa
分别平方并相加
且利用恒等式sin²x+cos²x=1
所以2+2(cosbcosy+sinbsiny)=1
所以cos(b-y)=cosbcosy+sinbsiny=-1/2