Proving the Inequality: (x+y)/2 ≥ √xy for Positive Real Numbers x and y

[tatiana_eggs]

Homework Statement

Prove that:
if x and y are positive real numbers, then \frac{x+y}{2} \geq \sqrt{xy}

Homework Equations

N/A

The Attempt at a Solution

I worked backwards as the book suggested and started with my consequent:
\frac{x+y}{2} \geq \sqrt{xy}
and played around algebraically and came up with
(x-y)² \geq 0

... Now what do I do? I thought about starting a direct proof:
Assume x> 0 and y> 0
then x + y > 0
(x+y)²> 0
x²+2xy+y²> 0

and try to get my consequent, but I'm kind of stuck at this point.

If a direct proof is a good option, can you give me a hint as to the next step? Should I try another proof method?

Thanks

 

[Mark44]

(x - y)^2 \geq 0
\Leftrightarrow x^2 - 2xy + y^2 \geq 0
\Leftrightarrow x^2 + y^2 \geq 2xy

Because x and y are given as positive numbers,
(x + y)^2 \geq x^2 + y^2

The rest follows pretty easily.

 

[The_Iceflash]

(x - y)^2 \geq 0
\Leftrightarrow x^2 - 2xy + y^2 \geq 0
\Leftrightarrow x^2 + y^2 \geq 2xy

Because x and y are given as positive numbers,
(x + y)^2 \geq x^2 + y^2

The rest follows pretty easily.

Ok. I understand the above and this but does this conclude the proof? If not, where should I go from there and what should I be trying to reach?

 

[Mark44]

You want to reach (x + y)/2 >= sqrt(xy).

 

[The_Iceflash]

You want to reach (x + y)/2 >= sqrt(xy).

Isn't that what we started with though?

They got (x - y)^2 \geq 0 from (x + y)/2 >= sqrt(xy).

 

[Mark44]

Isn't that what we started with though?

No, take another look at the original post in this thread.

That post started off with

Prove that:
if x and y are positive real numbers, then \frac{x+y}{2} \geq \sqrt{xy}

They got (x - y)^2 \geq 0 from (x + y)/2 >= sqrt(xy).

 

[tatiana_eggs]

Once you reach (x-y)² \geq 0 from the consequent, you can conclude your proof with the thought, "since the square of any real number (or the square of the difference of two real numbers greater than zero) will always be greater than or equal to zero, then for all x>0, y>0 \in R, the consequent is true"

or something like that. I'm not sure how an elegant proof would word that, or how wordy of a proof your professor likes. You could just end the proof with (x-y)² \geq 0 and be done with it, and hope your audience understands the thought. I know it took me a while to realize what (x-y)² \geq 0 implied and how it related back to the antecedent.

 

[Mark44]

Just in case anyone is confused here (I am, since there seem to be two people asking about this one problem), the work I showed in post #2 is not working backwards from anything. It is a direct proof of the statement that: if x and y are positive, then (x + y)/2 >= sqrt(xy).

 

[tatiana_eggs]

I get you, Mark, I see now that you started with the antecedent:

x>0 y>0
iff x-y \geq 0
iff (x-y)² \geq 0

\vdots

<br /> \frac{x+y}{2} \geq \sqrt{xy}<br />

It was not apparent to me at first, being a beginner and all. But I totally get it now, thanks so much! :)

So really the obnoxious thought was not needed at all since it was a direct proof.

 

[Mark44]

You don't need, and shouldn't have "iff x - y >= 0." That is not information that is given or that you should assume.

Start with (x - y)^2 >= 0. That is true for all real x and y, regardless of whether x > y, x < y, or x = y.

 

[The_Iceflash]

Ok so let me get this straight, first I go from \frac{x + y}{2} \geq \sqrt{xy} to \left(x-y\right)^{2} \geq 0 algebraically. Then I go from \left(x-y\right)^{2} \geq 0 to \left(x+y\right)^{2} \geq x^{2} + y^{2} and the inequality \left(x+y\right)^{2} \geq x^{2} + y^{2} proves that if x and y are positive real numbers, then \frac{x + y}{2} \geq \sqrt{xy}. Correct?

 

