最近我读到艾森斯坦用复变函数证明二次互反律的方法，自己整理了一遍过程——不得不说这思路真的太巧妙了，完全想不通怎么能凭空构造出这么一套证明逻辑！下面我把梳理的内容放出来，也想问问大家能不能帮我拆解下背后的直觉？

核心复函数：正弦的复形式 #

咱先从用到的核心函数说起：
$$f(z) = e^{2\pi i z} - e^{-2\pi iz} = 2i \sin 2\pi z$$
这个函数有几个关键性质：

• 周期性：$f(z + 1) = f(z)$，周期为1
• 奇函数：$f(-z) = -f(z)$
• 实零点特性：只有当$z$是半整数（也就是$2z$为整数）时，$f(z)=0$；若$r$是实数且$2r \notin \mathbb{Z}$，则$f(r)$一定不为0

引理1（高斯引理） #

这是数论里的经典结论，先搬出来打底：
$$\left( \frac{a}{p} \right) = (-1)^{\mu}$$
这里$\left( \frac{a}{p} \right)$是勒让德符号，表示$a$是否是模$p$的二次剩余；$\mu$是整数$a, 2a, 3a, \dots, \frac{p-1}{2}a$中，最小剩余为负数的个数。

引理2：奇数次多项式的因式分解 #

当$n$是正奇数时，我们有：
$$x^n - y^n = \prod_{k=0}^{n-1} (\zeta^kx - \zeta^{-k}y)$$
其中$\zeta = e^{2\pi i/n}$是$n$次单位根。

证明思路：
我们知道多项式恒等式$z^n - 1 = \prod_{k=0}^{n-1}(z - \zeta^k)$，令$z = \frac{x}{y}$，两边乘$y^{n$就能得到$x}n - y^n = \prod_{k=0}^{n-1}(x - \zeta^k y)$。
因为$n$是奇数，当$k$遍历模$n$的完全剩余系时，$-2k$也会遍历完全剩余系（$-2$和$n$互素），所以把$k$替换成$-2k$，再整理一下：
$$\begin{align}x^n - y^n &= \prod_{k=0}^{n-1} (x - \zeta^{-2k}y) \&= \prod_{k=0}^{n-1} (\zeta^kx - \zeta^{-k}y)\end{align}$$
（这里中间的$\zeta^{-(1+2+\dots+n-1)}$其实是1，因为$1+2+\dots+n-1 = \frac{n(n-1)}{2}$，$n$是奇数，所以指数是$n$的倍数，$\zeta$的n次方为1）

引理3：复函数的乘积展开 #

当$n$是正奇数时，核心函数$f(z)$满足：
$$\frac{f(nz)}{f(z)} = \prod_{k=1}^{(n-1)/2}f\left(z+\frac{k}{n}\right)f\left(z-\frac{k}{n}\right)$$

证明思路：
把$x = e^{2\pi iz}$，$y = e^{-2\pi iz}$代入引理2，左边$x^n - y^n = e^{2\pi i nz} - e^{-2\pi i nz} = f(nz)$，右边每个因式$\zeta^k x - \zeta^{-k}y = e^{2\pi i(z + k/n)} - e^{-2\pi i(z + k/n)} = f\left(z + \frac{k}{n}\right)$，所以：
$$f(nz) = \prod_{k=0}^{n-1}f\left(z+\frac{k}{n}\right)$$
把右边的乘积拆成两部分：$k=0$到$\frac{n-1}{2}$，和$k=\frac{n+1}{2}$到$n-1$。对于后半部分的$k$，令$m = n - k$，则$m$从1到$\frac{n-1}{2}$，而且$z + \frac{k}{n} = z + 1 - \frac{m}{n}$，利用$f$的周期性，$f\left(z + 1 - \frac{m}{n}\right) = f\left(z - \frac{m}{n}\right)$。所以后半部分乘积就变成$\prod_{m=1}^{(n-1)/2}f\left(z - \frac{m}{n}\right)$，和前半部分合并后就得到引理3的结果。

引理4：勒让德符号与函数乘积的关联 #

设$p$是奇素数，$a$是整数且$p \nmid a$，则：
$$\prod_{l=1}^{(p-1)/2}f\left(\frac{la}{p}\right) = \left( \frac{a}{p} \right)\prod_{l=1}^{(p-1)/2}f\left(\frac{l}{p}\right)$$

证明思路：
对于每个$la$，它的最小剩余可以写成$\pm m_l$，其中$m_l$是正整数。那么$\frac{la}{p}$和$\pm \frac{m_l}{p}$之间差一个整数（因为$la = \pm m_l + tp$，$t$是整数），利用$f$的周期性，$f\left(\frac{la}{p}\right) = f\left(\pm \frac{m_l}{p}\right)$，再结合奇函数性质，$f\left(-\frac{m_l}{p}\right) = -f\left(\frac{m_l}{p}\right)$。
把所有项乘起来，乘积的符号正好是$(-1)^{\mu}$，而根据高斯引理，这就是$\left( \frac{a}{p} \right)$，同时${m_l}$其实就是${1,2,\dots,\frac{p-1}{2}}$的一个排列，所以右边就是勒让德符号乘以$f\left(\frac{l}{p}\right)$的乘积。

定理5：二次互反律的证明 #

终于到核心结论了：设$p$和$q$是奇素数，则：
$$\left( \frac{p}{q} \right)\left( \frac{q}{p} \right) = (-1)^{\frac{p-1}{2} \cdot \frac{q-1}{2}}$$

证明思路：

1. 先对$q$应用引理4，得到：
   $$\prod_{l=1}^{(p-1)/2}f\left(\frac{lq}{p}\right) = \left( \frac{q}{p} \right)\prod_{l=1}^{(p-1)/2}f\left(\frac{l}{p}\right)$$
2. 对每个$\frac{f\left(\frac{lq}{p}\right)}{f\left(\frac{l}{p}\right)}$应用引理3（把$n$换成$q$，$z$换成$\frac{l}{p}$），展开后得到：
   $$\frac{f\left(\frac{lq}{p}\right)}{f\left(\frac{l}{p}\right)} = \prod_{m=1}^{(q-1)/2}f\left(\frac{l}{p}+\frac{m}{q}\right)f\left(\frac{l}{p}-\frac{m}{q}\right)$$
3. 把这两个式子结合，交换乘积顺序，就能得到：
   $$\left( \frac{q}{p} \right) = \prod_{m=1}^{(q-1)/2} \prod_{l=1}^{(p-1)/2}f\left(\frac{l}{p}+\frac{m}{q}\right)f\left(\frac{l}{p}-\frac{m}{q}\right)$$
4. 用同样的方法推导$\left( \frac{p}{q} \right)$，会得到类似的双重乘积，但其中$f\left(\frac{m}{q}-\frac{l}{p}\right) = -f\left(\frac{l}{p}-\frac{m}{q}\right)$（奇函数性质）。
5. 数一下负号的个数：总共有$\frac{p-1}{2} \times \frac{q-1}{2}$个这样的项，所以每个负号贡献一个$-1$，最终得到：
   $$(-1)^{\frac{p-1}{2} \cdot \frac{q-1}{2}} \left( \frac{q}{p} \right) = \left( \frac{p}{q} \right)$$
   移项后就是二次互反律的结论。

真的不得不感叹艾森斯坦的脑洞，居然能把复变函数的性质和数论里的核心结论串起来！有没有大佬能讲讲这里面的直觉？比如为什么会想到用这个和正弦相关的复函数？怎么把多项式因式分解和勒让德符号的奇偶性关联起来的？

备注：内容来源于stack exchange，提问作者zyy