Bernoullijeva nejednakost

Izvor: testwiki
Datum izmjene: 26 septembar 2020 u 01:04; autor: imported>InternetArchiveBot (Adding 1 book for Wikipedia:Provjerljivost) #IABot (v2.0.7) (GreenC bot)
(razl) ← Starija izmjena | Trenutna verzija (razl) | Novija izmjena → (razl)
Idi na navigaciju Idi na pretragu

Šablon:Nedostaju izvori

Ilustracija Bernoullijeve nejednakosti, sa grafikom y=(1+x)r i y=1+rx prikazanom crvenom i plavom bojim, respektivno. Ovdje je r=3.

U realnoj analizi, Bernoullijeva nejednakost je nejednakost koja aproksimuje eksponencijacije od 1 + x.

Nejednakost iskazuje da je

(1+x)r1+rx

za svaki cijeli broj r ≥ 0 i svaki realan broj x > −1. Ako je eksponent r paran, tada nejednakost važi za sve realne brojeve x. Striktna varijanta ove nejednakosti glasi

(1+x)r>1+rx

za svaki cijeli broj r ≥ 2 i za svaki realan broj x ≥ −1, uz x ≠ 0.

Bernoullijeva nejednakost se često koristi kao bitan korak u dokaz drugih nejednakosti. Sama se može dokazati korištenjem matematičke indukcije, kao što je prikazano ispod.

Dokaz nejednakosti

Za r=0,

(1+x)01+0x

je ekvivalentna sa 11, što je tačno.

Sada pretpostavimo da je iskaz tačan za r=k:

(1+x)k1+kx.

Tada slijedi da je

(1+x)(1+x)k(1+x)(1+kx) (po hipotezi, pošto je (1+x)0)
(1+x)k+11+kx+x+kx2(1+x)k+11+(k+1)x+kx2.

Međutim, kada je 1+(k+1)x+kx21+(k+1)x (pošto jekx20), slijedi da je (1+x)k+11+(k+1)x, što znači da je iskaz tačan za r=k+1.

Indukcijom zaključujemo da je iskaz tačan za sve r0.

Generalizacija

Eksponent r može biti uopćen u proizvoljni realan broj na slijedeći način: ako je x > −1, tada je

(1+x)r1+rx

za r ≤ 0 ili r ≥ 1, i

(1+x)r1+rx

za 0 ≤ r ≤ 1.

Ova generalizacija može se dokazati upoređivanjem derivacija. Ponovo, striktne varijante ove nejednakosti zahtijevaju da je x ≠ 0 i r ≠ 0, 1.

Vezane nejednakosti

Slijedeća nejednačina procjenjuje r-ti stepen od 1 + x u odnosu na drugu stranu nejednakosti. Za sve realne brojeve x, r > 0, imamo da je

(1+x)rerx,

gdje je e = 2,718...

Ovo se može dokazati korištenjem jednakosti (1 + 1/k)k < e.

Reference

Vanjski linkovi