关于三角函数的推导问题
x=Acos(wt+a)(1)
y=Bcos(wt+b)(2)
x+y=Ccos(wt+c)(3)
C和c都是可以由A,B,a,b表示出来的,具体我就不写了,请问有(1)(2)式怎样推导到(3)式?