[Mark44]

Ok so let me get this straight, first I go from \frac{x + y}{2} \geq \sqrt{xy} to \left(x-y\right)^{2} \geq 0 algebraically. Then I go from \left(x-y\right)^{2} \geq 0 to \left(x+y\right)^{2} \geq x^{2} + y^{2} and the inequality \left(x+y\right)^{2} \geq x^{2} + y^{2} proves that if x and y are positive real numbers, then \frac{x + y}{2} \geq \sqrt{xy}. Correct?

No, no, no! You're trying to conclude (i.e., end up with) that (x + y)/2 >= sqrt(xy)! What you are doing is called circular logic, where you assume something is true, wave your arms for a while, then conclude with what you originally assumed.

You are given that x and y are real nonnegative numbers.

You then note that for all real x and y,
(x - y)^2 \geq 0
\Leftrightarrow x^2 - 2xy + y^2 \geq 0
\Leftrightarrow x^2 + y^2 \geq 2xy

We also know that, since x and y are nonnegative,
(x + y)^2 \geq x^2 + y^2

From this we can conclude that
(x + y)^2 \geq x^2 + y^2 \geq 2xy

Or, finally, that
\frac{x + y}{2} \geq \sqrt{xy}

I laid most of this out all the way back in post #2 . Tatiana apparently got it, but you must not have.

 

[The_Iceflash]

Thank you for both being patient and being very helpful. I really appreciate it. There's just one more thing I'm having trouble seeing but it's rather small:

From this we can conclude that
(x + y)^2 \geq x^2 + y^2 \geq 2xy

Or, finally, that
\frac{x + y}{2} \geq \sqrt{xy}

I know this question is a bit elementary but when I divide by 2 and square root both sides I'm getting \frac{\left(x+y\right)}{\sqrt{2}} instead of \frac{x + y}{2}

 

[Mark44]

Good eye! That was a detail that I overlooked.

Starting from scratch...
W are given that x and y are real and nonnegative.
(x - y)² >= 0, for all real x and y.
==> x² - 2xy + y² >= 0, for all real x and y
==> x² + 2xy + y² >= 4xy, for all real x and y (I added 4xy to both sides).
==> (x + y)² >= 4xy, for all real x and y.
==> x + y >= 2sqrt(xy) Since x and y are nonnegative, I can take the square root of their product and get a real number.
==> (x + y)/2 >= sqrt(xy) QED

There's a geometric interpretation to this. Given any rectangle, the average of the length and width of the rectangle is always greater than or equal to the square root of the product. It can be proven that equality happens only when the length and width are equal.

 

[The_Iceflash]

Thank You!

 

[vela]

Once you reach (x-y)² \geq 0 from the consequent, you can conclude your proof with the thought, "since the square of any real number (or the square of the difference of two real numbers greater than zero) will always be greater than or equal to zero, then for all x>0, y>0 \in R, the consequent is true"

This isn't generally true. You can't start with a statement you're trying to prove, follow a bunch of logically correct steps, end up with a true statement, and therefore conclude that the original statement is true. It's a common mistake of logic students make when first learning to write proofs.

Ok so let me get this straight, first I go from \frac{x + y}{2} \geq \sqrt{xy} to \left(x-y\right)^{2} \geq 0 algebraically. Then I go from \left(x-y\right)^{2} \geq 0 to \left(x+y\right)^{2} \geq x^{2} + y^{2} and the inequality \left(x+y\right)^{2} \geq x^{2} + y^{2} proves that if x and y are positive real numbers, then \frac{x + y}{2} \geq \sqrt{xy}. Correct?

The book suggests working backward only to give you an idea as to how write the direct proof. Once you see how to turn the original statement into something more familiar, you can try reversing the steps, using the givens as necessary to do this, to write the direct proof.