Difference between revisions of "Root-Mean Square-Arithmetic Mean-Geometric Mean-Harmonic mean Inequality"
Line 62: | Line 62: | ||
The inequality is clearly shown in this diagram for <math>n=2</math> | The inequality is clearly shown in this diagram for <math>n=2</math> | ||
+ | |||
+ | Desmos Sliders: | ||
+ | |||
+ | https://www.desmos.com/calculator/1tsulfqpgn | ||
{{stub}} | {{stub}} | ||
[[Category:Inequality]] | [[Category:Inequality]] | ||
[[Category:Theorems]] | [[Category:Theorems]] |
Revision as of 22:30, 15 December 2021
The Root-Mean Power-Arithmetic Mean-Geometric Mean-Harmonic Mean Inequality (RMP-AM-GM-HM) or Exponential Mean-Arithmetic Mean-Geometric Mean-Harmonic Mean Inequality (EM-AM-GM-HM), is an inequality of the root-mean power, arithmetic mean, geometric mean, and harmonic mean of a set of positive real numbers that says:
where
and
is the root mean power.
The geometric mean is the theoretical existence if the root mean power equals 0, which we couldn't calculate using radicals because the 0th root of any number is undefined when the number's absolute value is greater than or equal to 1.
The quadratic mean's root mean power is 2, the arithmetic mean's root mean power is 1, and the harmonic mean's root mean power is -1. Similarly, their is a root mean cube, or cubic mean, whose root mean power equals 3 which is
When the root mean power approaches , the mean approaches the highest number. When the root mean power reaches
, the mean approaches the lowest number.
with equality if and only if . This inequality can be expanded to the power mean inequality, and is also known as the Mean Inequality Chain.
As a consequence we can have the following inequality:
If are positive reals, then
with equality if and only if
; which follows directly by cross multiplication from the AM-HM inequality. This is extremely useful in problem solving.
The Root Mean Power is also known as the quadratic mean, and the inequality is therefore sometimes known as the QM-AM-GM-HM Inequality.
Proof
The inequality is a direct consequence of the Cauchy-Schwarz Inequality;
Alternatively, the RMS-AM can be proved using Jensen's inequality:
Suppose we let
(We know that
is convex because
and therefore
).
We have:
Factoring out the
yields:
Taking the square root to both sides (remember that both are positive):
The inequality is called the AM-GM inequality, and proofs can be found here.
The inequality is a direct consequence of AM-GM;
, so
, so
.
Therefore the original inequality is true.
Geometric Proof
The inequality is clearly shown in this diagram for
Desmos Sliders:
https://www.desmos.com/calculator/1tsulfqpgn
This article is a stub. Help us out by expanding it.