一个丢番图不等式A Diophantine inequality

1. 定理要的是 \(|\sum\lambda_j x_j^2|\lt\varepsilon\)。两边同除以 \(\varepsilon>0\)（除以正数不改变不等号方向）： \[ \left|\frac{\lambda_1}{\varepsilon}x_1^2+\cdots+\frac{\lambda_5}{\varepsilon}x_5^2\right|\lt 1. \]
2. 记 \(\mu_j=\lambda_j/\varepsilon\)。这组新系数 \(\mu_j\) 仍满足定理全部条件：没有 0、不全同号（同除正数不改变符号）、\(\mu_1/\mu_2=\lambda_1/\lambda_2\) 仍无理。
3. 所以"对任意系数证明 \(\lt 1\) 可解"这一件事，自动覆盖了"对任意 \(\varepsilon\) 证明 \(\lt\varepsilon\) 可解"。于是只需主攻把右端固定为 \(1\) 的式子 (20.1)。

这是一个常见手法：把一个"带参数 \(\varepsilon\)"的命题，通过缩放变量/系数，归约成一个"参数固定"的命题，少操一份心。

1. 起点公式 \(\int_{-\infty}^{\infty}(\sin\pi\alpha/\pi\alpha)^2\,d\alpha=1\)。这是著名的"sinc 平方积分"（Fejér 核的总质量），属于分析里的标准结论。它说那个钟形权重的总面积恰好是 1。这里直接当已知用。
2. 缩放得到 \(\int(\sin\pi\eta\alpha/\pi\alpha)^2 d\alpha=|\eta|\)。在第 1 步积分里做换元 \(\beta=\eta\alpha\)（设 \(\eta\ne0\)）。则 \(\alpha=\beta/\eta\)，\(d\alpha=d\beta/\eta\)，而 \(\pi\alpha=\pi\beta/\eta\)。代入： \[ \int\left(\frac{\sin\pi\eta\alpha}{\pi\alpha}\right)^2 d\alpha=\int\left(\frac{\sin\pi\beta}{\pi\beta/\eta}\right)^2\frac{d\beta}{\eta}=\eta^2\cdot\frac1\eta\int\left(\frac{\sin\pi\beta}{\pi\beta}\right)^2 d\beta=\eta. \] 若 \(\eta\lt0\)，换元会让积分上下限对调并多出一个负号，最终得到 \(|\eta|\)（积分本身非负，所以取绝对值）。这条是后面三处"\(\sin^2/\alpha^2\) 积分"的公式来源。
3. 复指数化成余弦：丢掉虚部。由欧拉公式 \(e(\alpha Q)=\cos2\pi\alpha Q+i\sin2\pi\alpha Q\)。被积函数另一半 \((\sin\pi\alpha/\pi\alpha)^2\) 是偶函数（关于 \(\alpha\to-\alpha\) 不变）。而 \(\sin2\pi\alpha Q\) 是奇函数，奇×偶=奇，奇函数在对称区间 \((-\infty,\infty)\) 上的积分为 0。于是虚部消失，只剩余弦项 \(\cos2\pi\alpha Q\cdot(\sin\pi\alpha/\pi\alpha)^2\)。这解释了第一个等号。
4. 关键三角恒等式。要把 \(\cos2\pi\alpha Q\cdot\sin^2\pi\alpha\) 拆成三个 \(\sin^2\) 之差。用降幂公式 \(\sin^2\theta=\tfrac12(1-\cos2\theta)\)： \[ \sin^2\pi\alpha(Q{+}1)+\sin^2\pi\alpha(Q{-}1)-2\sin^2\pi\alpha Q \] \[ =\tfrac12\big[(1-\cos2\pi\alpha(Q{+}1))+(1-\cos2\pi\alpha(Q{-}1))-2(1-\cos2\pi\alpha Q)\big] \] \[ =\tfrac12\big[2\cos2\pi\alpha Q-\cos2\pi\alpha(Q{+}1)-\cos2\pi\alpha(Q{-}1)\big]. \] 再用和差化积 \(\cos(A{+}B)+\cos(A{-}B)=2\cos A\cos B\)，取 \(A=2\pi\alpha Q,\ B=2\pi\alpha\)： \[ \cos2\pi\alpha(Q{+}1)+\cos2\pi\alpha(Q{-}1)=2\cos2\pi\alpha Q\cos2\pi\alpha. \] 代回： \[ =\tfrac12\big[2\cos2\pi\alpha Q-2\cos2\pi\alpha Q\cos2\pi\alpha\big]=\cos2\pi\alpha Q\,(1-\cos2\pi\alpha)=\cos2\pi\alpha Q\cdot2\sin^2\pi\alpha. \] 所以 \(\cos2\pi\alpha Q\cdot\sin^2\pi\alpha=\tfrac12\big[\sin^2\pi\alpha(Q{+}1)+\sin^2\pi\alpha(Q{-}1)-2\sin^2\pi\alpha Q\big]\)。把它除以 \((\pi\alpha)^2\) 并积分，就得到第二个等号（那个 \(\tfrac12\) 和分子的三项）。
5. 用第 2 步的公式逐项积分。对每一项用 \(\int(\sin\pi\eta\alpha/\pi\alpha)^2 d\alpha=|\eta|\)：第一项 \(\eta=Q+1\) 给 \(|Q+1|\)，第二项 \(\eta=Q-1\) 给 \(|Q-1|\)，第三项 \(\eta=Q\) 给 \(2|Q|\)（前面带 \(-2\)）。整体乘 \(\tfrac12\)，得 \[ \tfrac12\{|Q+1|+|Q-1|-2|Q|\}. \]
6. 分情况算出最终结果。
   • 若 \(|Q|\le1\)（即 \(-1\le Q\le1\)）：\(Q+1\ge0\) 故 \(|Q+1|=Q+1\)；\(Q-1\le0\) 故 \(|Q-1|=1-Q\)。相加 \(=2\)。于是 \(\tfrac12\{2-2|Q|\}=1-|Q|\)。
   • 若 \(Q\ge1\)：\(|Q+1|=Q+1,\ |Q-1|=Q-1\)，相加 \(=2Q\)，而 \(2|Q|=2Q\)，差为 0。
   • 若 \(Q\le-1\)：对称地同样得 0。
   合起来正是引理所断言的分段结果。

