<?xml version="1.0" encoding="UTF-8"?>

<record version="5" id="25">
 <title>arithmetic-geometric-harmonic means inequality</title>
 <name>ArithmeticGeometricMeansInequality</name>
 <created>2001-08-18 00:48:28</created>
 <modified>2004-06-05 22:23:00</modified>
 <type>Theorem</type>
 <creator id="3" name="drini"/>
 <author id="3" name="drini"/>
 <classification>
	<category scheme="msc" code="26D15"/>
 </classification>
 <synonyms>
	<synonym concept="arithmetic-geometric-harmonic means inequality" alias="harmonic-geometric-arithmetic means inequality"/>
	<synonym concept="arithmetic-geometric-harmonic means inequality" alias="arithmetic-geometric means inequality"/>
	<synonym concept="arithmetic-geometric-harmonic means inequality" alias="AGM inequality"/>
	<synonym concept="arithmetic-geometric-harmonic means inequality" alias="AGMH inequality"/>
 </synonyms>
 <related>
	<object name="ArithmeticMean"/>
	<object name="GeometricMean"/>
	<object name="HarmonicMean"/>
	<object name="GeneralMeansInequality"/>
	<object name="WeightedPowerMean"/>
	<object name="PowerMean"/>
	<object name="RootMeanSquare3"/>
	<object name="ProofOfGeneralMeansInequality"/>
	<object name="JensensInequality"/>
	<object name="DerivationOfHarmonicMeanAsTheLimitOfThePowerMean"/>
	<object name="MinimalAndMaximalNumber"/>
	<object name="ProofOfArithmeticGeometricMeansInequalityUsingLagrangeMultipliers"/>
	<object name="ComparisonOfPythagoreanMeans"/>
	<object name="HeronianMeanIsBetweenGeometricAndArithmeticMean"/>
 </related>
 <keywords>
	<term>inequality</term>
	<term>mean</term>
	<term>arithmetic mean</term>
	<term>geometric mean</term>
	<term>harmonic mean</term>
 </keywords>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}</preamble>
 <content>Let $x_1,x_2,\ldots,x_n$ be positive numbers. 
Then
\begin{eqnarray*}
\max\{x_1,x_2,\ldots,x_n\} &amp;\ge&amp; \frac{x_1+x_2+\cdots+x_n}{n}\\
&amp;\ge&amp; \sqrt[n]{x_1 x_2\cdots x_n} \\
&amp;\ge&amp; \frac{n}{\frac{1}{x_1}+\frac{1}{x_2}+\cdots+\frac{1}{x_n}}\\
&amp;\ge&amp; \min\{x_1,x_2,\ldots,x_n\}
\end{eqnarray*}

The equality is obtained if and only if $x_1=x_2=\cdots = x_n$.

There are several generalizations to this inequality using power means and weighted power means.</content>
</record>
