According to Lagrange’s Theorem, there exists at least one point ‘c’ on the open interval (a,b), such as
f′(c)=b−af(b)−f(a)
Let's prove that log(x+1)>x−2x2
Let's denote f=log(x+1)+2x2
Using Lagrange’s Mean Value Theorem for function f, will lead us to
∃c∈(0,b) such as f′(c)=b−0f(b)−f(0)=blog(b+1)+2b2
Therefore
f′(c)=c+11+c=blog(b+1)+2b2
c+11+c=1+1+cc2>1
Hence
blog(b+1)+2b2>1
log(b+1)+2b2>b
So log(x+1)>x−2x2
Let's prove that log(x+1)<x−2(1+x)x2
Let's denote f=log(x+1)+2(x+1)x2
Using Lagrange’s Mean Value Theorem for function f, will lead us to ∃c∈(0,b) such as
blog(b+1)+2(b+1)b2=f′(c)=c+11+4(1+c)22c2(c+1)−2c2=1−4(1+c)22c2<1
Hence blog(b+1)+2(b+1)b2<1
log(b+1)+2(b+1)b2<b
So log(x+1)<x−2(1+x)x2
Comments