狄利克雷定理的证明

为证明定理本身，我先证明几个引理。引理1(Bessel不等式)：若函数在上可积，则有证明：设显然： (*)其中，由傅立叶级数系数公式可以知道：以上各式代入(*)式，可以得到：另这个结果对于均成立