Yo debo demostrar que $$\sum_{(m,n)\in \Bbb Z \times \Bbb Z}\frac{1}{m^2+n^2+1}$$ diverges. I understand that given $K > 0$, I must find a finite subset of $\Bbb Z \times \Bbb Z$, say, $F$, such that $\sum_{(m,n)\in F}\frac{1}{m^2+n^2+1} > K$.
Sé que no puedo ser perezoso y sólo a pie en las diagonales, porque $\sum 1/(2n^2+1) < +\infty$.
Llame a $Q_n = ([-n,n]\times[-n,n])\cap (\Bbb Z \times \Bbb Z)$. Seguro, $Q_n$ es finita para todas las $n$. Dado $K > 0$, quiero encontrar a $n$ tales que la suma de $Q_n$$K$. No puedo pensar en una mejor elección de un conjunto finito para calcular la suma: yo voy en todas las direcciones, sin duda debe volar. Por ejemplo, $Q_2$:
Usando y abusando de la simetría, tengo hasta el momento (esperemos correcta): $$ \sum_{(a,b)\in Q_n}\frac{1}{a^2+b^2+1} = 1+4\sum_{i=1}^n\frac{1}{i^2+1} +4\sum_{i=1}^n\frac{1}{2i^2+1} +8\sum_{1\leq i<j\leq n}\frac{1}{i^2+j^2+1}.$$
Huelga decir que esto es demasiado complicado de una expresión para mí encontrar $n = n(K)$ para hacer el trabajo - no sé aún cómo encontrar cerradas las expresiones para cada término anterior. Tal vez el uso de $Q_n$ es una exageración, y podemos encontrar un conjunto más pequeño para calcular la suma.
Sugerencias, ideas, una solución mágica? Gracias!