-
+1
Ovi korisnici su zahvalili autoru
Milovan za post:
Daniel
Reputacija: 4.55%
od Milovan » Petak, 29. Avgust 2014, 22:20
Evo, za [inlmath]x>0[/inlmath].
Posmatrajmo funkciju [inlmath]f(x)=\ln(x+1)-x[/inlmath].
Prema Lagranžovoj teoremi, za funkciju [inlmath]f(x)[/inlmath], neprekidnu na intervalu [inlmath][a,b][/inlmath] i diferencijabilnu na intervalu [inlmath](a,b)[/inlmath], mora da postoji tačka [inlmath]c[/inlmath], iz intervala [inlmath](a,b)[/inlmath], takva da je:
[dispmath]\frac{f(b)-f(a)}{b-a}=f'(c)[/dispmath]
Uzmimo interval [inlmath](0,x)[/inlmath]. Tada mora da postoji tačka [inlmath]c_1[/inlmath] iz tog intervala takva da je:
[dispmath]\frac{f(x)-f(0)}{x}=f'(c_1)[/dispmath][dispmath]\frac{\ln(x+1)-x}{x}=f'(c_1)[/dispmath]
Sada uzmimo interval [inlmath](x,2x)[/inlmath]. Tada mora da postoji tačka [inlmath]c_2[/inlmath] iz tog intervala, takva da je:
[dispmath]\frac{f(2x)-f(x)}{2x-x}=f'(c_2)[/dispmath][dispmath]\frac{\ln(2x+1)-\ln(x+1)-x}{x}=f'(c_2)[/dispmath]
Lako se pokazuje da izvod funkcije [inlmath]f[/inlmath] predstavlja opadajuću funkciju za [inlmath]x>0[/inlmath]. Naime,
[dispmath]f''(x)=-\frac{1}{(x+1)^2}<0[/dispmath]
Otuda sledi da [inlmath]f'(x)[/inlmath] monotono opada, i da je [inlmath]f'(c_1)>f'(c_2)[/inlmath] (s obzirom na to da je [inlmath]c_2>c_1[/inlmath]).
Tako dobijamo:
[dispmath]\frac{\ln(x+1)-x}{x}>\frac{\ln(2x+1)-\ln(x+1)-x}{x}[/dispmath]
Kako je [inlmath]x>0[/inlmath], možemo nejednakost pomnožiti sa [inlmath]x[/inlmath].
[dispmath]\ln(x+1)-x>\ln(2x+1)-\ln(x+1)-x[/dispmath][dispmath]\ln(x+1)^2>\ln(2x+1)[/dispmath][dispmath](x+1)^2>2x+1[/dispmath][dispmath]x^2+2x+1>2x+1[/dispmath]
Zadnja nejednakost svakako važi za [inlmath]x\neq 0[/inlmath], i time je prvi deo dokazan.