sina+sinb=-sinc;
cosa+cosb=-cosc;
两式平方再相加,化简
得cosa*cosb+sina*sinb=-1/2;
∴cos(a-b)=cosa*cosb+sina*sinb=-1/2