为什么sin(45-30)=sin45*cos30-sin30*cos45?