要证明存在ξ∈[0,π],使f(ξ)-f(ξ+π)=0
为此令F(x)=f(x)-f(x+π),x∈[0,π]
则由f(0)=f(2π)得
F(π)=f(π)-f(2π)=f(π)-f(0)=-F(0)
若F(0)=0,则存在ξ=0∈[0,π),使f(ξ)-f(ξ+π)=F(0)=0
若F(0)≠0,则F(0)*F(π)=-F^2(0)