设a+45=t∴sin(a+75)+cos(a+45)-√3cos(a+15)=sin(t+30)+cost-√3cos(t-30)=sintcos30+sin30cost+cost-√3(costcos30+sintsin30)=(√3/2)sint+(1/2)cost+cost-(3/2)cost-(√3/2)sint=0