MathNet 2010 — Part 01 Question 78

Let $f: \mathbb{N} \to \mathbb{N}$ be a function such that $f(1) = 1$ and $f(n) = n - f(f(n-1))$ for any $n \ge 2$. Prove that $f(n + f(n)) = n$ for any $n$.