|
|
Linha 2: |
Linha 2: |
|
A '''desigualdade das médias''' afirma que a [[média aritmética]] é maior ou igual à [[média geométrica]] e esta maior ou igual à [[média harmônica]]. |
|
A '''desigualdade das médias''' afirma que a [[média aritmética]] é maior ou igual à [[média geométrica]] e esta maior ou igual à [[média harmônica]]. |
|
|
|
|
|
Mais precisamente falando, seja <math>\{x_1,x_2,\ldots, x_n\}</math> um conjunto não vazio de números reais positivos então: |
|
Mais precisamente falando, seja <math>\{x_1,x_2,\ldots, x_n\}</math> um conjunto não vazio de [[Número real|números reais]] positivos então: |
|
|
|
|
|
:<math>\frac{1}{n}\sum_{i=1}^n x_i \geq \sqrt[n]{\prod_{i=1}^n x_i} \geq \frac{n}{\sum_{i=1}^n\left(\frac{1}{x_i}\right)}</math> |
|
:<math>\frac{1}{n}\sum_{i=1}^n x_i \geq \sqrt[n]{\prod_{i=1}^n x_i} \geq \frac{n}{\sum_{i=1}^n\left(\frac{1}{x_i}\right)}</math> |
Linha 22: |
Linha 22: |
|
Assim: |
|
Assim: |
|
:<math>(x_1+x_2)^2\geq 4x_1x_2</math> |
|
:<math>(x_1+x_2)^2\geq 4x_1x_2</math> |
|
Assumindo como sendo números positivos, podemos tomar a raiz quadrada e dividir por 2: |
|
Assumindo como sendo números positivos, podemos tomar a [[raiz quadrada]] e dividir por 2: |
|
:<math>\frac{x_1+x_2}{2}\geq \sqrt{x_1x_2}</math> |
|
:<math>\frac{x_1+x_2}{2}\geq \sqrt{x_1x_2}</math> |
|
A primeira desigualdade segue. Para mostrar a segunda, escreva esta última como: |
|
A primeira desigualdade segue. Para mostrar a segunda, escreva esta última como: |
A desigualdade das médias afirma que a média aritmética é maior ou igual à média geométrica e esta maior ou igual à média harmônica.
Mais precisamente falando, seja um conjunto não vazio de números reais positivos então:
onde , veja somatório.
e , veja produtório.
Queremos mostrar que:
Como e são reais, temos:
Expandindo, temos:
Somando , obtemos:
Assim:
Assumindo como sendo números positivos, podemos tomar a raiz quadrada e dividir por 2:
A primeira desigualdade segue. Para mostrar a segunda, escreva esta última como:
Multiplique ambos os lados por ::
E observe que esta é justamente a desigualdade que procuramos, pois:
E o resultado segue.
Queremos a igualdade para , com k inteiro positivo.
Procederemos por indução em k:
O caso k=1, já foi demonstrado.
Suponha então que a desigualdade é valida para um certo k positivo, escreva para :
Aplique a desigualdade da média com dois elementos:
Agora, aplique a desigualdade para n elementos em cada um dos termos:
E assim, conclua:
E a primeira desigualdade segue pois
Usemos o mesmo procedimento para demonstrar a segunda desigualdade:
E a segunda desigualdade segue.
Completaremos a demonstração, mostrando que se a desigualdade for válida para n termos, então também é válida para n-1 termos.
Suponha, então, que a desigualdade é válida para um número inteiro n maior que 1, ou seja:
Escreva:
Queremos mostrar que
Substitua
Observe que:
Assim temos, da primeira desigualdade:
Rearranjando, temos:
A segunda desigualdade diz:
O que equivale a:
ou:
Equivalente a:
O que completa a demonstração.
Se, na desigualdade de Cauchy fizermos , ela assume a forma:
- ≤
- Agora é só dividir os membros da desigualdade acima por .
- Finalmente:
- ≥