1. 对每一组固定的整数 \((x_1,\dots,x_5)\)，先看引理 20.1。取 \(Q=\lambda_1x_1^2+\cdots+\lambda_5x_5^2\)，引理 20.1 说 \[ \int_{-\infty}^{\infty}e(\alpha Q)\left(\frac{\sin\pi\alpha}{\pi\alpha}\right)^2 d\alpha=\begin{cases}1-|Q|,&|Q|\le1\\0,&|Q|\ge1.\end{cases} \]
2. 把指数里的 \(Q\) 拆开。因为 \(e\) 满足 \(e(A+B)=e(A)e(B)\)： \[ e(\alpha Q)=e\big(\alpha(\lambda_1x_1^2+\cdots+\lambda_5x_5^2)\big)=e(\lambda_1\alpha\,x_1^2)\,e(\lambda_2\alpha\,x_2^2)\cdots e(\lambda_5\alpha\,x_5^2). \] 这一步把"五个变量纠缠在一起"的指数，拆成了五个各管一个变量的因子。
3. 对所有 \((x_1,\dots,x_5)\)（每个从 1 到 \(P\)）求和，并与积分交换次序。左边变成 \[ \sum_{x_1=1}^P\cdots\sum_{x_5=1}^P\int_{-\infty}^{\infty}e(\lambda_1\alpha x_1^2)\cdots e(\lambda_5\alpha x_5^2)\left(\frac{\sin\pi\alpha}{\pi\alpha}\right)^2 d\alpha. \] 有限个求和与积分可以交换顺序（项数有限，绝对收敛），把求和移到积分内部： \[ \int_{-\infty}^{\infty}\left(\sum_{x_1=1}^Pe(\lambda_1\alpha x_1^2)\right)\cdots\left(\sum_{x_5=1}^Pe(\lambda_5\alpha x_5^2)\right)\left(\frac{\sin\pi\alpha}{\pi\alpha}\right)^2 d\alpha. \] 这里用了"求和的乘积 = 乘积的求和"（即 \((\sum_ia_i)(\sum_jb_j)=\sum_{i,j}a_ib_j\) 的多重版本）。
4. 每个括号就是一个 \(S\)。因为 \(\sum_{x=1}^Pe(\lambda_j\alpha\,x^2)=S(\lambda_j\alpha)\)（把 \(S\) 定义里的 \(\alpha\) 换成 \(\lambda_j\alpha\)）。于是左边正好是 (20.2) 的左端 \(\int S(\lambda_1\alpha)\cdots S(\lambda_5\alpha)(\sin\pi\alpha/\pi\alpha)^2 d\alpha\)。
5. 右边由引理 20.1 直接给出。对每组 \((x_1,\dots,x_5)\)，内层积分等于 \(1-|Q|\)（当 \(|Q|\lt1\)）或 \(0\)（当 \(|Q|\ge1\)）。所以求和后只剩 \(|Q|\lt1\) 的那些组有贡献，得 \[ \sum_{\substack{1\le x_j\le P\\|Q|\lt1}}(1-|Q|). \] 这正是 (20.2) 的右端。

(20.2) 的意义：右端是一堆正数（每项 \(1-|Q|\) 在 \(|Q|\lt1\) 时为正）的和，而且每出现一组满足 (20.1) 的解就贡献一个正项。所以"右端 \(\gt0\)"⟺"存在满足 (20.1) 的整数解"。我们的全部目标就转化为：证明左端那个积分是正的（而且很大）。这就是把"找整数解"翻译成了"估计一个积分"。

1. 把上面推导里所有"对整数 \(x_j\) 求和 \(\sum_{x_j=1}^P\)"统统换成"对实数 \(x_j\) 积分 \(\int_0^P dx_j\)"。
2. 于是每个 \(\sum_{x}e(\lambda_j\alpha x^2)\) 变成 \(\int_0^P e(\lambda_j\alpha x^2)dx=I(\lambda_j\alpha)\)。左端成了五个 \(I\) 的乘积。
3. 右端则把"对满足 (20.1) 的整点求和"换成"对满足 (20.1) 的实点（一块五维区域）积分"，得到 \(\int\cdots\int(1-|Q|)dx_1\cdots dx_5\)。

为什么要造这个"假想的连续版"？因为右端是个普通的多重定积分，可以老老实实算出量级（引理 20.2 会证它 \(\gg P^3\)）；它充当真实问题 (20.2) 的标尺。证明策略就是：先量好标尺 (20.3)，再证明 (20.2) 与 (20.3) 只差一点点。

