Igualdade sobre exponencialidades de 1+x
Uma ilustração da desigualdade de Bernoulli, com os gráficos de
![{displaystyle y=(1+x)^{r}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f81f873f32704b69af5bb1b20bab77eb1585b485)
e
![{displaystyle y=1+rx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15f3f88ab23c807a4fa8fade103e33a9dc297784)
mostrado em vermelho e azul respectivamente. Toma.
![r=3.](https://wikimedia.org/api/rest_v1/media/math/render/svg/912e3676e57f959c74b48dd6c19c8a7247d0900f)
Na matemática, a desigualdade de Bernoulli (em homenagem a Jacob Bernoulli) é uma desigualdade que aproxima exponenciações de 1 + x. É freqüentemente empregado em análises reais. Tem várias variantes úteis:
para cada inteiro R≥ 1 e número real x> −1. A desigualdade é rigorosa se x≠ 0 e R≥ 2.
para cada inteiro R≥ 0 e cada número real x.
para cada inteiro R≥ 0 e cada número real x≥ −2.
para cada número real R≥ 1 e x≥ −1. As desigualdades são rigorosas se x≠ 0 eR≠ 0, 1.
para cada número real 0 ≤R≤ 1 e x≥ −1.
História
Jacob Bernoulli publicou pela primeira vez a desigualdade em seu tratado "Positiones Arithmeticae de Seriebus Infinitis" (Basileia, 1689), onde ele usou a desigualdade com frequência.
Segundo Joseph E. Hofmann, Über die Exercitatio Geometrica des M. A. Ricci (1963), p. 177, a desigualdade é realmente devida a Sluse em seu Mesolabum (edição de 1668), Capítulo IV "De maximis & minimis".
Prova para expoente inteiro
A desigualdade de Bernoulli pode ser provada para o caso em que r é um número inteiro, usando indução matemática na seguinte forma:
- provamos a desigualdade para
, - de validade para alguns R nós deduzir a validade para R+ 2.
Para r = 0,
![{displaystyle (1+x)^{0}geq 1+0x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/55e9c137dddddb1e2316e3666ba5f2c4884dda5e)
é equivalente a 1 ≥ 1, o que é verdadeiro.
Da mesma forma, para r = 1 temos
![{displaystyle (1+x)^{r}=1+xgeq 1+x=1+rx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2de438fd7f3ead209f6b3c3cf1773c9268a676bf)
Agora suponha que a afirmação seja verdadeira para r = k:
![{displaystyle (1+x)^{k}geq 1+kx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e8814035edd74872d7363aaf723b753fff28f6e)
Então segue que
![{displaystyle {begin{aligned}(1+x)^{k+2}&=(1+x)^{k}(1+x)^{2}\&geq (1+kx)left(1+2x+x^{2}right)qquad qquad qquad {text{ by hypothesis and }}(1+x)^{2}geq 0\&=1+2x+x^{2}+kx+2kx^{2}+kx^{3}\&=1+(k+2)x+kx^{2}(x+2)+x^{2}\&geq 1+(k+2)xend{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0f48b94c8ca07441f65ce00f011530f73f27fab)
desde então
bem como
. Pela indução modificada concluímos que a declaração é verdadeira para cada inteiro não negativo R.
Generalizações
Generalização do expoente
O expoente r pode ser generalizado para um número real arbitrário da seguinte forma: se x > −1, então
![{displaystyle (1+x)^{r}geq 1+rx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8ab63ba9d8e48f2c0e5ca48f905ab59bcfd1f11)
para r ≤ 0 ou r ≥ 1, e
![{displaystyle (1+x)^{r}leq 1+rx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/490417959c7662ec66ccbff05c0f9370f0e0d132)
para 0 ≤ r ≤ 1.
Essa generalização pode ser provada comparando as derivadas. As versões estritas dessas desigualdades requerem x ≠ 0 e r ≠ 0, 1.
Generalização de base
Em vez de
a desigualdade mantém também na forma
Onde?
são números reais, todos maiores do que -1, todos com o mesmo sinal. A desigualdade de Bernoulli é um caso especial quando
. Esta desigualdade generalizada pode ser provada pela indução matemática.
Proof
|
In the first step we take . In this case the inequality is obviously true.
In the second step we assume validity of the inequality for numbers and deduce validity for numbers.
We assume that ![{displaystyle (1+x_{1})(1+x_{2})dots (1+x_{r})geq 1+x_{1}+x_{2}+dots +x_{r}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea4d72b339765913f799483e3518315337ab00c0) is valid. After multiplying both sides with a positive number we get:
As all have the same sign, the products are all positive numbers. So the quantity on the right-hand side can be bounded as follows: ![{displaystyle (1+x_{1}+x_{2}+dots +x_{r})+x_{r+1}+x_{1}x_{r+1}+x_{2}x_{r+1}+dots +x_{r}x_{r+1}geq 1+x_{1}+x_{2}+dots +x_{r}+x_{r+1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/684bd2273c2c81fb9376c55746e4aadcd54a1d66) what was to be shown.
|
Desigualdades relacionadas
A desigualdade a seguir estima a r-ésima potência de 1 + x do outro lado. Para quaisquer números reais x, r com r > 0, um tem
![{displaystyle (1+x)^{r}leq e^{rx},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a34a41ae04cd07ac55936eb02d343c22765701f)
onde e = 2,718.... Isso pode ser provado usando a desigualdade (1 + 1/k)k < e.
Forma alternativa
Uma forma alternativa de desigualdade de Bernoulli para
e
é:
![{displaystyle (1-x)^{t}geq 1-xt.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be1c08f5244f53f0ca48040dc425dd26b53e5325)
Isto pode ser provado (para qualquer inteiro t) usando a fórmula para série geométrica: (usando y = 1 − x)
![{displaystyle t=1+1+dots +1geq 1+y+y^{2}+ldots +y^{t-1}={frac {1-y^{t}}{1-y}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c71948d502110e1589b1c19563f4f3feebb06fcb)
ou equivalente ![{displaystyle xtgeq 1-(1-x)^{t}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82b32ae967a267f9578ee7d69ef9aaa5565f813)
Provas alternativas
Using AM-GM
|
An elementary proof for and x ≥ -1 can be given using weighted AM-GM.
Let be two non-negative real constants. By weighted AM-GM on with weights respectively, we get
![{displaystyle {dfrac {lambda _{1}cdot 1+lambda _{2}cdot (1+x)}{lambda _{1}+lambda _{2}}}geq {sqrt[{lambda _{1}+lambda _{2}}]{(1+x)^{lambda _{2}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f459002fd2eda59b67e8883fe1c9964d7defa48)
Note that
![{displaystyle {dfrac {lambda _{1}cdot 1+lambda _{2}cdot (1+x)}{lambda _{1}+lambda _{2}}}={dfrac {lambda _{1}+lambda _{2}+lambda _{2}x}{lambda _{1}+lambda _{2}}}=1+{dfrac {lambda _{2}}{lambda _{1}+lambda _{2}}}x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47cef281534eeafb272985f1504d1f2906370b0a)
and
![{displaystyle {sqrt[{lambda _{1}+lambda _{2}}]{(1+x)^{lambda _{2}}}}=(1+x)^{frac {lambda _{2}}{lambda _{1}+lambda _{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a83861318bcd3c34add033fb2d5a4dd04cb94b21)
so our inequality is equivalent to
![{displaystyle 1+{dfrac {lambda _{2}}{lambda _{1}+lambda _{2}}}xgeq (1+x)^{frac {lambda _{2}}{lambda _{1}+lambda _{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af85574af30f7c9dd12ac00d5f716f919a6a0750)
After substituting (bearing in mind that this implies ) our inequality turns into
![{displaystyle 1+rxgeq (1+x)^{r}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786fec35580bd09881379da3d8e410d3395162a6)
which is Bernoulli's inequality.
|
Usando a fórmula para a série geométrica |
---|
A desigualdade de Bernoulli
![{displaystyle (1+x)^{r}geq 1+rx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8ab63ba9d8e48f2c0e5ca48f905ab59bcfd1f11) | | (1) |
é equivalente a
![{displaystyle (1+x)^{r}-1-rxgeq 0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ec5ee20f403579cce3c81743926d220d0ee028c) | | (2) |
e pela fórmula da série geométrica (usando Sim. = 1 +x) nós obtemos
![{displaystyle (1+x)^{r}-1=y^{r}-1=left(sum _{k=0}^{r-1}y^{k}right)cdot (y-1)=left(sum _{k=0}^{r-1}(1+x)^{k}right)cdot x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dea44ba69d183401329fdc47fa24ea3f6ad2122c) | | (3) |
o que leva a
![{displaystyle (1+x)^{r}-1-rx=left(left(sum _{k=0}^{r-1}(1+x)^{k}right)-rright)cdot x=left(sum _{k=0}^{r-1}left((1+x)^{k}-1right)right)cdot xgeq 0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5334c7df05b3fbc3db0b6d6d6cd34bb22a632d9d) | | (4) |
Agora, se então pela monotonia dos poderes cada summand , e, portanto, sua soma é maior e, portanto, o produto no LHS de (4).
Se então pelos mesmos argumentos e assim
todos os anexos são não positivos e, portanto, a sua soma. Como o produto de dois números não positivos é não negativo, nós obtemos novamente
(4).
|
Usando o teorema binomial |
---|
Pode-se provar a desigualdade de Bernoulli para x ≥ 0 usando o teorema binomial. É verdade trivialmente para R - O quê? R é um inteiro positivo. Então... Claramente. e daí como necessário.
|