Prove the following (using some basic axioms)

[KingCalc]

Homework Statement

Prove that if 0 < a < b, then

a &lt; \sqrt{ab} &lt; \frac{a+b}{2} &lt; b

Homework Equations

Axioms (Properties), courtesy of Wikipedia:

Addition:
P1: For all a, b, and c in F, a + (b + c) = (a + b) + c
P2: There exists an element of F, called the additive identity element and denoted by 0, such that for all a in F, a + 0 = a
P3: For every a in F, there exists an element −a in F, such that a + (−a) = 0
P4: For all a and b in F, a + b = b + a

Multiplication:
P5: For all a, b, and c in F, a · (b · c) = (a · b) · c
P6: There exists an element of F, called the multiplicative identity element and denoted by 1, such that for all a in F, a · 1 = a
P7: For any a in F other than 0, there exists an element a^(−1) in F, such that a · a^(−1) = 1
P8: For all a and b in F, a · b = b · a
P9: For all a, b and c in F, the following equality holds: a · (b + c) = (a · b) + (a · c)

The Attempt at a Solution

I really just don't know what to do. A small push in the right direction could make all the difference. Thanks to anyone that replies and helps.

 

[snipez90]

Go through each inequality one at a time. The ordered field axioms (and consequences) are important here. The idea is to take one inequality, say (a+b)/2 < b, and perform algebra until you can see why the statement has to be true (first multiply both sides by 2, etc.). Although this may seem like taking the conclusion to be true, if you can reverse your steps so that you start with the true statement and end with the inequality you want to prove (you can usually do this if it's basic algebra and there's no loss of information between steps), then you have a rigorous proof.

 

[KingCalc]

Go through each inequality one at a time. The ordered field axioms (and consequences) are important here. The idea is to take one inequality, say (a+b)/2 < b, and perform algebra until you can see why the statement has to be true (first multiply both sides by 2, etc.). Although this may seem like taking the conclusion to be true, if you can reverse your steps so that you start with a true statement and end with the inequality you want to prove (you can usually do this if it's basic algebra and there's no loss of information between steps), then you have a rigorous proof.

I was in the midst of doing that, but wasn't sure if I was allowed to say

"since a &lt; b, a^{2} &lt; a \cdot b

similarly, \sqrt{a^{2}} &lt; \sqrt{a \cdot b} "On top of that, I get stuck when trying to prove the "middle" part: \sqrt{ab} &lt; \frac{a+b}{2}

 

[snipez90]

Sure you can, provided that you have proved that x^2 < y^2 implies x < y if x and y are both positive. If you're using the textbook I think you're using, you should have proved this fact already, even though technically you probably haven't shown that square roots actually exist (which is fine at this point).

For the middle part, see if you can multiply by 2, square, bring everything to one side, and factor, and make you all your steps are reversible.

 

[Gregg]

Suppose

\frac{a+b}{2} &lt; \sqrt{ab}

\Rightarrow (a+b)^2 &lt; 4ab

\Rightarrow (a+b)^2-4ab &lt; 0

\Rightarrow a^2 -2ab +b^2 &lt; 0

\Rightarrow (a-b)^2&lt;0

Which is not possible for real a and b.