设 m=f(1);由第5步,m>0。若 m≤1,对 (∗) 的完整形式取 x=1−m,y=1:f(1−m+f(1))=f(1−m)+f(1)+2f(1−m) 变为 f(1)=f(1−m)+f(1)+2f(1−m),故 f(1−m)=−2f(1−m)≤0;结合 f(1−m)≥0,得 f(1−m)=0,故 1−m=0,即 m=1。若 m≥1,则由第1步,f(m)=f(f(1))=f(1)=m,故 f(m2)=f(f(m))=f(m)=m;对 (∗) 的完整形式取 x=m2−m,y=1:f(m2−m+f(1))=f(m2−m)+f(1)+2f(m2−m) 变为 f(m2)=f(m2−m)+m+2f(m2−m),即 m=f(m2−m)+m+2f(m2−m),故 f(m2−m)=−2f(m2−m)≤0;结合 f(m2−m)≥0,得 f(m2−m)=0,故 m2−m=0,又 m≥1,故 m=1。无论哪种情形,都有 f(1)=1。