1. ## inequality

I'm having a great deal of difficulty trying to show that if $\displaystyle x, \ y, \ z \ \in \mathbb{R}^{+}$ and that $\displaystyle x \leq y+z$ then $\displaystyle \frac{x}{x+1} \leq \frac{y}{y+1} + \frac{z}{z+1}$

I've tryed working this thing out backwards, taking $\displaystyle \frac{x}{x+1} \leq \frac{y}{y+1} + \frac{z}{z+1}$ and trying to get $\displaystyle x \leq y+z$ but I got stuck in a loop or had a residue of 1.

I also tryed multiplying $\displaystyle x \leq y+z$ by their respective denominators, and their common denominator, but that let nowhere. Squaring didn't help either.

If anybody has any idea of how to approach this, it would be much appreciated.

2. There's probably something cleverer and easier but this seems to work.

Add the fractions on the RHS, cross multiply, expand the brackets and cancel down.
I think that you finish up with $\displaystyle x<xyz+2yz+y+z,$ which is clearly true.
The steps are reversable, that is you can start with $\displaystyle x<y+z$ and say that since $\displaystyle x,y$ and $\displaystyle z$ are positive then $\displaystyle x<xyz+2yz+y+z,$ and so on.

3. Originally Posted by lllll
I'm having a great deal of difficulty trying to show that if $\displaystyle x, \ y, \ z \ \in \mathbb{R}^{+}$ and that $\displaystyle x \leq y+z$ then $\displaystyle \frac{x}{x+1} \leq \frac{y}{y+1} + \frac{z}{z+1}$

I've tryed working this thing out backwards, taking $\displaystyle \frac{x}{x+1} \leq \frac{y}{y+1} + \frac{z}{z+1}$ and trying to get $\displaystyle x \leq y+z$ but I got stuck in a loop or had a residue of 1.

I also tryed multiplying $\displaystyle x \leq y+z$ by their respective denominators, and their common denominator, but that let nowhere

$\displaystyle \color{red}\mbox{Well, it led me to the solution: I did this and got that }x < y+z+xyz+2yz$ $\displaystyle \color{red}\mbox{ and since we're given }x < y+z\,\mbox{ then we're done!}$

$\displaystyle \color{blue}Tonio$

Squaring didn't help either.

If anybody has any idea of how to approach this, it would be much appreciated.
.

4. Originally Posted by lllll
I'm having a great deal of difficulty trying to show that if $\displaystyle x, \ y, \ z \ \in \mathbb{R}^{+}$ and that $\displaystyle x \leq y+z$ then $\displaystyle \frac{x}{x+1} \leq \frac{y}{y+1} + \frac{z}{z+1}$

I've tryed working this thing out backwards, taking $\displaystyle \frac{x}{x+1} \leq \frac{y}{y+1} + \frac{z}{z+1}$ and trying to get $\displaystyle x \leq y+z$ but I got stuck in a loop or had a residue of 1.

I also tryed multiplying $\displaystyle x \leq y+z$ by their respective denominators, and their common denominator, but that let nowhere. Squaring didn't help either.

If anybody has any idea of how to approach this, it would be much appreciated.
since x,y,z all positive integers and

$\displaystyle x\leq y+z$ so

$\displaystyle x > y , x > z$

$\displaystyle x+1 > y+1 ....... x+1 > z+1$

$\displaystyle \frac{1}{x+1 } < \frac{1}{y+1} ,.....and....., \frac{1}{x+1} < \frac{1}{z+1}$

$\displaystyle \frac{x}{x+1} \leq \frac{y}{x+1} + \frac{z}{x+1}$ but

$\displaystyle \frac{y}{x+1} < \frac{y}{y+1}..... and ....\frac{z}{x+1} < \frac{z}{z+1}$

so

$\displaystyle \frac{x}{x+1} \leq \frac{y}{x+1} + \frac{z}{x+1} \leq \frac{y}{y+1} + \frac{z}{z+1}$

5. Originally Posted by Amer
$\displaystyle x\leq y+z$ so

$\displaystyle x > y , x > z$
Sorry, that’s not true. $\displaystyle 1\leqslant2+3$ but $\displaystyle 1\not>2,\ 1\not>3.$

One way to prove the inequality is as follows.

Note that for all $\displaystyle t\in\mathbb R^+,$ the function $\displaystyle f(t)=\frac t{t+1}$ is strictly increasing. Hence $\displaystyle x\leqslant y+z$ $\displaystyle \implies$ $\displaystyle \frac x{x+1}\leqslant\frac{y+z}{y+z+1}.$ It therefore suffices to show that $\displaystyle \frac{y+z}{y+z+1}\leqslant\frac y{y+1}+\frac z{z+1}.$

Suppose to the contrary that $\displaystyle \frac{y+z}{y+z+1}>\frac y{y+1}+\frac z{z+1}.$ Then, by cross-multiplying the denominators and patiently expanding and simplifying, I think you should get the get the contradiction $\displaystyle 0>yz(y+z+2).$

I admit that this may not be the most elegant solution, but at least it works.