Cool solution

Calculus Level 4

The series

z Z [ i ] { 0 } 1 z 2 \sum_{z \in \mathbb{Z}[i] \setminus \{ 0 \}} \frac{1}{|z|^2}

is?

Note: Z [ i ] \mathbb{Z}[i] is the set of all gaussian integers ; that is, numbers of the form a + i b a+ib where a and b are integers.

Convergent Divergent

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Jake Lai
May 22, 2016

While the answer is well-known, I happened to come up with this solution myself a while back and it was pretty cool, so I've gotten around to creating a problem for it.


According to Fermat's Christmas theorem, the sum must run through all primes congruent to 1 modulo 4.

Dirichlet's theorem on primes in an arithmetic progression states that p 1 ( m o d 4 ) 1 p \displaystyle \sum_{p \equiv 1 \pmod{4}} \frac{1}{p} diverges.

The sum in question contains the above sum, so therefore it too must diverge.

Nice! That's a solution I've never seen before! Though it can be said to be overkill.

Julian Poon - 5 years ago
Ivan Koswara
Jun 16, 2016

Consider the annulus n 1 < z n n-1 < |z| \le n for all n Z + n \in \mathbb{Z}^+ . For each x { 0 , 1 , 2 , , n 1 } x \in \{0,1,2,\ldots,n-1\} , there exists y Z y \in \mathbb{Z} such that x + i y x + iy is in the annulus. (Proving it is easy; when x + i y 1 = n 1 |x+iy_1| = n-1 , we have y 1 = ( n 1 ) 2 x 2 y_1 = \sqrt{(n-1)^2 - x^2} , and when x + i y 2 = n |x+iy_2| = n , we have y 2 = n 2 x 2 y_2 = \sqrt{n^2 - x^2} . It can be verified that y 2 y 1 1 y_2 - y_1 \ge 1 , thus there is an integer y y such that y 1 < y y 2 y_1 < y \le y_2 . Then x + i y 1 < x + i y x + i y 2 |x+iy_1| < |x+iy| \le |x+iy_2| , so x + i y x+iy is in the annulus.) For this x + i y x+iy , we have x + i y n |x+iy| \le n , thus 1 x + i y 2 1 n 2 \frac{1}{|x+iy|^2} \ge \frac{1}{n^2} . Each annulus contributes at least n n points, so each annulus contributes at least n 1 n 2 = 1 n n \cdot \frac{1}{n^2} = \frac{1}{n} to the sum. Summing over all annuli gives the harmonic series 1 1 + 1 2 + 1 3 + \frac{1}{1} + \frac{1}{2} + \frac{1}{3} + \ldots which diverges; the given sum is not less than this number, so it also diverges.

Moderator note:

Good observation that each annulus ring contributes at least 4 n 4n points (allowing for ± \pm ). On average, it will contribute 2 π n 2 \pi n points.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...