三角関数の問題。どうやって等式を証明するか、手がかりを求む。
等式は
Acos(x)+Bsin(x)=(((A^2)+(B^2)) ^(1/2))sin(x+z) , (ただし、tan(z)=A/B)