If $a+\sqrt{a^2+1}= b+\sqrt{b^2+1}$, then $a=b$ or not? It might be a silly question but if $$a+\sqrt{a^2+1}= b+\sqrt{b^2+1},$$ then can I conclude that $a=b$? I thought about squaring both sides but I think it is wrong! Because radicals will not be removed by doing that! Can you help me with proving that $a=b$ or not?
Actually I'm going to prove that $x+\sqrt{x^2+1}$ is a $1$-$1$ function.

Alternatively, for $a,b\in \Bbb R$,
\begin{align}a+\sqrt{a^2+1}&=b+\sqrt{b^2+1}\\&\implies \frac{1}{a+\sqrt{a^2+1}}=\frac{1}{b+\sqrt{b^2+1}}\wedge a+\sqrt{a^2+1}=b+\sqrt{b^2+1}\\
&\implies \sqrt{a^2+1}-a=\sqrt{b^2+1}-b \wedge a+\sqrt{a^2+1}=b+\sqrt{b^2+1}\\
&\implies \sqrt{a^2+1}-a=\sqrt{b^2+1}-b \wedge a+\sqrt{a^2+1}=b+\sqrt{b^2+1}\\&\implies (a+\sqrt{a^2+1})-(\sqrt{a^2+1}-a)=(b+\sqrt{b^2+1})-(\sqrt{b^2+1}-b)
\\&\implies 2a=2b\implies a=b. \end{align}
It is also easy to see that $a=b\implies a+\sqrt{a^2+1}=b+\sqrt{b^2+1}$.  That is,
$$a+\sqrt{a^2+1}=b+\sqrt{b^2+1}\iff a=b.$$
