Maths Olympiad Prep

Library / /23 of 43

Number theory Difficulty 7.9 National olympiad, round 2 Find the answer

For R>1R>1 let DR={(a,b)Z2:0<a2+b2<R}\mathcal{D}_{R}=\left\{(a, b) \in \mathbb{Z}^{2}: 0<a^{2}+b^{2}<R\right\}. Compute limR(a,b)DR(1)a+ba2+b2\lim _{R \rightarrow \infty} \sum_{(a, b) \in \mathcal{D}_{R}} \frac{(-1)^{a+b}}{a^{2}+b^{2}}

A number or a short expression. Spacing and $ signs are ignored.

Solution

Define ER={(a,b)Z2\{(0,0)}:a2+b2<R\mathcal{E}_{R}=\left\{(a, b) \in \mathbb{Z}^{2} \backslash\{(0,0)\}: a^{2}+b^{2}<R\right. and a+ba+b is even }\}. Then (a,b)DR(1)a+ba2+b2=2(a,b)ER1a2+b2(a,b)DR1a2+b2\sum_{(a, b) \in \mathcal{D}_{R}} \frac{(-1)^{a+b}}{a^{2}+b^{2}}=2 \sum_{(a, b) \in \mathcal{E}_{R}} \frac{1}{a^{2}+b^{2}}-\sum_{(a, b) \in \mathcal{D}_{R}} \frac{1}{a^{2}+b^{2}}. But a+ba+b is even if and only if one can write (a,b)=(mn,m+n)(a, b)=(m-n, m+n), and such m,nm, n are unique. Notice also that a2+b2=(mn)2+(m+n)2=2m2+2n2a^{2}+b^{2}=(m-n)^{2}+(m+n)^{2}=2 m^{2}+2 n^{2}, hence a2+b2<Ra^{2}+b^{2}<R if and only if m2+n2<R/2m^{2}+n^{2}<R / 2. With that we get: 2(a,b)ER1a2+b2=2(m,n)DR/21(mn)2+(m+n)2=(m,n)DR/21m2+n22 \sum_{(a, b) \in \mathcal{E}_{R}} \frac{1}{a^{2}+b^{2}}=2 \sum_{(m, n) \in D_{R / 2}} \frac{1}{(m-n)^{2}+(m+n)^{2}}=\sum_{(m, n) \in D_{R / 2}} \frac{1}{m^{2}+n^{2}}. Replacing this in the earlier expression, we obtain (a,b)DR(1)a+ba2+b2=R/2a2+b2<R1a2+b2\sum_{(a, b) \in \mathcal{D}_{R}} \frac{(-1)^{a+b}}{a^{2}+b^{2}}=-\sum_{R / 2 \leq a^{2}+b^{2}<R} \frac{1}{a^{2}+b^{2}} where the second sum is evaluated for aa and bb integers. Denote by N(r)N(r) the number of lattice points in the open disk x2+y2<r2x^{2}+y^{2}<r^{2}. Along the circle with radius rr with R/2r<R\sqrt{R / 2} \leq r<\sqrt{R}, there are N(r+0)N(r0)N(r+0)-N(r-0) lattice points; each of them contribute 1r2\frac{1}{r^{2}} in the sum. So we can re-write the sum as a Stieltjes integral: R/2a2+b2<R1a2+b2=R/2R1r2 dN(r)\sum_{R / 2 \leq a^{2}+b^{2}<R} \frac{1}{a^{2}+b^{2}}=\int_{\sqrt{R / 2}}^{\sqrt{R}} \frac{1}{r^{2}} \mathrm{~d} N(r). It is well-known that N(r)=πr2+O(r)N(r)=\pi r^{2}+O(r). By integrating by parts, R/2R1r2 dN(r)=[1r2N(r)]R/2R+R/2R2r3N(r)dr=[πr2+O(r)r2]R/2R+2R/2Rπr2+O(r)r3 dr=2πR/2Rdrr+O(1/R)=πlog2+O(1/R)\int_{\sqrt{R / 2}}^{\sqrt{R}} \frac{1}{r^{2}} \mathrm{~d} N(r) =\left[\frac{1}{r^{2}} N(r)\right]_{\sqrt{R / 2}}^{\sqrt{R}}+\int_{\sqrt{R / 2}}^{\sqrt{R}} \frac{2}{r^{3}} N(r) \mathrm{d} r =\left[\frac{\pi r^{2}+O(r)}{r^{2}}\right]_{\sqrt{R / 2}}^{\sqrt{R}}+2 \int_{\sqrt{R / 2}}^{\sqrt{R}} \frac{\pi r^{2}+O(r)}{r^{3}} \mathrm{~d} r =2 \pi \int_{\sqrt{R / 2}}^{\sqrt{R}} \frac{\mathrm{d} r}{r}+O(1 / \sqrt{R})=\pi \log 2+O(1 / \sqrt{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.