Hay (por lo menos) dos maneras de interpretar las "raíces extranjeras".
Una es que las raíces se relacionan con un contexto físico. En ese escenario, no es necesariamente el caso que haya alguna raíz "real" en absoluto, real aquí se refiere no a si es un número complejo (involucrando $i$, la raíz cuadrada de $-1$), sino si encaja en el contexto físico. A menudo, es simplemente negativo, y debido a que la variable está modelando un número no negativo (por ejemplo, el número de libros en una pila), la raíz se considera extranjera.
Si, por ejemplo, una ecuación cuadrática tiene dos raíces, y ninguna de ellas encaja en el contexto físico, entonces ambas son extranjeras, y no hay soluciones "reales" en absoluto. Eso simplemente significa que las restricciones del problema no pueden cumplirse.
Otra manera de interpretar las "raíces extranjeras" se refiere específicamente a raíces desarrolladas debido a una transformación no invertible de alguna ecuación original. (Elevar al cuadrado es el ejemplo más común de esta transformación, como tú señalas). En qué circunstancias esto sucede y cuáles son sus implicaciones es un conjunto diferente de preguntas.
No se garantiza que haya una raíz no extranjera, sin embargo. Considera lo que sucede cuando se eleva al cuadrado ambos lados de
$$ -|x| = \sqrt{2x^2-1} $$
Uno obtiene
$$ x^2 = 2x^2-1 $$
o
$$ x^2-1 = 0 $$
que claramente tiene las raíces $x = \pm 1$, pero ninguna de esas es una raíz de la ecuación original.
0 votos
¿Qué quieres decir con "extrenos"? ¿Quieres decir como raíces complejas o reales? ¿Y te refieres a preguntar solo acerca de polinomios cuadráticos, o acerca de polinomios de todos los grados?
0 votos
Probablemente no debería haber usado la palabra real... Me refiero a las raíces de una ecuación que no son soluciones verdaderas. Como en álgebra de la escuela secundaria; si elevas al cuadrado ambos lados de una ecuación, es posible que termines con un valor de x que no es una solución verdadera. El ejemplo que di y el problema que estoy analizando es una ecuación cuadrática sí, pero imagino que la misma lógica se aplicaría a un polinomio de grado arbitrario
0 votos
Ah; en ese caso, si sabes que hay una respuesta (es decir, si lanzo esta pelota en el aire, definitivamente eventualmente caerá), entonces si todas menos una de las raíces son absurdas, la raíz restante debería tener sentido. (Si no lo tiene, es una buena indicación de que no has hecho algo bien)
0 votos
No hay ningún contexto físico en el problema, así que no SÉ si hay una respuesta. Sin embargo, pensé que si tenías dos raíces y una era extranjera, entonces la otra no debía serlo, pero parece que estoy equivocado (ver respuesta abajo). ¡Gracias!
0 votos
Si tienes entonces tienes $\forall x (F(x)=0 \to G(x)=0)$ entonces tienes $ \{x :F(x)=0\}\subset \{x: G(x)=0\}$. Esto no es suficiente para inferir que $\exists x (F(x)=0)$.
1 votos
¿Esta respuesta responde a tu pregunta? ¿Cuándo obtenemos raíces extranjeras?