求助：理解“整数边矩形铺砖”证明中的积分结论

嘿，我来帮你把这个证明里的关键疑惑点彻底捋明白！首先得明确这个证明里用到的核心工具——那个特殊的复值函数 f(x, y) = e^{2πi(x + y)}（这里的i是虚数单位，满足i²=-1），咱们先从你卡壳的那个积分结论开始推导。

咱们分水平和垂直两种情况来拆解：

水平线段的情况 #

假设我们有一条水平线段：y坐标固定为某个值y₀，x的范围是从a到a+L，其中L是整数。这条线段上的积分表达式是：

∫ₐ^{a+L} f(x, y₀) dx = ∫ₐ^{a+L} e^{2πi(x + y₀)} dx

我们可以把指数项拆成两个部分：e^{2πi(x + y₀)} = e^{2πi y₀} · e^{2πi x}，其中e^{2πi y₀}是和x无关的常数，可以提到积分外面：

= e^{2πi y₀} · ∫ₐ^{a+L} e^{2πi x} dx

接下来计算关于x的积分：不定积分∫e^{2πi x} dx = (1/(2πi))e^{2πi x} + C，代入上下限a+L和a后得到：

(1/(2πi))[e^{2πi(a+L)} - e^{2πi a}] = (1/(2πi))e^{2πi a} · (e^{2πi L} - 1)

这里关键来了：因为L是整数，根据欧拉公式e^{2πi k} = cos(2πk) + i sin(2πk) = 1（k为任意整数），所以e^{2πi L} - 1 = 0，整个积分结果自然就是0。

垂直线段的情况 #

垂直线段的推导逻辑完全一致：x坐标固定为x₀，y的范围是从b到b+M，M是整数。积分表达式是：

∫ᵇ^{b+M} f(x₀, y) dy = ∫ᵇ^{b+M} e^{2πi(x₀ + y)} dy = e^{2πi x₀} · ∫ᵇ^{b+M} e^{2πi y} dy

同样，M是整数，e^{2πi M}=1，所以这个积分的结果也是0。

现在回到原问题：大矩形被若干小矩形铺满，每个小矩形至少有一条边是整数。我们需要计算大矩形上f(x,y)的二重积分，它等于所有小矩形上二重积分的总和。

对于任意一个小矩形[x₁, x₂]×[y₁, y₂]：

• 如果它的水平边长度是整数（即x₂ - x₁为整数），那么我们先对x积分，再对y积分：∫_{y₁}^{y₂} [∫_{x₁}^{x₂} f(x,y) dx] dy。根据刚才的结论，内层对x的积分是0，所以整个小矩形的二重积分就是0；
• 如果它的垂直边长度是整数（即y₂ - y₁为整数），同理，先对y积分的话，内层积分是0，整个小矩形的二重积分也为0。

既然每个小矩形的积分都是0，那么大矩形的二重积分自然也是0。现在我们计算大矩形[0, A]×[0, B]（平移不影响结果，所以可以设左下角在原点）的二重积分：

∫₀ᴮ ∫₀ᴬ e^{2πi(x+y)} dxdy = (∫₀ᴬ e^{2πi x} dx) · (∫₀ᴮ e^{2πi y} dy)

这个乘积等于0，意味着至少其中一个积分是0。而∫₀ᴬ e^{2πi x} dx = (1/(2πi))(e^{2πi A} - 1)，这个式子等于0当且仅当e^{2πi A}=1，也就是A是整数；同理，∫₀ᴮ e^{2πi y} dy=0当且仅当B是整数。这就证明了原矩形至少有一条边是整数。

内容的提问来源于stack exchange，提问作者Tom Finet