## Help with a basic proof

1. The problem statement, all variables and given/known data
Prove that:
if x and y are positive real numbers, then $$\frac{x+y}{2}$$ $$\geq$$ $$\sqrt{xy}$$

2. Relevant equations
N/A

3. 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)2 $$\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)2> 0
x2+2xy+y2> 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
 PhysOrg.com science news on PhysOrg.com >> Galaxies fed by funnels of fuel>> The better to see you with: Scientists build record-setting metamaterial flat lens>> Google eyes emerging markets networks
 Mentor $$(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.

 Quote by 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.
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?

Mentor

## Help with a basic proof

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

 Quote by Mark44 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).

Mentor
 Quote by The_Iceflash Isn't that what we started with though?
No, take another look at the original post in this thread.

That post started off with
 Quote by tatiana_eggs Prove that: if x and y are positive real numbers, then $$\frac{x+y}{2} \geq \sqrt{xy}$$
 Quote by The_Iceflash They got $$(x - y)^2 \geq 0$$ from (x + y)/2 >= sqrt(xy).
 Once you reach (x-y)2 $$\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)2 $$\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)2 $$\geq$$ 0 implied and how it related back to the antecedent.
 Mentor 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).
 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)2 $$\geq$$ 0 $$\vdots$$ $$\frac{x+y}{2} \geq \sqrt{xy}$$ 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.
 Mentor 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.
 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?

Mentor
 Quote by 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?
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.

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}$$
 Mentor 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)2 >= 0, for all real x and y. ==> x2 - 2xy + y2 >= 0, for all real x and y ==> x2 + 2xy + y2 >= 4xy, for all real x and y (I added 4xy to both sides). ==> (x + y)2 >= 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.
 Thank You!

Recognitions:
Gold Member
Homework Help
Science Advisor
Staff Emeritus
 Quote by tatiana_eggs Once you reach (x-y)2 $$\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.
 Quote by 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?
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.
 Thread Tools

 Similar Threads for: Help with a basic proof Thread Forum Replies General Math 1 Calculus & Beyond Homework 2 Calculus & Beyond Homework 4 Calculus & Beyond Homework 2 Linear & Abstract Algebra 3