OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Ahora bien para $n\leq -2$, la función decrece desde el límite $\frac{4}{3}$ hasta $f(-2)=1$, lo que nos dice que para $n$ en este intervalo sólo tenemos la solución $(m,n)=(1,-2)$. Ahora comprobamos algunos valores: \begin{align*} f(-1)&=\frac{8}{7},&f(0)&\text{ no definido},&f(1)&=-8,\\ f(2)&=5,&f(3)&=\frac{8}{3},&f(4)&=\frac{17}{8}. \end{align*} Como $f(5)=\frac{104}{55}\lt 2$, deducimos que la función decrece desde este valor hasta el límite $\frac{4}{3}\gt 1$, luego no hay soluciones enteras para $n\geq 5$.
Hemos probado que $(1,-2)$, $(-8,1)$ y $(5,2)$ son las únicas soluciones.
Nota. Si sólo buscamos las soluciones positivas, hay otro truco que merece la pena comentar. Si $m=1$ ó $n=1$, entonces $\frac{1}{m}+\frac{1}{n}+\frac{1}{mn^2}\gt 1\gt\frac{3}{4}$, luego supondremos que $m\geq 2$ y $n\geq 2$ en lo que sigue. Comenzamos probando valores:
Es necesario darse cuenta de que $n$ no puede ser $-1$, pues en tal caso el enunciado no se cumpliría. Por reducción al absurdo, si $n=-1$, la condición del enunciado nos dice que $\frac{1}{r+q}=0$, lo que es una contradicción.
De esta forma, la información del enunciado nos dice que $N^2$ tiene exactamente $2005$ divisores. Si descomponemos en divisores primos $N=p_1^{e_1}p_2^{e_2}\cdots p_k^{e_k}$ (aquí $p_1,\ldots,p_k$ son los divisores primos de $N$ y $e_1,\ldots,e_k$ sus exponentes), entonces $N^2=p_1^{2e_1}p_2^{2e_2}\cdots p_k^{2e_k}$, con lo que el número de divisores de $N^2$ es $(2e_1+1)(2e_2+1)\ldots(2e_k+1)=2005$. Como $2005=5\cdot 401$ y $401$ es primo, tenemos dos posibilidades:
Nota. Otra posible solución más directa al problema consiste en dividir ambos términos por $z$, que es siempre distinto de cero, y escribir el resultado como $(zx^2-1)(zy^2-1)=1$, de donde $zx^2-1$ y $zy^2-1$ tienen que valer $\pm 1$. De aquí es fácil llegar a las cuatro soluciones arriba descritas.