For $n \in \mathbb{N}$ $\lfloor{\sqrt{n} + \sqrt{n+1}\rfloor} = \lfloor{\sqrt{4n+2}\rfloor}$ This is Exercise 3.20 from Apostol's book. Many of them seem tough and here is one of them which I am struggling with.
For $n \in \mathbb{N}$, prove that this identity is true: $$\Bigl\lfloor{\sqrt{n} + \sqrt{n+1}\Bigl\rfloor} = \Bigl\lfloor{\sqrt{4n+2}\Bigl\rfloor}$$

Note that $$\frac{1}{2} > \sqrt{n+\frac{1}{2}}-\sqrt{n} > \sqrt{n+1}- \sqrt{n+\frac{1}{2}} > 0,$$
since $f(x)=\sqrt{x+1/2}-\sqrt{x}$ is a decreasing function. The inequalities and the fact that $f(x)$ is decreasing follow from noting that $\sqrt{x+1/2} - \sqrt{x} = 1/2(\sqrt{x+1/2} + \sqrt{x}).$
So we can write
$$ 1> \left( \sqrt{n+\frac{1}{2}}-\sqrt{n} \right) - \left( \sqrt{n+1}- \sqrt{n+\frac{1}{2}} \right) > 0.$$
Hence $$1 > 2\sqrt{n+\frac{1}{2}} - \left( \sqrt{n+1}+\sqrt{n} \right) > 0.$$
From which the result follows.
For clarity we've shown that we can write
$$\sqrt{n+1}+\sqrt{n} + r = 2\sqrt{n+\frac{1}{2}} \quad \textrm{ for } 0 < r < 1,$$
where we note that we do not straddle an integer since $\sqrt{4n+1} < \sqrt{n} + \sqrt{n+1},$ and there are no integers between $\sqrt{4n+1}$ and $\sqrt{4n+2}.$
