Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am trying to follow along on this proof of the Arithmetic-geometric mean inequality, but I pretty much crashed at a couple steps.

  • If $a_1 \leq G \leq a_n$, then why is it that $a_1 + a_n \geq \frac{a_1a_n}{G}+ G$?

  • Why do we remove $a_1$ in the induction hypothesis and put in $\frac{a_1a_n}{G}$ ?

share|cite|improve this question
Yo thanks for the edit dawg – fdkjghre May 9 '11 at 15:05
I'm neither a "Yo" nor a "dawg". – Arturo Magidin May 9 '11 at 15:10
LOL yo is a greeting and dawg is just a term of endearment mang. I'm thanking you for hookin a brotha up with an edit that made my math look supa dope! – fdkjghre May 9 '11 at 15:13
And I'm telling you that I don't find your terms of endearment particularly appealing. Kindly show your appreciation by refraining from such expressions when addressing me, or by not addressing me at all in the future. It's not funny, it's not cute, and I don't find it appreciative. – Arturo Magidin May 9 '11 at 15:15
Okay, sorry about that. I will keep my slang out of this website. – fdkjghre May 9 '11 at 15:17
  1. It is presented slightly strangely on the slide, but if $0 \lt a_1 \le G \le a_n$ then it should be simple to see that $\frac{1}{G}(G-a_1)(a_n-G) \ge 0$ and you can then multiply out and rearrange.
  2. The induction hypothesis allows you to use any $n-1$ positive terms, by its assumption
share|cite|improve this answer

The proof you linked to contains the answer to your first question. $a_1+a_n-G-\frac{a_1a_n}{G}=\frac{1}{G}(G-a_1)(a_n-G)\ge 0$ as all terms in the paranthesis are nonnegative (G is clearly non-zero since $a_1>0$). It follows that $a_1+a_n \ge G + \frac{a_1a_n}{G}$. For your second question, note that the induction hypothesis implies that the inequality in question holds for any collection of n-1 positive numbers, the n-1 numbers $a_{2},...a_{n-1},\frac{a_1a_n}{G}$ are used because it suits us to do so, in the proof.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.