MathNet 2006 — Part 04 Question 15

Prove that for every positive integer $n$ there exists a unique ordered pair $(a, b)$ of positive integers such that
$$
n = \frac{1}{2}(a + b - 1)(a + b - 2) + a
$$