Inegalitatea mediilor

În matematică inegalitatea mediilor afirmă că media aritmetică a unei liste de numere reale nenegative este mai mare sau egală cu media geometrică a aceleiași liste. În plus, că cele două medii sunt egale dacă și numai dacă toate numerele din listă sunt același (caz în care ambele medii sunt acel număr). Teorema se poate generaliza și pentru alte medii.

Fie numerele reale strict pozitive: ${\displaystyle \ a}$, ${\displaystyle \ b}$, ${\displaystyle \ x_{1}}$, ${\displaystyle \ x_{2}}$, ...,${\displaystyle \ x_{n}}$, pentru care există formulele :

• Media aritmetică a numerelor ${\displaystyle \ a}$ și ${\displaystyle \ b}$ este ${\displaystyle \ m_{a}}$ = ${\displaystyle {a+b} \over 2}$.
  • Generalizare: Media aritmetică a numerelor ${\displaystyle \ x_{1}}$, ${\displaystyle \ x_{2}}$, ...,${\displaystyle \ x_{n}}$ este ${\displaystyle \ m_{a}}$ = ${\displaystyle {x_{1}+x_{2}+...+x_{n}} \over n}$.
• Media armonică a numerelor ${\displaystyle \ a}$ și ${\displaystyle \ b}$ este ${\displaystyle \ m_{h}}$ = ${\displaystyle 2 \over {{1 \over a}+{1 \over b}}}$.
  • Generalizare: Media armonică a numerelor ${\displaystyle \ x_{1}}$, ${\displaystyle \ x_{2}}$, ...,${\displaystyle \ x_{n}}$ este ${\displaystyle \ m_{h}}$ = ${\displaystyle n \over {{1 \over x_{1}}+{1 \over x_{2}}+...+{1 \over x_{n}}}}$.
• Media geometrică a numerelor ${\displaystyle \ a}$ și ${\displaystyle \ b}$ este ${\displaystyle \ m_{g}}$ = ${\displaystyle {\sqrt {a\cdot b}}}$.
  • Generalizare: Media geometrică a numerelor ${\displaystyle \ x_{1}}$, ${\displaystyle \ x_{2}}$, ...,${\displaystyle \ x_{n}}$ este ${\displaystyle \ m_{g}}$ = ${\displaystyle {\sqrt[{n}]{x_{1}\cdot x_{2}\cdot ...\cdot x_{n}}}}$.
• Media pătratică a numerelor ${\displaystyle \ a}$ și ${\displaystyle \ b}$ este ${\displaystyle \ m_{p}}$ = ${\displaystyle {\sqrt {{a^{2}+b^{2}} \over 2}}}$.
  • Generalizare: Media pătratică a numerelor ${\displaystyle \ x_{1}}$, ${\displaystyle \ x_{2}}$, ...,${\displaystyle \ x_{n}}$ este ${\displaystyle \ m_{p}}$ = ${\displaystyle {\sqrt {{x_{1}^{2}+x_{2}^{2}+...+x_{n}^{2}} \over n}}}$.

Mediile armonică, geometrică, aritmetică și pătratică se află între a și b. Egalitatea se obține dacă a = b.

${\displaystyle \min(a,b)\leq m_{h}\leq m_{g}\leq m_{a}\leq m_{p}\leq \max(a,b)}$

${\displaystyle \min(x_{1},x_{2},...,x_{n})\leq m_{h}\leq m_{g}\leq m_{a}\leq m_{p}\leq \max(x_{1},x_{2},...,x_{n})}$

${\displaystyle \min(x_{1},x_{2},...,x_{n})\leq {n \over {{1 \over x_{1}}+{1 \over x_{2}}+...+{1 \over x_{n}}}}\leq {\sqrt[{n}]{x_{1}\ x_{2}\ ...\ x_{n}}}\leq {{x_{1}+x_{2}+...+x_{n}} \over n}\leq {\sqrt {{x_{1}^{2}+x_{2}^{2}+...+x_{n}^{2}} \over n}}\leq \max(x_{1},x_{2},...,x_{n})}$

Egalitatea se obține pentru x₁ = x₂ = ... = x_n. Este atribuită lui Augustin Louis Cauchy.

Fie  ${\displaystyle a_{1},a_{2},\cdots ,a_{n};\;\lambda _{1},\lambda _{2},\cdots ,\lambda _{n}\in \mathbb {R} _{+}.}$  Atunci:

${\displaystyle \left(a_{1}^{\lambda _{1}}\cdot a_{2}^{\lambda _{2}}\cdot \cdots \cdot a_{n}^{\lambda _{n}}\right)^{\frac {1}{\lambda _{1}+\lambda _{2}+\cdots +\lambda _{n}}}\leq {\frac {\lambda _{1}a_{1}+\lambda _{2}a_{2}+\cdots +\lambda _{n}a_{n}}{\lambda _{1}+\lambda _{2}+\cdots +\lambda _{n}}}.}$

Demonstrație.

Fie funcția  ${\displaystyle f:\mathbb {R} _{+}\to \mathbb {R} ,\;f(x)=\ln x.}$  Deoarece  ${\displaystyle f''(x)<0,\;(\forall )x\in \mathbb {R} _{+},}$  funcția f este concavă și deci:

${\displaystyle \ln {\frac {\lambda _{1}a_{1}+\lambda _{2}a_{2}+\cdots +\lambda _{n}a_{n}}{\lambda _{1}+\lambda _{2}+\cdots +\lambda _{n}}}\geq {\frac {\lambda _{1}\ln a_{1}+\lambda _{2}\ln a_{2}+\cdots +\lambda _{n}\ln a_{n}}{\lambda _{1}+\lambda _{2}+\cdots +\lambda _{n}}}=}$

${\displaystyle ={\frac {\ln a_{1}^{\lambda _{1}}+\ln a_{2}^{\lambda _{2}}+\cdots +\ln a_{n}^{\lambda _{n}}}{\lambda _{1}+\lambda _{2}+\cdots +\lambda _{n}}}=\ln \left(a_{1}^{\lambda _{1}}\cdot a_{2}^{\lambda _{2}}\cdot \cdots \cdot a_{n}^{\lambda _{n}}\right)^{\frac {1}{\lambda _{1}+\lambda _{2}+\cdots +\lambda _{n}}}.}$

În particular, dacă  ${\displaystyle \lambda _{i}=1,\;(\forall )i={\overline {1,n}},}$  se obține inegalitatea mediilor:

• Medie
• Medie armonică
• Medie geometrică
• Medie pătratică

Portal matematică