"Ecuación no bien formada" usando Mathematica's Solve

Question

Primera vez que usó stackOverflow. :)

Estoy tratando de usar mathematica para resolver algunas ecuaciones simplemente polinomiales (digamos en una variable) con restricciones en la variable, por ejemplo |x| < 1.

cuando intento algo como:

Solve[x^2 == 4 && x^2 < 1, x] 

me sale un error que indica que "x> 0 no es una ecuación bien formada".

La página de mathematica solve incluso sugiere esta sintaxis en su penúltimo ejemplo, así que estoy bastante confundido. (Si es relevante, tengo la versión 7.) Cualquier ayuda sería apreciada.

Gracias!

Answer 1

En Mma v 8:

{Solve[x^2 == 4 && x^2 < 1, x], 
Solve[x^2 == 4 && (-1 < x < 1), x]} 

(* 
->{{},{}} 
*) 

Answer 2

Solve se supone que no resuelve las desigualdades (M7). Puede utilizar Reduce de hacer eso:

In[2]:= Reduce[x^2 == 4 && x^2 < 1, x] 

Out[2]= False 

Aquí se muestra un ejemplo con Solve:

In[4]:= Solve[x^2 == 4 && x^4 == 16, x] 

Out[4]= {{x -> -2}, {x -> 2}}