Demostrar que una función de la forma $x(t) = K_1 cos\beta t + K_2 sin\beta t$
Puede ser escrito como $x(t) = Kcos(Bt-\phi)$
Donde $K = \sqrt (K_1^2 + K_2^2)$
Sé que los sistemas lineales con coeficientes complejos a veces se expresan en esta forma, sin embargo no estoy seguro cómo if que sería útil para resolver este problema. Cualquier sugerencia sobre cómo enfocar esto sería muy apreciada.