MathLabs

第5题

设 R\mathbb{R} 为实数集。求所有满足方程 f(x+f(x+y))+f(xy)=x+f(x+y)+yf(x)f(x+f(x+y))+f(xy)=x+f(x+y)+yf(x)(对所有实数 xx 和 yy 成立)的函数 f:R→Rf:\mathbb{R}\to\mathbb{R}。
第 2/5 步:情形 f(0)≠0f(0)\ne0
通俗地说

如果 f(0)≠0f(0)\ne0,ff 的每个不动点最终都等于 11,而上一步得到的那族不动点也必须始终等于该值。

f(0)≠0 ⇒ f(x)≡2−xf(0)\ne0 \ \Rightarrow\ f(x)\equiv 2-x
详细分析

在函数方程中令 x=0x=0,对所有 yy 得到 f(f(y))+f(0)=f(y)+yf(0)f\big(f(y)\big)+f(0)=f(y)+yf(0)。若 y0y_0 是任意一个不动点(即 f(y0)=y0f(y_0)=y_0),代入 y=y0y=y_0 得 f(y0)+f(0)=y0+y0f(0)f(y_0)+f(0)=y_0+y_0f(0),即 y0+f(0)=y0+y0f(0)y_0+f(0)=y_0+y_0f(0),即 f(0)=y0f(0)f(0)=y_0f(0)。由于 f(0)≠0f(0)\ne0,这迫使 y0=1y_0=1:ff 的唯一不动点是 11。由上一步,对所有 xx 有 x+f(x+1)=1x+f(x+1)=1,即 f(x+1)=1−xf(x+1)=1-x,即对所有实数 uu 有 f(u)=2−uf(u)=2-u。直接验证可知 f(x)=2−xf(x)=2-x 满足原方程。