Otros han derivado esto: si [math] \ sqrt {xa} = \ sqrt {x} -a [/ math] (y [math] a \ neq 0 [/ math]) entonces
[matemáticas] 4x = (a + 1) ^ 2 [/ matemáticas].
Pero la implicación no va para otro lado, [matemática] x [/ matemática] y [matemática] a [/ matemática] satisfactoria [matemática] 4x = (a + 1) ^ 2 [/ matemática]
Es posible que no resuelva el enunciado del problema. Entonces, para completar el análisis, tomemos [math] x [/ math] y [math] a [/ math] para lo cual:
[matemáticas] 4x = (a + 1) ^ 2 [/ matemáticas]
y, en aras de la precisión, asumiremos que [math] x [/ math] y [math] a [/ math] son números reales (no complejos, por ejemplo). Veremos qué restricciones adicionales puede haber en [matemáticas] x [/ matemáticas] y [matemáticas] a [/ matemáticas] para satisfacer la ecuación original.
Con estos valores de [math] x [/ math] y [math] a [/ math] ¿qué es [math] \ textrm {LHS} = \ sqrt {xa} [/ math]?
Sustituyendo en nuestra expresión [math] x [/ math] resulta ser [math] \ pm \ frac {(a-1)} {2} [/ math], y tenemos que elegir el signo para hacerlo positivo (porque [math] \ sqrt {x} [/ math] significa la raíz cuadrada positiva de [math] x [/ math]).
Y luego [math] \ textrm {RHS} = \ sqrt {x} – a [/ math] que “reduce” a [math] \ pm \ frac {(a + 1)} {2} – a [/ math] , donde, nuevamente, y por las mismas razones, se elige el signo para que el término ([matemática] a + 1 [/ matemática]) sea positivo.
Estos son casi iguales, siempre que los signos se elijan correctamente, y esto, a su vez, depende del valor de [math] a [/ math].
Quiero verificar sistemáticamente los casos, así que quiero saber qué valores de [matemática] a [/ matemática] cambian las opciones de más o menos. La expresión LHS cambia cuando [math] a = 1 [/ math], y la RHS cambia cuando [math] a = -1 [/ math]. Entonces consideramos estos casos:
- [matemáticas] a <-1 [/ matemáticas]:
nos vemos obligados a elegir el signo negativo en ambos lugares, y así
[matemáticas] \ textrm {LHS} = \ frac {(1-a)} {2} \ neq – \ frac {3a} {2} – 1 = \ textrm {RHS} [/ math]. No hay soluciones aquí.
- [matemáticas] a = -1 [/ matemáticas]:
vemos [matemáticas] \ textrm {LHS} = \ textrm {RHS} = 1 [/ matemáticas]. ¡Una solución!
entonces: [matemática] \ textrm {LHS} = – \ frac {(a-1)} {2} = \ frac {(a + 1)} {2} – a = \ textrm {RHS} [/ math]. Muchas soluciones!
- [matemáticas] a = 1 [/ matemáticas]:
tenemos [math] \ textrm {LHS} = 0 = 1-1 = \ textrm {RHS} [/ math]. ¡Otra solución!
y, finalmente, [math] \ textrm {LHS} = \ frac {(a-1)} {2} \ neq \ frac {(1-a)} {2} = \ textrm {RHS} [/ math]. No mas soluciones.
Así que terminamos con [math] \ sqrt {xa} = \ sqrt {x} -a [/ math] si (y solo si) al menos uno de los siguientes es verdadero:
- [matemáticas] a = 0 [/ matemáticas] y [matemáticas] x \ geq 0 [/ matemáticas], o
- [matemáticas] -1 \ leq a \ leq 1 [/ matemáticas] y [matemáticas] x = \ frac {(a + 1) ^ 2} {4} [/ matemáticas].
Y eso, creo, es eso.