MathNet 2020 — Math Olympiad Vault — Part 06 Question 95

Let $a$ and $b$ be two different natural numbers such that $a^2 + b^2 + 1$ is divisible by $2ab + 1$. Prove that $2ab + 1$ is a perfect square (is a square of an integer).