Difference between revisions of "Power Mean Inequality"

(category)
(correct)
Line 1: Line 1:
 
The '''Power Mean Inequality''' is a generalized form of the multi-variable [[Arithmetic Mean-Geometric Mean]] Inequality.
 
The '''Power Mean Inequality''' is a generalized form of the multi-variable [[Arithmetic Mean-Geometric Mean]] Inequality.
  
 +
== Inequality ==
 
For a [[real number]] <math>k</math> and [[positive]] real numbers <math>a_1, a_2, \ldots, a_n</math>, the <math>k</math>''th power mean'' of the <math>a_i</math> is
 
For a [[real number]] <math>k</math> and [[positive]] real numbers <math>a_1, a_2, \ldots, a_n</math>, the <math>k</math>''th power mean'' of the <math>a_i</math> is
  
Line 6: Line 7:
 
M(k) = \left( \frac{\sum_{i=1}^n a_{i}^k}{n} \right) ^ {\frac{1}{k}}
 
M(k) = \left( \frac{\sum_{i=1}^n a_{i}^k}{n} \right) ^ {\frac{1}{k}}
 
</cmath>
 
</cmath>
when <math>k \neq 0</math> and is given by the [[geometric mean]] of the  
+
when <math>k \neq 0</math> and is given by the [[geometric mean]] of the <math>a_i</math> when <math>k = 0</math>.
<math></math>a_i<math> when </math>k = 0<math></math>.
 
 
 
== Inequality ==
 
  
 
For any [[finite]] [[set]] of positive reals, <math>\{a_1, a_2, \ldots, a_n\}</math>, we have that <math>a < b</math> implies <math>M(a) \leq M(b)</math> and [[equality condition|equality]] holds if and only if <math>a_1 = a_2 = \ldots = a_n</math>.
 
For any [[finite]] [[set]] of positive reals, <math>\{a_1, a_2, \ldots, a_n\}</math>, we have that <math>a < b</math> implies <math>M(a) \leq M(b)</math> and [[equality condition|equality]] holds if and only if <math>a_1 = a_2 = \ldots = a_n</math>.

Revision as of 15:57, 9 October 2007

The Power Mean Inequality is a generalized form of the multi-variable Arithmetic Mean-Geometric Mean Inequality.

Inequality

For a real number $k$ and positive real numbers $a_1, a_2, \ldots, a_n$, the $k$th power mean of the $a_i$ is

\[M(k) = \left( \frac{\sum_{i=1}^n a_{i}^k}{n} \right) ^ {\frac{1}{k}}\] when $k \neq 0$ and is given by the geometric mean of the $a_i$ when $k = 0$.

For any finite set of positive reals, $\{a_1, a_2, \ldots, a_n\}$, we have that $a < b$ implies $M(a) \leq M(b)$ and equality holds if and only if $a_1 = a_2 = \ldots = a_n$.

The Power Mean Inequality follows from the fact that $\frac{\partial M(t)}{\partial t}\geq 0$ together with Jensen's Inequality.

This article is a stub. Help us out by expanding it.