# Thread: Prove a function decreases.

1. ## Prove a function decreases.

Prove that the function f(x) = logx(x+1) decreases on the interval (1,+infinity).

How should I approach this proof? Thoughts?

2. ## Re: Prove a function decreases.

In general, how do you know that a function increases or decreases? Take an easier example, I know that the function g(x)=x increases over its whole domain. How could I prove that to you?

3. ## Re: Prove a function decreases.

Originally Posted by vidomagru
Prove that the function f(x) = logx(x+1) decreases on the interval (1,+infinity).
How should I approach this proof? Thoughts?
Write the function as $f(x)=\frac{\log(x+1)}{\log(x)}$.

Then prove that $f'(x)<0,~\forall x\in(1,\infty)$.

4. ## Re: Prove a function decreases.

Originally Posted by Plato
Write the function as $f(x)=\frac{\log(x+1)}{\log(x)}$.

Then prove that $f'(x)<0,~\forall x\in(1,\infty)$.
So $\frac{d}{dx}f(x)=\frac{x\log(x) - (x+1)\log(x+1)}{x(x+1)\log(x)\log(x)}$.

Since we need to show that $f'(x)<0,~\forall x\in(1,\infty)$, I guess the next step would be to consider the numerator and denominator separately. Consider the denominator first:

$x(x+1)\log(x)\log(x)$ is always positive since $x, x+1, \log(x)$ are by definition positive over the interval $(1,\infty)$.

It remains to show that the numerator is negative over the whole interval, i.e., $x\log(x) - (x+1)\log(x+1) < 0$. In other words we need to show that $x\log(x) < (x+1)\log(x+1)$.

I am not sure how to actually show this, since it is so obvious to me by looking at the graph. I thought about trying some kind of induction but we are not operating over N so it would be hard. Any further guidance you can give me?

5. ## Re: Prove a function decreases.

Originally Posted by vidomagru
It remains to show that the numerator is negative over the whole interval, i.e., $x\log(x) - (x+1)\log(x+1) < 0$. In other words we need to show that $x\log(x) < (x+1)\log(x+1)$.

I am not sure how to actually show this, since it is so obvious to me by looking at the graph. I thought about trying some kind of induction but we are not operating over N so it would be hard. Any further guidance you can give me?
You are on the right track. Use the rules you know about logarithms: $a\ln b = \ln b^a$ and then try $e^{\mbox{LHS}}$ compared to $e^{\mbox{RHS}}$ where LHS = Left Hand Side and RHS = Right Hand Side. How does it alter the inequality?

6. ## Re: Prove a function decreases.

Originally Posted by vidomagru
Since we need to show that $f'(x)<0,~\forall x\in(1,\infty)$, I guess the next step would be to consider the numerator and denominator separately. Consider the denominator first:
$x(x+1)\log(x)\log(x)$ is always positive since $x, x+1, \log(x)$ are by definition positive over the interval $(1,\infty)$.
If $x>1$ then $\log(x)<\log(x+1)$ it is increasing.

Therefore, $x\log(x)

7. ## Re: Prove a function decreases.

Here is my complete proof, does this work:

So $\frac{d}{dx}f(x)=\frac{x\log(x) - (x+1)\log(x+1)}{x(x+1)\log(x)\log(x)}$.

Since we need to show that $f'(x)<0,~\forall x\in(1,\infty)$, I guess the next step would be to consider the numerator and denominator separately. Consider the denominator first:

$x(x+1)\log(x)\log(x)$ is always positive since $x, x+1, \log(x)$ are by definition positive over the interval $(1,\infty)$.

It remains to show that the numerator is negative over the whole interval, i.e., $x\log(x) - (x+1)\log(x+1) < 0$. In other words we need to show that $x\log(x) < (x+1)\log(x+1)$.

$x\log(x) < (x+1)\log(x+1)$
$\log(x)^x < \log(x+1)^{x+1}$
$e^{\log(x)^x} < e^{\log(x+1)^{x+1}}$

Note: $e^{\log(x)} = x$, so we have:

$x^x < (x+1)^{x+1}$

Now $x^x < (x+1)^{x+1}$ is clearly true (or do I need to show something more) so it follows that the numerator of $f'(x)$ is negative $\forall x\in(1,\infty)$. Hence $f(x)$ is decreasing over the whole interval.

8. ## Re: Prove a function decreases.

Originally Posted by vidomagru
Now $x^x < (x+1)^{x+1}$ is clearly true (or do I need to show something more) so it follows that the numerator of $f'(x)$ is negative $\forall x\in(1,\infty)$. Hence $f(x)$ is decreasing over the whole interval.
That is up to you. You can use the fact that for any $1, $x^x = 1\cdot x^x < x\cdot x^x = x^{x+1} < (x+1)^{x+1}$ since $x.

Edit:

If you want to use what Plato wrote, you would want to show that $\ln(x)$ is a strictly increasing function on $(1,\infty)$. That is obvious since $(\ln(x))^\prime = \dfrac{1}{x} > 0$ for any positive $x$. Hence, since $x, $\ln(x)<\ln(x+1)$, and the rest of what Plato wrote follows.