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. Fractions can be typed as 3/2, and spacing doesn't matter.
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, $limR→∞∑(a, b) D R (-1) a+b a 2 +b 2 =- R R / 2 ≤a2+b2<Ra2+b21=−limR→∞∫R/2Rr21dN(r)=−π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 reproduced verbatim; metadata (topic, difficulty) added by this project.