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.
Hay varias formas de ver que $x^2+x+1$ es un factor de $x^{2a}+x^a+1$:
Nota. Puede pensarse que esta forma de demostrar que el número es entero es muy rebuscada, pero la idea es muy similar a la demostración de que los números combinatorios son enteros (concretamente, se prueba que un número combinatorio es la suma de los dos que están por encima de él en el triángulo de Tartaglia).
Por inspección directa, los números menores o iguales que 100 que son suma de dos cuadrados son: 1, 2, 4, 5, 8, 9, 10, 13, 16, 17, 18, 20, 25, 26, 29, 32, 34, 36, 37, 40, 41, 45, 49, 50, 52, 53, 58, 61, 64, 65, 68, 72, 73, 74, 80, 81, 82, 85, 89, 90, 97, 98, 100. Estos hacen un total de 43 valores de $P$ entre 1 y 100, lo que responde al apartado (a).
Para responder al apartado (b), veamos ahora que el producto de dos números que se expresan como suma de dos cuadrados vuelve a ser suma de dos cuadrados, pero esto es consecuencia de la siguiente identidad, válida para cualesquiera números $a$, $b$, $c$ y $d$ no necesariamente enteros: $$(a^2+b^2)(c^2+d^2)=(ac+bd)^2+(ad-bc)^2{.}$$