若 fff 在所有偶数处取零,在每个奇数处取某个完全平方数,则 2a2a2a 恒为偶数,故 f(2a)=0f(2a)=0f(2a)=0,式子化简为 f(f(a)−b)f(f(a)-b)f(f(a)−b)。当 bbb 取遍所有整数时,m=f(a)−bm=f(a)-bm=f(a)−b 也取遍所有整数,而按构造 f(m)f(m)f(m) 恒为完全平方数(mmm 为偶数时是 000,mmm 为奇数时是所选的平方数)。故整个表达式对一切 a,ba,ba,b 都是完全平方数。