od Onomatopeja » Četvrtak, 15. Oktobar 2015, 16:20
Tvrdjenje. Neka su [inlmath]x_i,\;i=1,2,\ldots,n[/inlmath], realni brojevi istog znaka, veci (strogo) od [inlmath]-1[/inlmath]. Tada vazi
[dispmath](1+x_1)(1+x_2)\cdots(1+x_n)\geq1+x_1+x_2+\cdots+x_n.[/dispmath]
Dokaz. Baza indukcije je jasna, zato, pretpostavimo da tvrdjenje vazi za [inlmath]n=k[/inlmath], odnosno, da za proizvoljne realne brojeve [inlmath]x_i>-1,\;i=1,2,\ldots,k[/inlmath], koji su istog znaka, vazi [inlmath](1+x_1)(1+x_2)\cdots(1+x_k)\geq1+x_1+x_2+\cdots+x_k[/inlmath], i pokazimo da tvrdjenje vazi za [inlmath]n=k+1[/inlmath]. Naime, kako su [inlmath]x_1,x_2,\ldots,x_{k+1}[/inlmath] istog znaka, to je [inlmath](x_1+x_2+\cdots+x_k)x_{k+1}\geq0[/inlmath], te imamo
[dispmath]\begin{align}(1+x_1)(1+x_2)\cdots(1+x_{k+1})&\geq(1+x_1+x_2+\cdots+x_k)(1+x_{k+1})\\
&=1+x_1+x_2+\cdots+x_k+x_{k+1}+(x_1+x_2+\cdots+x_k)x_{k+1}\\
&\geq1+x_1+x_2+\cdots+x_{k+1}.
\end{align}[/dispmath]
sto je i trebalo pokazati.
Posledica (Bernulijeva nejednakost). Neka je [inlmath]n\in\mathbb{N}[/inlmath] i [inlmath]x>-1[/inlmath]. Tada vazi [inlmath](1+x)^n\geq1+nx[/inlmath].