The Inequality of arithmetic and geometric means reference article from the English Wikipedia on 24-Jul-2004 (provided by Fixed Reference: snapshots of Wikipedia from wikipedia.org)

Inequality of arithmetic and geometric means

In mathematics, the arithmetic mean of numbers x₁, ..., x_n is just what pupils are taught to call the average, i.e., it is

The geometric mean is to multiplication as the arithmetic mean is to addition. Just as adding n terms all equal to the arithmetic mean yields the sum x₁ + ... + x_n, so multiplying n factors all equal to the geometric mean yields the product x₁ ... x_n (these n numbers must be non-negative). In other words, the geometric mean is

This is the same as taking the logarithm of each of the numbers x₁, ..., x_n, finding the ordinary average of those logarithms, and then taking the antilogarithm of the resulting average. (The base of the logarithm and that of the antilogarithm must both be the same; beyond that it makes no difference which base is used.)

Table of contents

1 The inequality 2 Proofs 3 Example application

The inequality

The inequality that is our topic states simply that the geometric mean of a list of non-negative numbers is always less than or equal to their arithmetic mean, and the two means are equal if and only if the n numbers whose mean is taken are all equal to each other. In mathematical notation, if x₁, ..., x_n ≥ 0, then

and equality holds if and only if

Proofs

One way to prove this inequality is by inferring it as a corollary of Jensen's inequality. There are many other derivations.

For the case of just two numbers, a, b > 0 the statement of AM-GM is

We can prove this by noting:

by the fact that squares are non-negative. Now by expanding and adding 4ab to both sides, we get

By taking square roots of both sides and then dividing by 2 we get

The general form of the AM-GM inequality,

with equality if and only if

for a₁, ..., a_n ≥ 0, can be proved by mathematical induction.

Example application

Applying the weighted AM-GM inequality to the six terms on the right hand side, we have

Note that the right hand side is the arithmetic means of the six terms, while the left hand side is the geometric mean. Multiplying both sides by 6 and subsituting the first expression in, we have

The equality condition, or minimum, is guaranteed by AM-GM when