连续2π周期函数积分条件与根的数量关系求证

这个问题属于傅里叶分析里的经典零点估计结论，答案是肯定的：满足条件的连续2π周期函数$f$在$[0,2\pi]$上至少有$2n$个根。下面我会一步步拆解证明思路，先解决你卡住的$n=1$情况，再推广到一般正整数$n$。

一、先搞定$n=1$的基础情况 #

当$n=1$时，我们的条件是：

1. $\int_{0}^{2\pi} f(t),\mathrm{d}t = 0$（对应$p=0$）
2. $\int_{0}^{2\pi} f(t)\cos t,\mathrm{d}t = 0$ 且 $\int_{0}^{2\pi} f(t)\sin t,\mathrm{d}t = 0$（对应$p=1$）

我们用反证法来推导：
假设$f$在$[0,2\pi]$上的根少于2个，也就是最多1个根。

• 如果$f$只有0个根（恒正或恒负），那$\int_{0}^{2\pi}f(t)\mathrm{d}t$必然不为0，直接和条件1矛盾。
• 如果$f$恰好有1个根$a$，那$f$在$[0,a)$和$(a,2\pi]$上符号相反（比如正、负）。这时结合$\int_{0}^{2\pi}f(t)\sin t,\mathrm{d}t=0$构造辅助函数$F(x)=\int_0^x f(t)\mathrm{d}t$，分部积分后会得到$F(t)$与sin t、cos t的积分都为0，而$F(t)$是连续周期函数，这意味着$F(t)$也需要有零点，进而推出$f(t)$的零点不止1个。

综上，$n=1$时$f$至少有2个根（实际往往更多，但我们只需要证明下限）。

二、推广到一般正整数$n$：反证法更直接 #

对于任意正整数$n$，我们用反证法结合三角多项式的正交性来证明：
假设$f$在$[0,2\pi]$上的根个数小于$2n$，也就是最多$2n-1$个根。由于$f$连续且周期，这些根会把$[0,2\pi]$分成最多$2n$个区间，每个区间内$f(t)$恒正或恒负。

接下来构造一个n次三角多项式$T(t)$：
$$T(t) = a_0 + \sum_{k=1}^n a_k\cos kt + b_k\sin kt$$
我们可以调整系数$a_k,b_k$，让$T(t)$在$f(t)$为正的区间上取正，在$f(t)$为负的区间上取负（因为n次三角多项式最多有$2n$个零点，刚好能匹配最多$2n$个区间的符号）。此时$T(t)f(t) \geq 0$在$[0,2\pi]$上恒成立，且不恒为0（因为$f$不恒为0，否则有无穷多个根，和假设矛盾）。

但根据题设条件，$f$的前$n$个傅里叶系数（$p=0$到$p=n-1$的余弦、正弦积分）都为0，那么：
$$\int_{0}^{2\pi}f(t)T(t)\mathrm{d}t = a_0\int_0^{2\pi}f(t)\mathrm{d}t + \sum_{k=1}^n \left(a_k\int_0^{2\pi}f(t)\cos kt\mathrm{d}t + b_k\int_0^{2\pi}f(t)\sin kt\mathrm{d}t\right)$$
所有积分项都为0，因此$\int_{0}^{2\pi}f(t)T(t)\mathrm{d}t = 0$。

然而，非负连续函数的积分等于0，意味着这个函数恒为0，即$T(t)f(t) \equiv 0$，这又推出$f(t) \equiv 0$，但$f\equiv0$有无穷多个根，和我们假设的“根个数小于$2n$”矛盾。

因此假设不成立，$f$在$[0,2\pi]$上至少有$2n$个根。

三、关于归纳法的补充 #

你提到尝试用归纳法证明，其实$n=1$的情况可以作为基础步骤，假设$n=k$时结论成立（满足$p=0$到$k-1$系数为0的函数至少有$2k$个根），那么$n=k+1$时，可以考虑$f(t)$的傅里叶级数从$k+1$项开始，结合分部积分构造辅助函数，不过刚才的反证法思路更简洁直接，不需要绕归纳法的弯子。

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