3
$\begingroup$

How to get true when introducing the expression $x^2 \geq 0$ in mathematica ? how do I specify that x is real ?

GreaterEqual[x^2, 0, Element[x, Reals]]
$\endgroup$
5
  • 3
    $\begingroup$ Simplify[x^2 >= 0, Element[x, Reals]] or Refine[ x^2 >= 0, Element[x, Reals]]? $\endgroup$ – kglr Apr 1 at 21:45
  • 3
    $\begingroup$ also Assuming[ Element[x, Reals], Simplify[ x^2 >= 0]] and Assuming[ Element[x, Reals], Refine[ x^2 >= 0]] $\endgroup$ – kglr Apr 1 at 21:48
  • $\begingroup$ Post the Mathematica code is better than the LaTeX code. $\endgroup$ – cvgmt Apr 1 at 23:18
  • 2
    $\begingroup$ Resolve[ForAll[x,x^2>=0],Reals] produces True. $\endgroup$ – user64494 Apr 2 at 4:50
  • $\begingroup$ Thanks, @kglr please put the comment in a response so that I can validate it as a solution. $\endgroup$ – ZchGarinch Apr 5 at 9:20
3
$\begingroup$
Simplify[x^2 >= 0, Element[x, Reals]]

Refine[ x^2 >= 0, Element[x, Reals]]

Assuming[ Element[x, Reals], Simplify[ x^2 >= 0]]

Assuming[ Element[x, Reals], Refine[ x^2 >= 0]]

all give True.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.