1. 换元 \(y_i=|\lambda_i|x_i^2\) 的细节。因为 \(0\le x_i\le P\)，所以 \(y_i\) 从 \(0\) 跑到 \(|\lambda_i|P^2\)。由 \(y_i=|\lambda_i|x_i^2\) 得 \(x_i=(y_i/|\lambda_i|)^{1/2}\)，于是 \[ dx_i=\frac12|\lambda_i|^{-1/2}y_i^{-1/2}\,dy_i. \] 五个变量都这样换，雅可比（各 \(dx_i\) 的乘积）就产生因子 \(\tfrac12|\lambda_i|^{-1/2}\cdot y_i^{-1/2}\)。把 \(\prod\tfrac12|\lambda_i|^{-1/2}\) 这堆不依赖 \(y\) 的常数提到积分外（这就是"除去一个常数因子"），剩下被积函数里出现 \((y_1\cdots y_5)^{-1/2}\)。
2. \(Q\) 变成 \(\pm y\) 的带符号和。原来 \(Q=\sum\lambda_ix_i^2=\sum\operatorname{sgn}(\lambda_i)\,|\lambda_i|x_i^2=\sum\operatorname{sgn}(\lambda_i)\,y_i\)。因为约定 \(\lambda_1\gt0,\lambda_5\lt0\)，写成 \(y_1\pm y_2\pm y_3\pm y_4-y_5\)（最后一项一定带减号，第一项带正号，中间符号视各 \(\lambda_i\) 而定）。条件 \(|Q|\lt1\) 就成了 \(|y_1\pm\cdots-y_5|\lt1\)，而 \(1-|Q|\) 就成了 \(1-|y_1\pm\cdots-y_5|\)。
3. 为什么"只取一块子区域"就够。被积函数 \((1-|\cdots|)(y_1\cdots y_5)^{-1/2}\) 在积分域上处处非负（因为 \(1-|\cdots|\gt0\) 且 \(y_i^{-1/2}\gt0\)）。所以整个积分 \(\ge\) 任何一块子区域上的积分。我们只要找到一块"又大、被积函数又不太小"的子区域，给出下界即可。这是估计下界的常用招：缩小积分域。
4. 选定的子区域。令 \(\gamma\) 是一个固定的小正常数，满足 \(9\gamma\lt\min_j|\lambda_j|\)。在子区域里规定：\(y_2,y_3,y_4\in(\tfrac12\gamma P^2,\gamma P^2)\)（各自长度 \(\tfrac12\gamma P^2\)）；\(y_5\in(4\gamma P^2,5\gamma P^2)\)（长度 \(\gamma P^2\)）；最后让 \(y_1\) 落在使 \(|y_1\pm y_2\pm y_3\pm y_4-y_5|\lt\tfrac12\) 的范围内。
5. 这块区域确实在原积分域内。需要验证两点：(a) 每个 \(0\lt y_j\lt|\lambda_j|P^2\)；(b) \(|y_1\pm\cdots-y_5|\lt1\)。
   对 (b)：我们要求的是 \(\lt\tfrac12\lt1\)，比原条件更严，自动满足。
   对 (a)：\(y_2,y_3,y_4\lt\gamma P^2\lt|\lambda_j|P^2\)（因 \(\gamma\lt\min|\lambda_j|\)）；\(y_5\lt5\gamma P^2\lt|\lambda_5|P^2\)（因 \(5\gamma\lt9\gamma\lt|\lambda_5|\)）；而 \(y_1\) 由约束 \(|y_1\pm y_2\pm y_3\pm y_4-y_5|\lt\tfrac12\) 反解，\(y_1\) 约等于 \(y_5\mp y_2\mp y_3\mp y_4\)，其值不超过 \(y_5+y_2+y_3+y_4\lt5\gamma P^2+3\gamma P^2=8\gamma P^2\lt9\gamma P^2\lt|\lambda_1|P^2\)，且因 \(y_5\) 较大、其余较小而保证 \(y_1\gt0\)。所以 \(9\gamma\lt\min|\lambda_j|\) 这个条件正是为了让整块区域稳稳落在积分域内。
6. 子区域的体积 \(\gg(P^2)^4\)。给定 \(y_2,y_3,y_4,y_5\) 后，\(y_1\) 被限制在一个长度为常数（约 \(1\)，与 \(P\) 无关）的小区间里。而 \(y_2,y_3,y_4,y_5\) 各自的取值区间长度都 \(\propto P^2\)。所以五维体积 \(\approx(\text{常数})\times(\tfrac12\gamma P^2)^3\times(\gamma P^2)\times(\text{常数})\gg(P^2)^4=P^8\)。
7. 被积函数的下界。在子区域里，\(1-|y_1\pm\cdots-y_5|\gt1-\tfrac12=\tfrac12\)（常数级，\(\gg1\)）。而每个 \(y_i\le5\gamma P^2\ll P^2\)，所以 \((y_1\cdots y_5)^{-1/2}\gg(P^2\cdots P^2)^{-1/2}=(P^{10})^{-1/2}=P^{-5}\)。故被积函数 \(\gg P^{-5}\)。
8. 合成下界。积分 \(\ge\)（子区域体积）\(\times\)（被积函数下界）\(\gg P^8\times P^{-5}=P^3\)。证毕。

这就量好了标尺：连续模型 (20.3) 给出的主项是 \(P^3\) 的量级。它告诉我们后面所有"误差"只要能压到 \(o(P^3)\)，主项就稳住了。

\(\lambda=\max|\lambda_j|\)

五个系数绝对值里最大的那个，固定常数。

"\(S(\lambda_j\alpha)=I(\lambda_j\alpha)+O(1)\)"

意思是：求和 \(S\) 与积分 \(I\) 只差一个有界的量（\(O(1)\)：被某个不依赖 \(P,\alpha\) 的常数控制）。注意 \(S,I\) 本身可以大到 \(P\) 的量级，而它们的差却只有 \(O(1)\)——所以在主弧上，相对而言 \(S\) 与 \(I\) 几乎一模一样。

