A desigualdade de Bernoulli, enunciada pelo matemático suíço Jacob Bernoulli em 1689, é de importância fundamental, pois permite estabelecer estimativas superiores e inferiores para as funções exponenciais e polinomiais.
Teorema. (Desigualdade de Bernoulli). Seja \(x \in \mathbb{R}\) tal que \(x \geq -1\). Então, para todo \(n \in \mathbb{N}\) vale a seguinte desigualdade:
\[ (1 + x)^n \geq 1 + nx \]
Demonstração. Procedemos por indução no natural \(n\).
Base indutiva: Para \(n = 0\), temos:
\[ (1 + x)^0 = 1 = 1 + 0 \cdot x \]
portanto a afirmação está verificada.
Hipótese indutiva: Suponhamos que a desigualdade seja verdadeira para certo \(k \in \mathbb{N}\), ou seja:
\[ (1 + x)^k \geq 1 + kx \]
Passo indutivo: Demonstramos que a desigualdade vale para \(k + 1\). Multiplicamos ambos os membros da hipótese indutiva por \((1 + x)\). Essa operação preserva o sentido da desigualdade, pois \(x \geq -1\) implica \((1 + x) \geq 0\). Obtemos:
\[ \begin{align} (1 + x)^{k+1} &\geq (1 + kx)(1 + x) \\[1mm] & = 1 + x + kx + kx^2 \\[1mm] & = 1 + (k + 1)x + kx^2 \\[1mm] &\geq 1 + (k + 1)x \end{align} \]
A última desigualdade é justificada pelo fato de que \(kx^2 \geq 0\) para todo \(x \in \mathbb{R}\) e \(k \in \mathbb{N}\). Pelo princípio da indução, a desigualdade está demonstrada para todo \(n \in \mathbb{N}\).
Observação. A condição \(x \geq -1\) é necessária para garantir que a multiplicação por \((1 + x)\) no passo indutivo preserve o sentido da desigualdade.
Exemplo. A desigualdade de Bernoulli pode ser utilizada para estimar a função exponencial \(e^x\). Sabendo que
\[ e^x = \lim_{n \to \infty} \left(1 + \frac{x}{n}\right)^n \]
podemos aplicar a desigualdade e obter uma estimativa inferior.
A desigualdade de Bernoulli nos diz que:
\[ \begin{align*} e^x &= \lim_{n \to \infty} \left(1 + \frac{x}{n}\right)^n \\[1mm] &\geq \lim_{n \to \infty} \left(1 + n \cdot\frac{x}{n}\right) = 1 + x. \end{align*} \]
Assim, \(e^x \geq 1 + x\). Este resultado fornece uma estimativa simples e imediata para a função exponencial, sem a necessidade de cálculos complicados.