Problem

Source: Stars of Mathematics 2007, Day 1, Problem 1

Tags: number theory, algebra



Prove that for every non-negative integer $ n, $ there exists a non-negative integer $ m $ such that $$ \left( 1+\sqrt{2} \right)^n=\sqrt m +\sqrt{m+1} . $$