TITLE: Simple inequation with $x^2$
QUESTION [2 upvotes]: I was wondering what is the mathematics operations for :
$$x^2 > 9 \iff x > 3 \vee x < -3$$
I know that we can do that :
$$x^2 - 9 > 0$$
$$(x-3) (x+3) > 0$$
So : $$x - 3 > 0 \text{ and }  x + 3 > 0$$
Or, $$x - 3 < 0 \text{ and }  x + 3 < 0$$
So the solutions are $x > 3$ or $x > -3$.
But I was wondering if there is any mathematic operation for passing for $x^2 > 9$ to the solutions, without using my solution and without telling me that this is logic, or that we have done my solution on our mide and we just put the solutions "like a robot" ?
Can you help me ? :)

REPLY [1 votes]: Here's another way of doing it
$$ x^2\gt 9 $$
$$ \sqrt{x^2}\gt \sqrt{9} $$
$$ |x|\gt 3$$
Therefore, every $x\in (-\infty, -3)\cup (3, \infty)$ is a solution.
To answer your question directly, one possible "robot" is Wolfram Alpha. However I'd suggest a pad and a pen.
{"set_name": "stack_exchange", "score": 2, "question_id": 953904}