OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Supongamos ahora que se da la igualdad, con lo que tenemos dos igualdades para trabajar: $ab=1+n^2$ y $(a-b)^2=4n-3$. Entonces, $(a+b)^2=(a-b)^2+4ab=(2n+1)^2$, luego $a+b=2n+1$. Por otro lado, tenemos que $4n-3$ tiene que ser un cuadrado impar, pongamos $(2m+1)^2$ para cierto entero $m$, de donde $n=m^2+m+1$. Finalmente, de las ecuaciones $a+b=2n+1$ y $a-b=\sqrt{4n-3}$, despejamos $a$ y $b$ en función de $m$. Tenemos así que \begin{eqnarray*} n&=&m^2+m+1\\ a&=&m^2+2m+2\\ b&=&m^2+1 \end{eqnarray*} para cierto entero $m\geq 0$. Como estas soluciones cumplen la igualdad para todo $m$, deducimos que son las únicas.
Nota. $\lfloor x\rfloor$ denota la parte entera de un número real $x$.