Bernoullische Ungleichung

Eine Veranschaulichung der Bernoulli-Ungleichung. Hier die beiden Funktionen $f(x)=(1+x)^{n}$ (roter Graph) und $g(x)=1+n\cdot x$ (blauer Graph) mit dem konkreten Wert

. Der rote Graph liegt für $x\geq -1$ stets oberhalb des blauen Graphen.

In der Mathematik versteht man unter der bernoullischen Ungleichung eine einfache, aber wichtige Ungleichung, mit der sich eine Potenzfunktion nach unten abschätzen lässt.

Für jede reelle Zahl $x\geq -1$ ^[1] und jede ganze Zahl $n \geq 0$ gilt

$(1+x)^{n}\geq 1+nx$ .^[2]

Benannt ist die Ungleichung nach dem Schweizer Mathematiker Jakob I Bernoulli.

Geschichte

Jakob Bernoulli veröffentlichte diese Ungleichung zuerst in seiner Arbeit Positiones Arithmeticae de Seriebus Infinitis (Basel, 1689), in der er diese Ungleichung häufig anwandte.

Laut Joseph E. Hofmann geht die Ungleichung aber auf den Mathematiker Sluse zurück, der sie 1668 in seiner Arbeit Mesolabum veröffentlicht haben soll.

Beweis

Beweis über vollständige Induktion

Die bernoullische Ungleichung lässt sich mit vollständiger Induktion beweisen. Der Induktionsanfang n=0 ist erfüllt:

$(1+x)^{0}=1\geq 1=1+0x$ .^[2]

Als Induktionsvoraussetzung gelte nun $(1+x)^{n}\geq 1+nx$ für $n\in \mathbb {N} _{0}$ , $x\in \mathbb {R}$ und $x\geq -1$ . Dann folgt wegen $1+x\geq 0$ und der Induktionsvoraussetzung

${\begin{array}{lcl}(1+x)^{n+1}&=&(1+x)^{n}\cdot (1+x)\\&{\stackrel {\mathrm {I.\,V.} }{\geq }}&(1+nx)\cdot (1+x)\\&=&1+x+nx+nx^{2}\\&\geq &1+x+nx\\&=&1+(n+1)x.\\\end{array}}$

Nach dem Induktionsprinzip gilt die Behauptung für alle $n\in \mathbb {N} _{0}$ .

Alternativer Beweis für nicht-negative x

Für $x\geq 0$ kann die Bernoulli-Ungleichung auch über den binomischen Lehrsatz bewiesen werden. Es gilt hier

${\begin{aligned}(1+x)^{n}&=\sum _{k=0}^{n}{\binom {n}{k}}x^{k}\\&=1+n\cdot x+\underbrace {{\frac {n(n-1)}{2}}x^{2}+\ldots } _{\geq \ 0{\text{ wegen }}x\geq 0}\\&\geq 1+n\cdot x\end{aligned}}$

Beispiel

Behauptung:

$\lim _{n\to \infty }{\sqrt[{n}]{a}}=1$

für alle reellen $a\geq 1$ .

Beweis: Zunächst sei $x_{n}\geq 0$ definiert durch

${\sqrt[{n}]{a}}=1+x_{n}$ .

Dann gilt nach der Bernoulli-Ungleichung

$a=(1+x_{n})^{n}\geq 1+nx_{n}$ ,

also

${\frac {a-1}{n}}\geq x_{n}\geq 0$ .

Es ist aber

$\lim _{n\to \infty }{\frac {a-1}{n}}=0$ .

Damit ist dann auch

$\lim _{n\to \infty }x_{n}=0$

und letztlich

$\lim _{n\to \infty }{\sqrt[{n}]{a}}=1+\lim _{n\to \infty }x_{n}=1+0=1.$

Anwendungen

Exponentialfunktion

Die bernoullische Ungleichung ist bei vielen Abschätzungen hilfreich. Es sei $x\in \mathbb {R}$ fix, dann ist ${\frac {x}{n}}\geq -1$ für hinreichend großes . Mit der bernoullischen Ungleichung gilt daher

$\left(1+{\frac {x}{n}}\right)^{n}\geq 1+n\cdot {\frac {x}{n}}=1+x$ für hinreichend großes .

Wegen

$e^{x}=\lim _{n\to \infty }\left(1+{\frac {x}{n}}\right)^{n}$

ist somit die Ungleichung

$1+x\leq e^{x}$ für alle $x\in \mathbb {R}$

bewiesen.

Beweis von Ungleichungen mit Potenzen

Um die Konvergenz $\lim _{n\rightarrow \infty }q^{n}=0$ für reelle Zahlen mit 0<q<1 zu beweisen, muss unter anderem ein $N\in \mathbb {N}$ gefunden werden, so dass $q^{N}<\epsilon$ für ein beliebig vorgegebenes $\epsilon >0$ ist. Hierfür kann die Bernoulli-Ungleichung verwendet werden. Zunächst formt man die Zielungleichung $q^{N}<\epsilon$ durch Äquivalenzumformungen um:

${\begin{array}{lrl}&q^{N}&<\epsilon \\\iff \ &\left({\tfrac {1}{q}}\right)^{N}&>{\tfrac {1}{\epsilon }}\end{array}}$

Wegen 0<q<1 ist ${\tfrac {1}{q}}>1$ . Setzen wir $1+x={\tfrac {1}{q}}$ so ist x>0 und außerdem nach der Bernoulli-Ungleichung

$\left({\tfrac {1}{q}}\right)^{N}=(1+x)^{N}\geq 1+N\cdot x$

Alternativ kann also auch ein $N\in \mathbb {N}$ gefunden werden, so dass $1+N\cdot x>{\tfrac {1}{\epsilon }}$ ist. Ist nämlich $1+N\cdot x>{\tfrac {1}{\epsilon }}$ dann folgt aus obiger Ungleichung $\left({\tfrac {1}{q}}\right)^{N}\geq 1+N\cdot x$ , dass automatisch auch $\left({\tfrac {1}{q}}\right)^{N}>\epsilon$ ist. Die Existenz von ist durch das archimedische Axiom gewährleistet.

Der Vorteil der obigen Vorgehensweise ist der, dass hier im Beweis nicht auf den Logarithmus zurückgegriffen werden muss, welcher am Anfang einer Analysis-Vorlesung in der Regel noch nicht zur Verfügung steht.

Ungleichung vom arithmetischen und geometrischen Mittel

→ Hauptartikel: Beweis der Ungleichung vom arithmetischen und geometrischen Mittel

Unter Verwendung einer Abschätzung mit der bernoullischen Ungleichung lässt sich die Ungleichung vom arithmetischen und geometrischen Mittel über vollständige Induktion beweisen. Es ist sogar so, dass die Bernoulli-Ungleichung äquivalent zur Ungleichung vom arithmetischen und geometrischen Mittel ist.

Bemerkungen

↑ In der Tat gilt die Ungleichung sogar für $x\geq -2$ und ungerade $n\geq 3$ , allerdings lässt sich dies nicht mehr so direkt mit vollständiger Induktion, sondern z.B. durch Vergleich der Ableitungen zeigen. Dazu zeigt man, dass $f(x):=(1+x)^{n}-(1+nx)$ für negative Ableitung und damit keine Extrema hat, während der Wert für und positiv ist. In diesem Fall hat ein lokales Maximum in . Für gerades $n\geq 2$ gilt die Ungleichung sogar für alle reellen , da hier für $x<-1$ die linke Seite der Ungleichung stets positiv bleibt, während die rechte sicher negativ ist.
↑ ^a ^b Für den Fall und muss $0^{0}=1$ vereinbart werden.