If $m,n\in N$ Prove that there is such a positive integer k, such that $(\sqrt{m}+\sqrt{m+1})^n=\sqrt{k}+\sqrt{k+1}$ If $m,n\in N$ Prove that there is such a positive integer k, such that $(\sqrt{m}+\sqrt{m+1})^n=\sqrt{k}+\sqrt{k+1}$
I attempted to solve this question using binomial coefficients, saying:
$(\sqrt{m}+\sqrt{m+1})^n=\sqrt{k}+\sqrt{k+1}=\sum\limits_{a=0}^n {n\choose a}*\sqrt{m}^{n-a}*\sqrt{m+1}^a$
and from here I was thinking that I had to do something with $\sqrt{m}^{n-a}$ with $\sqrt{k}$ and do something else with $\sqrt{k+1}$ and $\sqrt{m+1}^a$. Unfortunately I couldn't think of what to do with this circumstance.
I then thought of maybe taking $(\sqrt{k}+\sqrt{k+1})^2=(\sum\limits_{a=0}^n {n\choose a}*\sqrt{m}^{n-a}*\sqrt{m+1}^a)^2$, but this immediately over-complicated the question.
Could you please explain to me how to solve this question and how to solve similar questions in the future?

This is a USAMTS problem. The official solution can be found here. You are actually on the right track.
Below is my solution. Notice that I used the same notation as in the original problem.

My proof:
We prove by induction that: If $m$ is odd then
$$x^m = a_m\sqrt n + b_m \sqrt{n+1}, na_m^2+1 = (n+1) b_m^2 $$
If $m$ is even then
$$x^m = c_m + d_m \sqrt{n(n+1)}, c_m^2 = n(n+1) d_m^2 +1 $$
When $m=1$ it's true.
If it's true for $m$, we prove it's true for $m+1$.
Case 1: If $m$ is odd, then
$$x^{m+1} = (a_m\sqrt n + b_m \sqrt{n+1}) (\sqrt n + \sqrt{n+1})$$
$$=na_m + (n+1) b_m + (a_m+b_m) \sqrt{n(n+1)}$$
So $c_{m+1} = na_m+(n+1)b_m, d_{m+1} = (a_m+b_m)$ and
$$c_{m+1}^2-n(n+1)d_{m+1}^2-1$$
$$= n^2 a_m^2 + 2n(n+1)a_mb_m + (n+1)^2b_m^2 - n(n+1)a_m^2 - 2n(n+1)a_mb_m - n(n+1)b_m^2 - 1$$
$$
= - n a_m^2+(n+1)b_m^2 - 1 = 0
$$
Therefore $x^{m+1}$ is groovy.
Case 2: If $m$ is even then
$$x^{m+1} = (c_m+d_m\sqrt{n(n+1)})(\sqrt n + \sqrt{n+1}) $$
$$=(c_m+(n+1)d_m)\sqrt n + (c_m+nd_m)\sqrt{n+1}$$
So $a_{m+1} = c_m+(n+1)d_m, b_{m+1} = c_m + nd_m$ and
$$na_{m+1}^2+1 - (n+1) b_{m+1}^2$$
$$=nc_m^2+2n(n+1)c_md_m+n(n+1)^2 d_m + 1 - (n+1)c_m^2 - 2n(n+1) c_md_m - (n+1) n^2 d_m^2$$
$$=-c_m^2 + (n+1) d_m^2 + 1=0$$
Again $x^{m+1}$ is groovy.
