Hi,

I don't know what your favourite definition of an ordered field is so i'll use this one: A field is anordered fieldif its nonzero elements can be split into two sets, and , such that contains iff contains , and is closed under addition and multiplication.

The ordering can be then defined as follows: .

so either or , but if then (since is closed under multiplication) which is a contradiction, so and .

Since is closed under addition, .

Furthermore, , because if then and since we'd get (since is closed under multiplication), a contradiction.

Now we're ready to prove a), b).

.

Similarly, .

Since was given and we know , we get . Thus and .