令 f 为整数 ⩾1,并在 Z 上定义 χ 函数,并具有复数值,使得对于每个 x∈Z 都有 χ(x+f)=χ(x)。如果有人把
χ^(y)=f1x=0∑f−1χ(x)e2πiyx/ffor y∈Z,
一个有
χ(x)=y=0∑f−1χ^(y)e−2πixy/ffor x∈Z.
从 exerc 中推导出来。 12 对于每整数 m⩾2,
n∈Z∖{0}∑nmχ(n)=−m!(2πi)my=0∑f−1χ^(y)Bm(fy).
对于例,有一个
1−331+531−⋯+(2n+1)3(−1)n+⋯=32π3.