Demuestre que para cada entero positivo $n$ existe un par ordenado único $(a,b)$ de enteros positivos tal que \[ n = \frac{1}{2}(a + b - 1)(a + b - 2) + a . \]