AM-GM Inequality: Prove 0 <= A <= B

  • Thread starter Thread starter SolidSnake
  • Start date Start date
  • Tags Tags
    Inequality
AI Thread Summary
The discussion focuses on proving the AM-GM inequality, specifically demonstrating that 0 <= A <= B and the relationships involving the geometric mean and arithmetic mean. Participants explore how to show that A is less than or equal to the square root of AB and that this square root is less than or equal to (A + B)/2, which is in turn less than or equal to B. One user successfully outlines a proof for the arithmetic mean component but struggles with the geometric mean part, particularly with the expression involving (B - A)². Another user clarifies that since (B - A)² is non-negative, it leads to the conclusion that A² + 2AB >= 2AB, helping to illuminate the proof process. The conversation concludes with a sense of clarity and progress in understanding the inequality.
SolidSnake
Messages
17
Reaction score
0

Homework Statement


Show that:
0 <= A <= B

A \leq \sqrt{AB} \leq (A + B)/ 2 \leq B

Homework Equations


root AB = geometric mean
(A + B)/ 2 = arithmetic mean

<= means less then or equal to.

The Attempt at a Solution



I managed to come up with something for the (A + B)/ 2 part.

a < = (a+a)/2 <= (a+b)/2 <= (b+b)/2 <= b

that shows that (a+b)/2 is less then b but greater then a. i can't figure out how to show that with root ab.

Any help would be great!
 
Last edited:
Physics news on Phys.org


Hint: What do you know about (B - A)^2 ?
 


i added something i forgot to mention earlier.

(B-A)^2 = B^2 -2ab + A^2
Assuming that (B-A)^2 = 0
And if i were to rearrange it i'd get B^2 +A^2 = 2ab
And then if divided the 2 and took the root i'd be left with B+A/root 2 = root AB

That root 2 is still throwing me off tho. :S
 


SolidSnake said:
i added something i forgot to mention earlier.

(B-A)^2 = B^2 -2ab + A^2
Assuming that (B-A)^2 = 0
And if i were to rearrange it i'd get B^2 +A^2 = 2ab
And then if divided the 2 and took the root i'd be left with B+A/root 2 = root AB

That root 2 is still throwing me off tho. :S
Why the equality? Since C^2 >= 0 for all C, we know that (B - A)^2 >= 0.
So as you arranged it, we have B^2 + A^2 >= 2AB
That is equivalent to A^2 + 2AB + B^2 >= 2AB + 2AB = 4AB.
Can you see where to go from here?
 


:O the light bulb just went on. Thanks a lot :).
 
I picked up this problem from the Schaum's series book titled "College Mathematics" by Ayres/Schmidt. It is a solved problem in the book. But what surprised me was that the solution to this problem was given in one line without any explanation. I could, therefore, not understand how the given one-line solution was reached. The one-line solution in the book says: The equation is ##x \cos{\omega} +y \sin{\omega} - 5 = 0##, ##\omega## being the parameter. From my side, the only thing I could...
Back
Top