Number theoryDifficulty 7.9National olympiad, round 2Find the answer
For R>1 let DR={(a,b)∈Z2:0<a2+b2<R}. Compute limR→∞∑(a,b)∈DRa2+b2(−1)a+b
A number or a short expression. Spacing and $ signs are ignored.
Solution
Define ER={(a,b)∈Z2\{(0,0)}:a2+b2<R and a+b is even }. Then ∑(a,b)∈DRa2+b2(−1)a+b=2∑(a,b)∈ERa2+b21−∑(a,b)∈DRa2+b21. But a+b is even if and only if one can write (a,b)=(m−n,m+n), and such m,n are unique. Notice also that a2+b2=(m−n)2+(m+n)2=2m2+2n2, hence a2+b2<R if and only if m2+n2<R/2. With that we get: 2∑(a,b)∈ERa2+b21=2∑(m,n)∈DR/2(m−n)2+(m+n)21=∑(m,n)∈DR/2m2+n21. Replacing this in the earlier expression, we obtain ∑(a,b)∈DRa2+b2(−1)a+b=−∑R/2≤a2+b2<Ra2+b21 where the second sum is evaluated for a and b integers. Denote by N(r) the number of lattice points in the open disk x2+y2<r2. Along the circle with radius r with R/2≤r<R, there are N(r+0)−N(r−0) lattice points; each of them contribute r21 in the sum. So we can re-write the sum as a Stieltjes integral: ∑R/2≤a2+b2<Ra2+b21=∫R/2Rr21dN(r). It is well-known that N(r)=πr2+O(r). By integrating by parts, ∫R/2Rr21dN(r)=[r21N(r)]R/2R+∫R/2Rr32N(r)dr=[r2πr2+O(r)]R/2R+2∫R/2Rr3πr2+O(r)dr=2π∫R/2Rrdr+O(1/R)=πlog2+O(1/R). Therefore, $\lim _{R \rightarrow \infty} \sum_{(a, b) \in \mathcal{D}_{R}} \frac{(-1)^{a+b}}{a^{2}+b^{2}}=-\lim _{R \rightarrow \infty} \sum_{R / 2 \leq a^{2}+b^{2}<R} \frac{1}{a^{2}+b^{2}}=-\lim _{R \rightarrow \infty} \int_{\sqrt{R / 2}}^{\sqrt{R}} \frac{1}{r^{2}} \mathrm{~d} N(r)=-\pi \log 2
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: Omni-MATH,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.