本步骤利用假设和公式 s0s_0s0、f(s0)≠f(0)f(s_0)\ne f(0)f(s0)=f(0)、u1=f(s0)−f(0)u_1=f(s_0)-f(0)u1=f(s0)−f(0)、u2=−u1u_2=-u_1u2=−u1、u1≠0u_1\ne0u1=0、f(x)=f(−x)f(x)=f(-x)f(x)=f(−x),推出所述结论。