Proposition: Square of a Non-Zero Element is Positive in Ordered Fields

In any ordered field $(F,+,\cdot),$ if $x\in F$ and $x\neq 0$, then $x^2 > 0.$ If $x=0$ then $x^2=0$.

Proofs: 1

Proofs: 1


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Knauer Ulrich: "Diskrete Strukturen - kurz gefasst", Spektrum Akademischer Verlag, 2001