设 k>0 满足 f(k)=1。由第1步,f(k2)=f(f(k))=f(1),故由引理(第3步)取乘数 1/k,得 f(k)=f(1/k);于是也有 f(1/k)=1,故可设 k≥1。对 (∗) 的完整形式取 x=k2−1,y=k:f(k2−1+f(k))=f(k2−1)+f(k2)+2f(kk2−1),即(利用 f(k)=1)f(k2)=f(k2−1)+f(k2)+2f(kk2−1),故由第5步的非负性 f(k2−1)=−2f(kk2−1)≤0。又 f(k2−1)≥0,故 f(k2−1)=0,由第4步得 k2−1=0,即 k=1。