Prove the injectivity(~strict monotony) of the following function, without utilising calculus:
$f:(0;∞)$ $\rightarrow$$(0;1]$ $f(x) = \sqrt{x + 1} - \sqrt{x} $
I have already determined the given codomain for the function to be surjective, as per the task,but this second task I haven't been able to demonstrate;I have observed by studying the table of values that it appears strictly decreasing,but I need a rigorous proof.
Notice that\begin{align}f(x)=f(y)&\iff \sqrt{x+1}-\sqrt x=\sqrt{y+1}-\sqrt y\\&\iff\frac1{\sqrt{x+1}+\sqrt x}=\frac1{\sqrt{y+1}+\sqrt y}\\&\iff\sqrt{x+1}+\sqrt x=\sqrt{y+1}+\sqrt y.\end{align}If $x\neq y$, the $x>y$ or $x<y$. If $x>y$, then $\sqrt x>\sqrt y$ and $\sqrt{x+1}>\sqrt{y+1}$. Therefore $\sqrt{x+1}+\sqrt x>\sqrt{y+1}+\sqrt y$ and, in particular, $\sqrt{x+1}+\sqrt x\neq\sqrt{y+1}+\sqrt y$. The case in which $x<y$ is similar.