F(x)=f(x)--f(x+1/2)，则F(0)=f(0)--f(1/2)，F(1/2)=f(1/2)--f(1)=f(1/2)--f(0)，因此F(0)与F(1/2)同为0或异号，故存在c，使得F(c)=0，即f(c)=f(c+1/2)。
