Asin(omega t) + Bcos(omega t) = sqrt(A^2+B^2) sin(omega t + phi) で を実証してください。