设 f(a)=f(b)f(a)=f(b)f(a)=f(b)。由第1步,f(a2)=f(f(a))=f(f(b))=f(b2)f(a^2)=f(f(a))=f(f(b))=f(b^2)f(a2)=f(f(a))=f(f(b))=f(b2)。在原方程中分别取 y=ay=ay=a 与 y=by=by=b,得 f(x2+f(a))=f(f(x))+f(a2)+2f(xa)f(x^2+f(a))=f(f(x))+f(a^2)+2f(xa)f(x2+f(a))=f(f(x))+f(a2)+2f(xa) 与 f(x2+f(b))=f(f(x))+f(b2)+2f(xb)f(x^2+f(b))=f(f(x))+f(b^2)+2f(xb)f(x2+f(b))=f(f(x))+f(b2)+2f(xb)。左边相等(因 f(a)=f(b)f(a)=f(b)f(a)=f(b)),f(a2),f(b2)f(a^2),f(b^2)f(a2),f(b2) 也相等;将两式相减,剩下 2f(xa)=2f(xb)2f(xa)=2f(xb)2f(xa)=2f(xb),即对每个实数 xxx 都有 f(ax)=f(bx)f(ax)=f(bx)f(ax)=f(bx)。