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
    Commented Apr 1, 2021 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
    Commented Apr 1, 2021 at 21:48
  • $\begingroup$ Post the Mathematica code is better than the LaTeX code. $\endgroup$
    – cvgmt
    Commented Apr 1, 2021 at 23:18
  • 2
    $\begingroup$ Resolve[ForAll[x,x^2>=0],Reals] produces True. $\endgroup$
    – user64494
    Commented Apr 2, 2021 at 4:50
  • $\begingroup$ Thanks, @kglr please put the comment in a response so that I can validate it as a solution. $\endgroup$
    – ZchGarinch
    Commented Apr 5, 2021 at 9:20

1 Answer 1

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.