CH-SMO 2010 Problem 7

Let $m$ , $n$ be natural numbers such that $m+n+1$ is prime and divides $2(m^2+n^2)-1$ . Prove that $m=n$ .

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.