1. van der Corput 引理（本书引理 9.1）说什么。它是一个"求和≈积分"的定理：若 \(f\) 在 \([0,P]\) 上的导数满足 \(|f'(x)|\le\tfrac12\)（变化足够缓和）且 \(f''\) 不变号（单调），则 \[ \sum_{x=1}^{P}e(f(x))=\int_0^P e(f(x))\,dx+O(1). \] 直觉：当 \(f\) 变化平缓时，相邻整点上的 \(e(f(x))\) 几乎一样，求和就很接近积分，误差只在端点处累积出 \(O(1)\)。这本质是 Euler–Maclaurin / 一阶导数控制下的"梯形逼近"思想。
2. 代入 \(f(x)=\lambda_j\alpha x^2\)。这正是 \(S(\lambda_j\alpha)=\sum e(\lambda_j\alpha x^2)\) 与 \(I(\lambda_j\alpha)=\int e(\lambda_j\alpha x^2)dx\) 的相位函数。
3. 验证 \(|f'(x)|\le\tfrac12\)。求导 \(f'(x)=2\lambda_j\alpha x\)。在 \([0,P]\) 上 \(x\le P\)，故 \(|f'(x)|\le2|\lambda_j\alpha|P\)。又 \(|\lambda_j|\le\lambda\)，且条件给 \(|\alpha|\lt(4\lambda P)^{-1}\)，所以 \[ 2|\lambda_j\alpha|P\le2\lambda|\alpha|P\lt2\lambda P\cdot\frac{1}{4\lambda P}=\frac12. \] 恰好 \(\le\tfrac12\)，满足引理 9.1 的条件。这正是主弧半径取成 \((4\lambda P)^{-1}\) 的原因——这个数被精心选出，刚好让导数不超过 \(\tfrac12\)。
4. 验证 \(f''\) 不变号。\(f''(x)=2\lambda_j\alpha\) 是个常数，符号由 \(\lambda_j\alpha\) 决定，全程不变号。满足条件。
5. 两个条件都满足，van der Corput 引理直接给出 \(S(\lambda_j\alpha)=I(\lambda_j\alpha)+O(1)\)。

1. 估计 \(|I(\lambda_j\alpha)|\ll\min(P,|\alpha|^{-1/2})\)。这是说 \(I\) 同时被两个上界压住，取小的那个。
   • 上界 \(P\)：\(|I(\lambda_j\alpha)|=\big|\int_0^Pe(\lambda_j\alpha x^2)dx\big|\le\int_0^P|e(\lambda_j\alpha x^2)|dx=\int_0^P1\,dx=P\)（因为 \(|e(\cdot)|=1\)）。这是"显然"的那半。
   • 上界 \(|\alpha|^{-1/2}\)：在 \(I\) 里换元 \(t=|\lambda_j\alpha|x^2\)。则 \(x=(t/|\lambda_j\alpha|)^{1/2}\)，\(dx=\tfrac12|\lambda_j\alpha|^{-1/2}t^{-1/2}dt\)，\(x\) 从 0 到 \(P\) 对应 \(t\) 从 0 到 \(|\lambda_j\alpha|P^2\)。又 \(\lambda_j\alpha x^2=\pm t\)（符号取 \(\lambda_j\alpha\) 的符号）。代入得 \[ I(\lambda_j\alpha)=\frac12|\lambda_j\alpha|^{-1/2}\int_0^{|\lambda_j\alpha|P^2}t^{-1/2}e(\pm t)\,dt. \] 最后那个积分 \(\int_0^X t^{-1/2}e(\pm t)dt\) 是著名的 Fresnel 型积分：尽管被积函数在 0 附近有 \(t^{-1/2}\) 的奇性、在远处不衰减，但由于 \(e(\pm t)\) 的剧烈振荡相互抵消，这个积分对所有上限 \(X\) 都一致有界（即 \(\le\) 某常数，与 \(X\) 无关）。因此 \(|I(\lambda_j\alpha)|\ll|\lambda_j\alpha|^{-1/2}\ll|\alpha|^{-1/2}\)（\(\lambda_j\) 是固定常数）。
   两个上界都成立，所以取较小者：\(|I(\lambda_j\alpha)|\ll\min(P,|\alpha|^{-1/2})\)。直觉：\(\alpha\) 很小时 \(|\alpha|^{-1/2}\) 很大，是 \(P\) 占优；\(\alpha\) 较大时 \(|\alpha|^{-1/2}\) 小，由它占优。
2. 同样的估计搬到 \(S\) 上。在主弧 \(|\alpha|\lt(4\lambda P)^{-1}\) 里，引理 20.3 给 \(S(\lambda_j\alpha)=I(\lambda_j\alpha)+O(1)\)，所以 \[ |S(\lambda_j\alpha)|\le|I(\lambda_j\alpha)|+O(1)\ll\min(P,|\alpha|^{-1/2}). \] （那个 \(O(1)\) 被 \(\min(P,|\alpha|^{-1/2})\) 吸收，因为在主弧上这个 min 至少是常数级。）
3. 估计两个乘积之差 \(\ll\min(P^4,\alpha^{-2})\)。记 \(m=\min(P,|\alpha|^{-1/2})\)。我们有每个 \(|S_j|,|I_j|\ll m\)，且 \(S_j-I_j=O(1)\)。用"逐项替换"的望远镜法： \[ S_1S_2S_3S_4S_5-I_1I_2I_3I_4I_5=\sum_{j=1}^{5}I_1\cdots I_{j-1}(S_j-I_j)S_{j+1}\cdots S_5. \] （即一次换一个因子从 \(I\) 变 \(S\)，逐项相消展开。）每一项里有 4 个 \(I\) 或 \(S\) 因子（各 \(\ll m\)）乘上一个差 \(S_j-I_j=O(1)\)，故每项 \(\ll m^4\cdot O(1)=O(m^4)\)。五项相加仍 \(\ll m^4\)。而 \(m^4=\min(P,|\alpha|^{-1/2})^4=\min(P^4,|\alpha|^{-2})\)。这就解释了那条 \(\ll\min(P^4,\alpha^{-2})\)。
4. 差的积分是 \(O(P^2)\)。把 \(\int_{|\alpha|\lt(4\lambda P)^{-1}}\min(P^4,\alpha^{-2})d\alpha\) 分两段算（用对称性只算 \(\alpha\gt0\) 再乘 2）：
   • 当 \(0\lt\alpha\lt P^{-2}\)：此时 \(\alpha^{-2}\gt P^4\)，min 取 \(P^4\)。这段长度 \(P^{-2}\)，贡献 \(\le P^4\cdot P^{-2}=P^2\)。
   • 当 \(P^{-2}\lt\alpha\lt(4\lambda P)^{-1}\)：min 取 \(\alpha^{-2}\)。\(\int_{P^{-2}}^{\cdots}\alpha^{-2}d\alpha=\big[-\alpha^{-1}\big]\le\frac{1}{P^{-2}}=P^2\)（下限 \(P^{-2}\) 处贡献最大）。
   两段都 \(\ll P^2\)，所以差的积分是 \(O(P^2)\)。注意 \(P^2=o(P^3)\)：这个误差比主项 \(P^3\) 小一个量级，正合我们意。
5. 于是把 \(S\)-积分换成 \(I\)-积分。因为 \(S\)-积分 \(=\) \(I\)-积分 \(+O(P^2)\)，要证 \(S\)-积分 \(\gg P^3\)，只需证主弧上的 \(I\)-积分 \(\gg P^3\)。
6. 主弧上的 \(I\)-积分 \(\gg P^3\)。引理 20.2 已证整条直线上的 \(I\)-积分 \(\gg P^3\)。我们只要说明"切掉主弧之外那部分"损失不大，剩下的主弧部分仍 \(\gg P^3\)。切掉的部分（远尾 \(|\alpha|\ge(4\lambda P)^{-1}\)）用第 1 步的 \(|I(\lambda_j\alpha)|\ll|\alpha|^{-1/2}\)，五个相乘 \(\ll|\alpha|^{-5/2}\)，再注意 \((\sin\pi\alpha/\pi\alpha)^2\le1\)： \[ \int_{|\alpha|\ge(4\lambda P)^{-1}}|I_1\cdots I_5|\,d\alpha\ll\int_{|\alpha|\ge(4\lambda P)^{-1}}\alpha^{-5/2}\,d\alpha. \] 算这个尾积分：\(\int_c^{\infty}\alpha^{-5/2}d\alpha=\big[\tfrac{\alpha^{-3/2}}{-3/2}\big]_c^{\infty}=\tfrac23c^{-3/2}\)，取 \(c=(4\lambda P)^{-1}\)，得 \(\tfrac23(4\lambda P)^{3/2}\ll P^{3/2}\)。所以远尾贡献 \(\ll P^{3/2}=o(P^3)\)。
7. 相减得结论。主弧上的 \(I\)-积分 \(=\) 整条直线 \(I\)-积分 \(-\) 远尾 \(\gg P^3-O(P^{3/2})\gg P^3\)。再由第 4–5 步，\(S\)-积分 \(\gg P^3\)。证毕。

1. \(|S(\alpha)|^4\) 展开成四重和。注意 \(|S|^4=S\cdot S\cdot\overline{S}\cdot\overline{S}=S(\alpha)^2\overline{S(\alpha)}^2\)，其中 \(\overline{S}\) 是共轭，\(\overline{e(\alpha x^2)}=e(-\alpha x^2)\)。于是 \[ |S(\alpha)|^4=\sum_{x_1,x_2,y_1,y_2=1}^{P}e\big(\alpha(x_1^2+x_2^2-y_1^2-y_2^2)\big). \]
2. 正交关系把积分变成"数解"。关键事实：对整数 \(n\)， \[ \int_0^1e(\alpha n)\,d\alpha=\int_0^1e^{2\pi in\alpha}d\alpha=\begin{cases}1,&n=0\\0,&n\ne0.\end{cases} \] （\(n=0\) 时被积函数恒为 1，积分为 1；\(n\ne0\) 时它在一个周期上积分为 0。）把这个套到上面四重和的每一项：只有当指数里的整数 \(x_1^2+x_2^2-y_1^2-y_2^2=0\) 时该项积分为 1，否则为 0。所以 \[ \int_0^1|S(\alpha)|^4d\alpha=\#\{(x_1,x_2,y_1,y_2):1\le x_i,y_i\le P,\ x_1^2+x_2^2=y_1^2+y_2^2\}. \] 这就是"积分 = 方程 \(x_1^2+x_2^2=y_1^2+y_2^2\) 的解数"。这是圆法里反复用的"积分↔计数"对应。
3. 第一类解：\(x_2=y_2\)。此时方程变成 \(x_1^2=y_1^2\)，在正整数范围内即 \(x_1=y_1\)。\(x_1\)（\(=y_1\)）有 \(P\) 种取法，\(x_2\)（\(=y_2\)）也有 \(P\) 种取法，共 \(P\times P=P^2\) 组。
4. 第二类解：\(x_2\ne y_2\)。把方程改写成 \(x_1^2-y_1^2=y_2^2-x_2^2\)，即 \[ (x_1-y_1)(x_1+y_1)=y_2^2-x_2^2. \] 固定 \(x_2,y_2\)（且 \(x_2\ne y_2\)），右边是一个确定的非零整数 \(N=y_2^2-x_2^2\)，且 \(|N|\lt P^2\)。现在 \(x_1-y_1\) 与 \(x_1+y_1\) 是 \(N\) 的一对因子（它们相乘等于 \(N\)）。一个整数 \(N\) 的因子个数记作 \(d(N)\)，有经典的除数界：\(d(N)\ll N^{\varepsilon}\ll P^{\varepsilon}\)（对任意 \(\varepsilon\gt0\)，除数个数增长比任何幂次都慢）。所以 \(x_1-y_1\) 至多有 \(P^\varepsilon\) 种取值；一旦定了 \(x_1-y_1\) 和 \(x_1+y_1\)（它们的乘积固定为 \(N\)，二者也就一一对应），就能解出 \(x_1=\tfrac12[(x_1+y_1)+(x_1-y_1)]\) 与 \(y_1\)。
5. 计数第二类。\(x_2,y_2\) 的取法有 \(\le P^2\) 种（各 \(\le P\)），对每一种，\((x_1,y_1)\) 至多 \(P^\varepsilon\) 种。所以第二类解 \(\ll P^2\cdot P^\varepsilon=P^{2+\varepsilon}\)。
6. 合计。两类相加 \(P^2+P^{2+\varepsilon}\ll P^{2+\varepsilon}\)。证毕。

这条引理的用处：它是"\(|S|\) 的四次平均不会太大"的定量保证。后面只要哪里出现四个 \(S\) 相乘的积分，就能用它+Hölder 不等式压住。

1. 先扔掉一个因子。用最粗的"平凡估计" \(|S(\lambda_5\alpha)|\le P\)（求和共 \(P\) 项，每项模长 1，故和 \(\le P\)）。把它提到积分外，于是只需证剩下四个因子的积分 \(\ll P^{2-\delta/2}\)（这样乘上 \(P\) 才得 \(P^{3-\delta/2}\)）。
2. 用 Hölder 把四个不同 \(S\) 统一成四次方。把权重 \(w(\alpha)=(\sin\pi\alpha/\pi\alpha)^2\) 平均分到四份 \(w=w^{1/4}\cdot w^{1/4}\cdot w^{1/4}\cdot w^{1/4}\)，对 \(f_j=S(\lambda_j\alpha)w^{1/4}\) 用 Hölder： \[ \int|S(\lambda_1\alpha)\cdots S(\lambda_4\alpha)|w\,d\alpha\le\prod_{j=1}^{4}\Big(\int|S(\lambda_j\alpha)|^4w\,d\alpha\Big)^{1/4}. \] 所以只要每个 \(\int|S(\lambda_j\alpha)|^4w\,d\alpha\ll P^{2-\delta/2}\)，几何平均也 \(\ll P^{2-\delta/2}\)。这就把"四个不同 \(\lambda_j\)"的麻烦，化归为"单个 \(S\) 的四次方"。
3. 换元去掉 \(\lambda_j\)、并用权重的衰减。在 \(\int|S(\lambda_j\alpha)|^4w\,d\alpha\) 里令 \(\beta=\lambda_j\alpha\)（线性换元，只改变常数因子和积分区间的常数倍，不影响量级）。又 \((\sin\pi\alpha/\pi\alpha)^2\le\dfrac{1}{(\pi\alpha)^2}\ll\dfrac{1}{\alpha^2}\)（因 \(|\sin|\le1\)）。于是只需证 \[ \int_{|\alpha|\ge P^\delta}|S(\alpha)|^4\frac{d\alpha}{\alpha^2}\ll P^{2-\delta/2}. \]
4. 把无穷积分切成整数段、用周期性。\(S(\alpha)\) 以 1 为周期（因为 \(e(\alpha x^2)\) 中 \(x^2\) 是整数），所以在任何长度为 1 的区间上 \(|S|^4\) 的积分都一样。由引理 20.5， \[ \int_m^{m+1}|S(\alpha)|^4d\alpha=\int_0^1|S(\alpha)|^4d\alpha\ll P^{2+\varepsilon}. \]
5. 逐段放大并求和。把远尾 \(\int_{\alpha\ge P^\delta}\) 拆成 \(\sum_{m=M}^{\infty}\int_m^{m+1}\)（\(M=[P^\delta]\)）。在 \([m,m+1]\) 上 \(\alpha^{-2}\le m^{-2}\)，提到积分外： \[ \sum_{m=M}^{\infty}\int_m^{m+1}|S|^4\frac{d\alpha}{\alpha^2}\le\sum_{m=M}^{\infty}m^{-2}\int_m^{m+1}|S|^4d\alpha\ll P^{2+\varepsilon}\sum_{m=M}^{\infty}m^{-2}. \]
6. 估计 \(\sum_{m\ge M}m^{-2}\).这是收敛级数的尾部，\(\sum_{m=M}^{\infty}m^{-2}\ll\int_{M-1}^{\infty}t^{-2}dt=\frac{1}{M-1}\ll M^{-1}\)。而 \(M=[P^\delta]\asymp P^\delta\)，故 \(M^{-1}\ll P^{-\delta}\)。代回得 \[ \ll P^{2+\varepsilon}\cdot P^{-\delta}=P^{2-\delta+\varepsilon}. \]
7. 吸收 \(\varepsilon\)。因为 \(\varepsilon\) 可以取得任意小（特别地取 \(\varepsilon\le\delta/2\)），\(P^{2-\delta+\varepsilon}\ll P^{2-\delta/2}\)。证毕（对称地 \(\alpha\le-P^\delta\) 一侧同理）。

结论 \(P^{3-\delta/2}=o(P^3)\)（指数 \(3-\delta/2\lt3\)），所以远尾对 (20.2) 的贡献可忽略。三段里的第三段就此搞定。

1. 把 (20.2) 左端的全直线积分 \(\int_{-\infty}^{\infty}\) 按三段拆开：主弧 \(|\alpha|\lt(4\lambda P)^{-1}\) ＋ 中段 \((4\lambda P)^{-1}\lt|\alpha|\lt P^\delta\) ＋ 远尾 \(|\alpha|\ge P^\delta\)。
2. 主弧：引理 20.4 已证 \(\gg P^3\)（这是主项）。
3. 远尾：引理 20.6 已证 \(\ll P^{3-\delta/2}=o(P^3)\)（可忽略）。
4. 所以只要再证中段的 \(S\)-积分也是 \(o(P^3)\)，三段合起来 (20.2) 左端 \(=\) 主项 \(+o(P^3)\gg P^3\)，从而 (20.2) 右端（解的计数）\(\gg P^3\)，定理成立。注意这里连权重 \((\sin\pi\alpha/\pi\alpha)^2\le1\) 都直接放掉了（用 \(\le1\) 上界），因为中段更看重 \(S\) 本身的大小。

1. 四因子积分 \(\ll P^{2+\delta+\varepsilon}\) 的由来。同样用 Hölder： \[ \int_{\text{中段}}|S(\lambda_{i_1}\alpha)\cdots S(\lambda_{i_4}\alpha)|d\alpha\le\prod_{k=1}^4\Big(\int_{\text{中段}}|S(\lambda_{i_k}\alpha)|^4d\alpha\Big)^{1/4}. \] 对每个因子换元 \(\beta=\lambda_{i_k}\alpha\)。中段 \(|\alpha|\lt P^\delta\) 映成 \(|\beta|\lt|\lambda_{i_k}|P^\delta\ll P^\delta\) 的区间，长度 \(\ll P^\delta\)。把这区间按长度 1 切片，每片 \(\int|S|^4\ll P^{2+\varepsilon}\)（引理 20.5＋周期性），共约 \(P^\delta\) 片，故 \[ \int_{\text{中段}}|S(\lambda_{i_k}\alpha)|^4d\alpha\ll P^\delta\cdot P^{2+\varepsilon}=P^{2+\delta+\varepsilon}. \] 四个因子的几何平均仍是 \(P^{2+\delta+\varepsilon}\)。
2. 关键的"取 min"技巧。我们要估计五因子积分 \(\int_{\text{中段}}|S(\lambda_1\alpha)\cdots S(\lambda_5\alpha)|d\alpha\)。在每个 \(\alpha\) 处，五个因子里 \(|S(\lambda_1\alpha)|\) 与 \(|S(\lambda_2\alpha)|\) 较小的那个记为 \(\min(|S(\lambda_1\alpha)|,|S(\lambda_2\alpha)|)\)。把这个最小的因子单独拎出来，剩下的四个因子恰好构成"四个不同下标的积"：
   • 若在该 \(\alpha\) 处 \(|S(\lambda_1\alpha)|\le|S(\lambda_2\alpha)|\)，则 \(|S(\lambda_1)\cdots S(\lambda_5)|=\min\cdot|S(\lambda_2)S(\lambda_3)S(\lambda_4)S(\lambda_5)|\)，剩四个下标是 \(2,3,4,5\)。
   • 若反之 \(|S(\lambda_2\alpha)|\lt|S(\lambda_1\alpha)|\)，则剩四个下标是 \(1,3,4,5\)。
   两种情形都把"五因子积"写成了 \(\min\times(\text{某四因子积})\)。
3. 若能证 \(\min\ll P^{1-2\delta}\)（即 (20.4)），则中段积分 \(=o(P^3)\)。因为 \[ \int_{\text{中段}}|S(\lambda_1)\cdots S(\lambda_5)|d\alpha\le P^{1-2\delta}\int_{\text{中段}}(\text{四因子积})d\alpha\ll P^{1-2\delta}\cdot P^{2+\delta+\varepsilon}=P^{3-\delta+\varepsilon}. \] （中段按 \(\min\) 是哪一个分成两块，每块用对应的四因子积，都得同样的界。）取 \(\varepsilon\lt\delta\)，则 \(P^{3-\delta+\varepsilon}=o(P^3)\)。这正是我们要的中段估计！
4. 所以全部归结为证 (20.4)：在中段每个 \(\alpha\) 处，\(\min(|S(\lambda_1\alpha)|,|S(\lambda_2\alpha)|)\ll P^{1-2\delta}\)。直觉：\(S(\lambda_1\alpha)\) 与 \(S(\lambda_2\alpha)\) 不可能同时都很大。这正是要动用 \(\lambda_1/\lambda_2\) 无理性的地方——下面引理 20.7、20.8 专办此事。

1. 给 \(\lambda_1\alpha,\lambda_2\alpha\) 各找一个好逼近。由 Dirichlet 定理（\(N=P^{3/2}\)）得 (20.6)、(20.7)：既约分数 \(a_1/q_1,a_2/q_2\)，分母 \(\le P^{3/2}\)，误差分别 \(\lt\frac{1}{q_1P^{3/2}},\frac{1}{q_2P^{3/2}}\)。
2. 为什么 \(a_1\ne0\)。若 \(a_1=0\)，则 (20.6) 说 \(|\lambda_1\alpha|\lt\frac{1}{q_1P^{3/2}}\le P^{-3/2}\)。但中段里 \(\alpha\gt(4\lambda P)^{-1}\)，故 \(|\lambda_1\alpha|\ge|\lambda_1|\cdot\frac{1}{4\lambda P}\gg P^{-1}\)，远大于 \(P^{-3/2}\)，矛盾。所以 \(a_1\ne0\)（同理 \(a_2\ne0\)）。这一步用上了"\(\alpha\) 在中段、不太靠近 0"这一区间信息。
3. 分情形：只要某个分母大，就直接用 Weyl。若 \(q_1\gt P^{5\delta}\)，对 \(S(\lambda_1\alpha)\) 用引理 20.7（取 \(a=a_1,q=q_1\)，且 (20.6) 满足 \(|\lambda_1\alpha-a_1/q_1|\lt\frac1{q_1P^{3/2}}\le\frac1{q_1^2}\) 因 \(q_1\le P^{3/2}\)）。看 Weyl 三项乘 \(P^{1+\varepsilon}\)：
   • \(P^{1+\varepsilon}\cdot P^{-1/2}=P^{1/2+\varepsilon}\)，很小；
   • \(P^{1+\varepsilon}\cdot q_1^{-1/2}\lt P^{1+\varepsilon}\cdot P^{-5\delta/2}=P^{1+\varepsilon-5\delta/2}\)；
   • \(P^{1+\varepsilon}\cdot(P^2/q_1)^{-1/2}=P^{\varepsilon}q_1^{1/2}\le P^\varepsilon P^{3/4}=P^{3/4+\varepsilon}\)，也小。
   三项里主导的是 \(P^{1+\varepsilon-5\delta/2}\)，故 \(|S(\lambda_1\alpha)|\ll P^{1+\varepsilon-5\delta/2}\ll P^{1-2\delta}\)（只要 \(\varepsilon\le\delta/2\)，脚注也提醒"\(\delta\) 取小"）。这就直接给出 (20.4)。\(q_2\gt P^{5\delta}\) 时同理给出 \(|S(\lambda_2\alpha)|\) 小。所以只剩下两个分母都小的情形要对付：(20.8) \(q_1,q_2\le P^{5\delta}\)。
4. 估计分子 \(|a_1|,|a_2|\ll P^{6\delta}\)。由 (20.6)，\(\big|\frac{a_1}{q_1}\big|\le|\lambda_1\alpha|+\frac{1}{q_1P^{3/2}}\)。中段里 \(|\alpha|\lt P^\delta\)，故 \(|\lambda_1\alpha|\ll P^\delta\)。于是 \(|a_1|\le q_1(|\lambda_1\alpha|+P^{-3/2})\ll P^{5\delta}\cdot P^\delta=P^{6\delta}\)（用了 (20.8) 的 \(q_1\le P^{5\delta}\)）。同理 \(|a_2|\ll P^{6\delta}\)。
5. 用两个逼近"做除法"逼近 \(\lambda_1/\lambda_2\)。关键观察：公共因子 \(\alpha\) 在比值里约掉，\(\dfrac{\lambda_1}{\lambda_2}=\dfrac{\lambda_1\alpha}{\lambda_2\alpha}\)。把 (20.6) 写成相对误差形式： \[ \lambda_1\alpha=\frac{a_1}{q_1}+\theta_1,\ |\theta_1|\lt\frac{1}{q_1P^{3/2}}\ \Rightarrow\ \lambda_1\alpha=\frac{a_1}{q_1}\Big(1+\frac{\theta_1 q_1}{a_1}\Big). \] 其中 \(\big|\frac{\theta_1q_1}{a_1}\big|\lt\frac{1}{P^{3/2}|a_1|}\le P^{-3/2}\)（因 \(|a_1|\ge1\)）。所以 \(\lambda_1\alpha=\frac{a_1}{q_1}(1+O(P^{-3/2}))\)，同理 \(\lambda_2\alpha=\frac{a_2}{q_2}(1+O(P^{-3/2}))\)。两式相除： \[ \frac{\lambda_1}{\lambda_2}=\frac{a_1/q_1}{a_2/q_2}\cdot\frac{1+O(P^{-3/2})}{1+O(P^{-3/2})}=\frac{a_1q_2}{a_2q_1}\big(1+O(P^{-3/2})\big). \] （用了 \(\frac{1+O(t)}{1+O(t)}=1+O(t)\)，当 \(t=P^{-3/2}\to0\)。）
6. 转成绝对误差。移项：\(\frac{\lambda_1}{\lambda_2}-\frac{a_1q_2}{a_2q_1}=\frac{a_1q_2}{a_2q_1}\cdot O(P^{-3/2})\)。而 \(\big|\frac{a_1q_2}{a_2q_1}\big|\approx|\lambda_1/\lambda_2|\) 是有界常数，所以 \[ \left|\frac{\lambda_1}{\lambda_2}-\frac{a_1q_2}{a_2q_1}\right|\ll P^{-3/2}. \] 这说明分数 \(\dfrac{a_1q_2}{a_2q_1}\) 把 \(\lambda_1/\lambda_2\) 逼近到 \(P^{-3/2}=q_0^{-3}\) 这么准。
7. 这个新分数的分母很小。\(|a_2q_1|\le|a_2|\,q_1\ll P^{6\delta}\cdot P^{5\delta}=P^{11\delta}\)，且 \(\ge1\)。即用一个分母只有 \(P^{11\delta}\)（很小）的分数，竟把 \(\lambda_1/\lambda_2\) 逼近到了 \(q_0^{-3}\) 这么准——这"好得不真实"，下一步就把它和 \(a_0/q_0\) 一比，逼出矛盾。
8. 制造矛盾（核心）。现在有两个分数都很接近 \(\lambda_1/\lambda_2\)：连分数渐近分数 \(\frac{a_0}{q_0}\)（误差 \(\lt q_0^{-2}\)，见 (20.5)）和 \(\frac{a_1q_2}{a_2q_1}\)（误差 \(\ll P^{-3/2}=q_0^{-3}\)）。考虑它俩的差 \(\Delta=\frac{a_0}{q_0}-\frac{a_1q_2}{a_2q_1}\)。
   • 上界：用三角不等式经过 \(\lambda_1/\lambda_2\) 中转， \[ |\Delta|\le\Big|\frac{a_0}{q_0}-\frac{\lambda_1}{\lambda_2}\Big|+\Big|\frac{\lambda_1}{\lambda_2}-\frac{a_1q_2}{a_2q_1}\Big|\ll q_0^{-2}+q_0^{-3}\ll q_0^{-2}. \]
   • 下界（若 \(\Delta\ne0\)）：两个分母分别为 \(q_0\) 与 \(a_2q_1\) 的不相等有理数，其差的绝对值 \(\ge\dfrac{1}{q_0\cdot|a_2q_1|}\)（因为 \(\Delta=\frac{\text{非零整数}}{q_0\,a_2q_1}\)，分子至少为 1）。由第 7 步 \(|a_2q_1|\ll P^{11\delta}=q_0^{22\delta}\)，故 \[ |\Delta|\ge\frac{1}{q_0|a_2|q_1}\gg\frac{1}{q_0\cdot q_0^{22\delta}}=q_0^{-1-22\delta}. \] （原书此处写作 \(q_0^{-1-6\delta}\)，但由 \(P=q_0^2\) 知 \(P^{11\delta}=q_0^{22\delta}\)，老实算应为 \(-1-22\delta\)，原书的 \(6\delta\) 当是笔误；无论如何这个指数都形如 \(-1-(\text{常数})\delta\)，下面的矛盾照样成立。）
   把上下界放一起：\(q_0^{-1-22\delta}\le|\Delta|\ll q_0^{-2}\)。但只要 \(\delta\) 取得足够小（使 \(1+22\delta\lt2\)，即 \(\delta\lt\frac{1}{22}\)）、并让 \(q_0\) 足够大，就有 \(q_0^{-1-22\delta}\gg q_0^{-2}\)，与上界直接冲突。矛盾！
9. 排除 \(\Delta=0\) 的可能。若 \(\Delta=0\)，即 \(\frac{a_0}{q_0}=\frac{a_1q_2}{a_2q_1}\)。因 \(a_0/q_0\) 既约，必有 \(q_0\mid a_2q_1\)，从而 \(q_0\le|a_2q_1|\ll q_0^{22\delta}\)，对 \(\delta\lt\frac{1}{22}\) 与大 \(q_0\) 同样不可能。所以 \(\Delta=0\) 也被排除。
10. 收网。无论 \(\Delta\) 是否为 0 都导致矛盾——而这一切都是在假设 (20.8)（两个分母都小）之下推出的。所以 (20.8) 不可能成立，即必有 \(q_1\gt P^{5\delta}\) 或 \(q_2\gt P^{5\delta}\)。由第 3 步，这恰好给出 (20.4) \(\min(|S(\lambda_1\alpha)|,|S(\lambda_2\alpha)|)\ll P^{1-2\delta}\)。引理 20.8 证毕。

回看整条线。(20.4) 成立 ⟹ 中段积分 \(=o(P^3)\)（第十三节）⟹ 配合主弧主项 \(\gg P^3\)（引理 20.4）与远尾可忽略（引理 20.6）⟹ (20.2) 左端 \(\gg P^3\) ⟹ (20.2) 右端解数 \(\gg P^3\) ⟹ 存在满足 (20.1) 的非零整数解 ⟹ 定理 20.1 成立。无理性恰好、且仅仅在引理 20.8 的"制造矛盾"那一步用到——这就是为什么本章反复强调"here and here only"。