MathNet 2021 — Part 05 Question 86

Prove that for every nonnegative integer $z$ there is exactly one ordered pair $(m,n)$ of positive integers such that $2z=(m+n)^2-m-3n$.