令 x=y=0x=y=0x=y=0 得 f(f(0))=f(f(0))+3f(0)f(f(0))=f(f(0))+3f(0)f(f(0))=f(f(0))+3f(0),故 f(0)=0f(0)=0f(0)=0。再令 y=0y=0y=0,对所有 xxx 得 f(x2)=f(f(x))f(x^2)=f(f(x))f(x2)=f(f(x))。利用此式,原方程右边等于 f(x2)+f(y2)+2f(xy)f(x^2)+f(y^2)+2f(xy)f(x2)+f(y2)+2f(xy),它关于 x,yx,yx,y 对称,故对所有 x,yx,yx,y 有 f(x2+f(y))=f(y2+f(x))f(x^2+f(y))=f(y^2+f(x))f(x2+f(y))=f(y2+f(x));将此恒等式记为 (∗)(*)(∗)。