Comprender la pauta general: el razonamiento ecuacional puede ocultar la estructura lógica subyacente
Este tipo de razonamiento ecuacional es una herramienta útil cuando se aplica adecuadamente, pero muchos exploradores se encuentran, como en esta pregunta, confundidos sobre cómo asegurarse realmente de que están realizando un razonamiento válido: "Sólo hice manipulaciones ecuacionales válidas que siempre funcionaron antes, ¿qué salió mal?".
En concreto, el razonamiento ecuacional popular consiste en escribir ecuaciones y sus manipulaciones sin rastrear las líneas de implicación entre ellos . Pero hay un importante cambio de perspectiva que transforma esta herramienta de confusa en cristalina: ¡basta con ver la estructura lógica implícita en sus ecuaciones!
Algunas observaciones generales
¿Qué es una "solución"?
Ser solución de una ecuación es implicar la ecuación (por ejemplo $x = 1 \implies x^2 = 1$ y $x=-1 \implies x^2 = 1$ ).
Obsérvese que lo contrario no es necesariamente cierto: si una ecuación tiene varias soluciones, sólo implica que uno u otro solución es cierta. No implica cada uno individualmente (a menos que la solución sea única).
$$x=1 \implies x^2 = 1$$ $$x^2 = 1 \;\not\!\!\!\!\implies x=1$$
Pero podemos decir que una ecuación implica la disyunción (o) de todas sus soluciones, y viceversa
$$x^2 = 1 \iff (x = 1) \lor (x = -1) $$ (léase x = 1 O x = -1).
Así que podemos ver que hay una diferencia entre 'encontrar a solución" y "encontrar el solución" y "encontrar tous soluciones" (también conocido como "resolver"), aunque en el lenguaje natural a veces nos confundimos.
¿Qué es una manipulación ecuacional?
Aplicando una función a ambos lados de una ecuación se obtiene una ecuación válida implicación de la ecuación, pero el implicación inversa no es necesariamente válida. En términos lógicos, tenemos el esquema
$$a = b \implies f(a) = f(b)$$
para cualquier expresión $a, b$ y función/fórmula $f$ .
Ahora, si existe un inverso $f^{-1}$ de $f$ (por ejemplo, si $f$ es una suma o una resta) entonces do tienen la implicación en el otro sentido porque (por el esquema)
$$f(a) = f(b) \implies f^{-1}(f(a)) = f^{-1}(f(b))$$
y este último es el mismo que $a = b$ por la relación inversa de $f$ y $f^{-1}$ .
Pero si ese inverso no existe, no tenemos la implicación inversa.
Cuadrando
En el caso de elevar al cuadrado ecuaciones, $f$ tiene $f(a) = a^2$ . Esta función es no invertible en general (aunque lo es si ya sabemos $a > 0$ ).
Otros casos comunes
- La suma y la resta siempre tienen inversos.
- La división (por distinto de cero) siempre tiene una inversa. Si dividimos por algo que puede sea cero, podríamos sacar conclusiones no válidas.
- La multiplicación (por distinto de cero) siempre tiene una inversa. Si multiplicamos por algo que puede sea cero, puede que no sea invertible y tengamos que comprobarlo (o afirmar que no es cero).
- La exponenciación siempre tiene una inversa.
- Logaritmo (de distinto de cero) siempre tiene un inverso.
Su caso
- $\sqrt{x^2 - 1} = x - 3$
- $x^2 - 1 = x^2 + 9 - 6x$
- $x = \frac 5 3$
Ahora ciertamente 3 $\implies$ 2. Así que 3 es una solución a 2.
Pero como hemos señalado, la cuadratura no es invertible. Así que aunque 1 (nuestro objetivo) $\implies$ 2, nosotros no tienen la inversa .
Podemos escribir (abusando un poco de la notación)
1 $\implies$ 2 $\impliedby$ 3. Pero para que 3 sea una solución de 1, necesitamos 3 $\implies$ 1, que no tenemos.
Soluciones para los candidatos
En general, a menudo podemos realizar no invertible transformaciones (como tu cuadrado) para manipular hechos que conocemos (como tu ecuación objetivo) en otros hechos que podemos deducir. Si esos otros hechos están en formas familiares o fáciles (como su cuadrática agradable) puede ser un generador útil de soluciones para candidatos que de otro modo no habríamos encontrado.
Pero a menos que tengamos la implicación hacia atrás desde la solución candidata a la ecuación objetivo, no tenemos una solución. Así que he aquí una regla general (que, lo que es importante, ¡siempre funciona!):
Si las líneas de implicación entre sus ecuaciones no señalan todo el camino desde la "solución" hasta el objetivo, tiene una candidato 'solución' y hay que comprobarlo. En el razonamiento ecuacional, esto ocurre cada vez que se aplica una transformación no invertible.