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 tried to combine those 2 formulas but it didn't work. I tried using another case where there are 2 red balls and 2 blue balls only so when combining the formula I got ##\frac{(4-1)!}{2!2!}=\frac{3}{2}## which does not make sense. Is there any formula to calculate cyclic permutation of identical objects or I have to do it by listing all the possibilities? Thanks
Since ##px^9+q## is the factor, then ##x^9=\frac{-q}{p}## will be one of the roots. Let ##f(x)=27x^{18}+bx^9+70##, then: $$27\left(\frac{-q}{p}\right)^2+b\left(\frac{-q}{p}\right)+70=0$$ $$b=27 \frac{q}{p}+70 \frac{p}{q}$$ $$b=\frac{27q^2+70p^2}{pq}$$ From this expression, it looks like there is no greatest value of ##b## because increasing the value of ##p## and ##q## will also increase the value of ##b##. How to find the greatest value of ##b##? Thanks
Back
Top