Me encontré con este enigma mientras repasaba la prueba de que $$A \cdot \sin(bx) + B \cdot \cos(bx) = C \cdot \sin(bx + k)$$ para algunos números $C$ y $k$ . ( $A$ , $B$ y $b$ son conocidos).
El método habitual es expandir el lado derecho utilizando la identidad del ángulo compuesto \begin{align} C \cdot \sin(bx + k) &= C \cdot \bigl( \sin(bx)\cos(k) + \cos(bx)\sin(k) \bigl) \\ &= C\cos(k) \cdot \sin(bx) + C\sin(k) \cdot \cos(bx) \end{align} y así establecer \begin{align} C\cos(k) &= A \\ C\sin(k) &= B \end{align} Mi problema viene con lo que sucede en este punto - entonces procedemos a dividir la segunda ecuación por la primera, obteniendo $$ \tan(k) = \frac{B}{A} $$ que luego resolvemos para obtener $k$ etc. etc.
Mi pregunta es: ¿cómo sabemos que esto es "legal"? Hemos reducido el sistema original de dos ecuaciones a una sola. ¿Cómo sabemos que los valores de $k$ que satisfacen la ecuación única son iguales al conjunto de soluciones del sistema original?
Mientras pensaba en esto, se me ocurrió este otro problema: \begin{align} \text{Find all }x\text{ such that} \\ \sin(x) &= 1 \\ \cos(x) &= 1 \end{align}
Evidentemente, este sistema no tiene soluciones ( $\sin x$ y $\cos x$ nunca son iguales a $1$ simultáneamente). Pero si aplicamos el mismo método que hicimos para el ejemplo anterior, podemos decir que como $\sin(x) = 1$ y $\cos(x) = 1$ dividamos $1$ por $1$ y obtener $$ \tan(x) = 1 $$ que sí tiene soluciones.
Entonces, ¿cómo sabemos cuándo es seguro dividir las ecuaciones simultáneas entre sí? (¿Si es que alguna vez lo es?)