Let's manipulate the expression a little bit and see what we come up with: we have
![(x+z)/(y+z)>(x)/(y) \iff (x+z)/(y+z)-(x)/(y)>0 \iff (y(x+z)-x(y+z))/(y(y+z))>0](https://img.qammunity.org/2021/formulas/mathematics/high-school/vtwtfn0ikjqxwdbol711brsod4cp3m8x7x.png)
We can simplify the fraction as
![(xy+yz-xy-xz)/(y(y+z))=(yz-xz)/(y(y+z))=(z(y-x))/(y(y+z))](https://img.qammunity.org/2021/formulas/mathematics/high-school/p6ue2n4sx37xqqc3hib4kiabarm6tbvtkc.png)
Since both
and
are positive, their sum will be positive as well. In other words, we can rewrite the fraction as
![\underbrace{z}_(>0)\cdot\underbrace{(1)/(y)}_(>0)\cdot\underbrace{(1)/(y+z)}_(>0)\cdot (y-x)](https://img.qammunity.org/2021/formulas/mathematics/high-school/4jk5m2h8rt1k41k41fkrb1g562zxt4whz0.png)
So, the sign of this fraction depends on the sign of
. If its positive, then the whole fraction is positive (product of 4 positive factors). If it's negative, then the whole fraction is negative (product of 3 positive factors and a negative one).
In other words, we arrived to the desired conclusion:
![(x+z)/(y+z)>(x)/(y)\iff y-x>0 \iff y>x](https://img.qammunity.org/2021/formulas/mathematics/high-school/8pfxhp7ulzkp0w305mo8g869j3v54k02ku.png)