Order of Squares in Totally Ordered Ring without Proper Zero Divisors

Theorem
Let $\left({R, +, \circ, \le}\right)$ be a totally ordered ring without proper zero divisors whose zero is $0_R$.

Let $x, y \in R$ be positive, that is, $0_R \le x, y$.

Then $x \le y \iff x \circ x \le y \circ y$.

That is, the square function is an order embedding of $\left({R_{\ge 0}, \le}\right)$ into itself.

When $R$ is one of the standard sets of numbers $\Z, \Q, \R$, then this translates into:


 * If $x, y$ are positive, then $x \le y \iff x^2 \le y^2$.

Proof
From Order of Squares in Ordered Ring, we have:


 * $x \le y \implies x \circ x \le y \circ y$

To prove the opposite implication, we use a Proof by Contradiction.

Suppose that $x \circ x \le y \circ y$ but $x \not\le y$.

Since $\le$ is a total ordering, this means $y < x$.

Since $0_R \le y$, Extended Transitivity shows that $0_R < x$, so in particular $x ≠ 0_R$.

As $\le$ is compatible with the ring structure $\left({R, +, \circ}\right)$ and $x$ and $y$ are both positive, we have:


 * $y \circ y \le y \circ x \le x \circ x$

Since we assume $x \circ x \le y \circ y$, Ordering Cycle implies Equality shows that:


 * $y \circ y = x \circ x = y \circ x$

Therefore:

Since $x \ne y$, we have that $x + \left({-y}\right) \ne 0_R$; otherwise, by the associativity of $+$, we would have $x = \left({x + \left({-y}\right)}\right) + y = y$.

We have already shown that $x \ne 0_R$.

But then $x$ and $x + \left({-y}\right)$ are proper zero divisors of $R$, contradicting the hypothesis that $R$ has no proper zero divisors.

Also see

 * Order of Squares in Ordered Ring
 * Order of Squares in Ordered Field