求解函数方程：证明满足f(x+y)=f(xy)的正实函数为常函数

嘿，我来帮你把这个函数方程的证明拆解明白，一步步打破提示里的限制，最终搞定这个结论！

我们的目标是证明：定义在所有正实数上的实值函数 $f$，若满足对任意正实数 $x,y$ 有 $f(x+y)=f(xy)$，则 $f$ 必为常函数。

第一步：先搞定所有正整数的函数值相等 #

首先看提示里的二次方程条件：对正整数 $z,w$，若 $z^2>4w$，则方程组 $x+y=z$、$xy=w$ 有正实数解（因为二次方程 $t^2-zt+w=0$ 的判别式 $\Delta=z^2-4w>0$，且两根之和 $z>0$、积 $w>0$，所以两根都是正实数）。根据函数方程，此时 $f(z)=f(w)$。

利用这个结论，我们先证明所有正整数的函数值都等于 $f(1)$：

• 对 $n\geq3$ 的正整数：$n^2>4\times1=4$，所以 $f(n)=f(1)$；
• 对 $n=2$：取 $z=3$（满足 $3^2=9>4\times2=8$），方程组 $x+y=3$、$xy=2$ 的解是 $x=1,y=2$，所以 $f(3)=f(2)$，而 $f(3)=f(1)$，因此 $f(2)=f(1)$；
• $n=1$ 本身就是 $f(1)$，无需额外证明。

综上，所有正整数 $n$ 都满足 $f(n)=f(1)$。

第二步：用归纳法证明 $f(x+n)=f(x)$（任意正实数 $x$，正整数 $n$） #

这一步是为了消除提示里 $z^2>4w$ 的限制，让我们能把任意正实数和整数的函数值联系起来。

基例验证 #

• $n=2$ 的情况：对任意正实数 $x$，$(x+2)^2=x2+4x+4$，显然 $x^2+4x+4>4x$（因为 $x^2+4>0$），即 $(x+2)^2>4x$。根据第一步的结论，方程组 $u+v=x+2$、$uv=x$ 有正实根，所以 $f(x+2)=f(x)$。
• $n=1$ 的情况：利用 $n=2$ 的结论，$f(x+3)=f((x+1)+2)=f(x+1)$；同时，$(x+3)^2=x2+6x+9>4x$（因为 $x^2+2x+9=(x+1)2+8>0$），所以 $f(x+3)=f(x)$。联立这两个式子，可得 $f(x+1)=f(x)$。

归纳步骤 #

假设对正整数 $k$，有 $f(x+k)=f(x)$ 成立。那么对 $k+1$：
$$f(x+k+1)=f((x+k)+1)=f(x+k)=f(x)$$
（这里用到了 $n=1$ 的结论 $f(a+1)=f(a)$）

因此，对任意正实数 $x$ 和正整数 $n$，$f(x+n)=f(x)$ 恒成立。

第三步：证明任意正实数的函数值都等于 $f(1)$ #

取任意正实数 $x$，选择一个足够大的正整数 $n$（比如 $n>\max(4,x)$），此时 $(x+n)²⁼ⁿ2+2xn+x^2>n2>4n$，满足第一步的条件。根据函数方程，方程组 $a+b=x+n$、$ab=n$ 有正实根，所以：
$$f(x+n)=f(n)$$

结合第一步的结论 $f(n)=f(1)$，以及第二步的结论 $f(x+n)=f(x)$，可得：
$$f(x)=f(1)$$

这说明所有正实数对应的函数值都等于 $f(1)$，即 $f$ 是常函数。

内容的提问来源于stack exchange，提问作者Ankush Yadav