1 Demuestre: para todo $z \in \mathbb{Z}$ no negativo existe exactamente un par $(m,n)$ de enteros positivos tal que $2z=(m+n)^2-m-3n$ .