Using Area to Prove the Arithmetic-Geometric Mean Inequality
If we have real numbers and , we call the arithmetic mean (AM) and the geometric mean (GM) of and . In this post, we are going to examine the relationship of these two means.
To start off, let’s have a few examples. If and , then and ; if and , then and ; if and , then and . What do you observe? Try a few example and see if your observations hold.
From a few examples above, and from your trials, you have probably observed that which means that for some positive real numbers and . This is actually true for all positive real numbers and . In the following discussion, we are going to use the concept of area to prove that the statement is true.
To begin the proof, we construct a square with side length made up of four rectangles and a square at the center (technically, a square is also a rectangle). Clearly, the area of each of the four rectangles is , and the square at the center has are (Can you see why?). If we remove the square at the center, the remaining area is represented by the equation . Note that is the total area of the four rectangles.
If we partition the large square into four (see figure below), each square will have side length and area . Notice that the remaining blue region on the lower-right square partition can be placed on the red region in the upper-right square partition since they are congruent (Can you prove it?). This results to the figure on the right. Since we did not remove anything from the blue region, the area of the blue region is equal to the area of the original rectangle which is .
Clearly, the area of the blue region on the right is less than the area of the square partition. Therefore,
Getting the square root of both sides, we have . However, if we let , then and . So if , the .
Therefore, we have two cases:
- if , .
- if ,
These statements prove the statement above: For all positive real numbers and , .