how do I prove that $1 > 0$ in an ordered field?
If $1<0$ then $-1>0$, hence $1=(-1)\cdot(-1)>0$.
You can use the trivial inequality $x^2 > 0$ for all $x\neq 0$. Prove this fact and use it to prove $1 >0$.
If $1<0$ then $-1>0$, hence $1=(-1)\cdot(-1)>0$.
You can use the trivial inequality $x^2 > 0$ for all $x\neq 0$. Prove this fact and use it to prove $1 >0$.