记 k=f(0)k=f(0)k=f(0)。代入 y=0y=0y=0 得 f(f(x)f(0))+f(x)=f(0)f(f(x)f(0))+f(x)=f(0)f(f(x)f(0))+f(x)=f(0),即对一切 xxx 有 f(kf(x))+f(x)=kf(kf(x))+f(x)=kf(kf(x))+f(x)=k——称为关系式 (∗)(\ast)(∗)。若 k=0k=0k=0,关系式 (∗)(\ast)(∗) 化为 f(0)+f(x)=0f(0)+f(x)=0f(0)+f(x)=0,故对一切 xxx 有 f(x)=−f(0)=0f(x)=-f(0)=0f(x)=−f(0)=0,即解 f≡0f\equiv 0f≡0。以下设 k≠0k\ne 0k=0(由第1步的符号对称性,可设 k>0k>0k>0)。