Homework #6 Notes
Homework #6 Notes
Homework #6 Notes
3.2.3.e Claim: If and , then > .
Proof: By (O1) we know that exactly one of > 0, = 0, < 0 is the case. Since
we are assuming 0, we are left with the two cases > 0 and < 0.
Case 1: > 0.
We multiply both sides of the inequality > 0 by (axiom (O4) is applicable
since > 0) to get
>0
By Theorem 2.2.b we have 0 = 0. Also, 2 = is a definition. So we get
2 > 0
as required.
Case 2: < 0.
By Theorem 2.2.g we can multiply both sides of the inequality < 0 with the
negative number , and the sign will turn around:
>0
which gives, as above,
2 > 0
3.2.3.k If > , then either (i) > and > , or (ii) < and < .
Proof: Since > 0, by (O1) we know that 0, and by Theorem 2.2.e it
follows 0 and 0.
Case (i): > 0
By problem 3.i we then know > 0 and we can use (O4) to multiply both sides of
> 0 by to get
1
1
() > 0
1
( ) > 0
1>0
>0
( (3), 2.2. )
( (5))
( (4))
By problem 3.i we know < 0 and by Thm 2.2.g we can multiply both sides of
1
1
1
() < 0
1
( ) < 0
1<0
<0
( (3), 2.2. )
( (5))
( (4))
[Here is a clean proof for the claim that < for > 0: We know 0 < 1 by
2
Problem 3.2.3.f; adding 1 to both sides (O3) gives 1 < 2. We know > 0 by
2
Problem 3.2.3.i and multiplying both sides of 1 < 2 with the positive number
1
2
gives
1
1
1
<2
2
2
1
<1
2
1
<1
2
<
2
( (4))
( (4), (5))
( (4), > 0)
( (4))