主题目录

函数方程：换元范围、必要条件与验解

拓展更新于 2026-09-29

本页目录

函数方程中最常见的漏洞是：只得到必要条件就宣布找到全部函数，或由一个具体模型推出所有函数都具有相同性质。求解时要同时处理定义域、分支一致性和回代。

复合输入只确定其值域上的函数

若对所有实数 $t$ 有 $f(1+\cos t)=\sin^2t+\cos t-1$ ，令 $u=1+\cos t$ ，则 $u$ 的取值范围恰为 $[0,2]$ 。由 $\cos t=u-1$ 得

f(u)=-(u-1)^2+(u-1)=-u^2+3u-2,\qquad 0\le u\le2.

若 $f$ 的定义域规定为整个实轴，区间外的值没有被这个等式约束，可以任意指定；若定义域就是 $[0,2]$ ，则已唯一确定。

例如代入 $u=1$ 得 $f(1)=0$ ，代入 $u=0$ 得 $f(0)=-2$ ，所以不能把本题答案写成恒零函数或平方函数。最后把表达式代回复合输入，可验证它确实满足原式。

两次换元形成方程组

设对所有非零实数 $x$ 有

f(1/x)+\frac1x f(-x)=2x.

将 $x$ 换成 $-1/x$ ，得 $f(-x)-xf(1/x)=-2/x$ 。原式乘以 $x$ 后与此式相加，得到

f(-x)=x^2-1/x,

故 $f(t)=t^2+1/t$ （ $t\ne0$ ）。代回可验证每个非零输入均成立。

换元首先要求原方程在新输入处也成立；若题目排除了某些点，应检查新输入是否落入排除点。原资料书页65只标了 $x\ne1$ ，但式子本身还要求 $x\ne0$ ，不能忽略表达式的定义条件。本节使用对非零实数成立的明确版本。

平方关系不自动固定全局分支

求所有 $f:\mathbb R\to\mathbb R$ ，使

f((x-y)^2)=f(x)^2-2xf(y)+y^2

对所有 $x,y$ 成立。令 $c=f(0)$ ，取 $x=y$ 得 $c=(f(x)-x)^2$ ，取 $x=y=0$ 得 $c=c^2$ ，故 $c=0$ 或 $1$ 。

若 $c=0$ ，直接得到 $f(x)=x$ 。若 $c=1$ ，取 $x=0$ 得 $f(y^2)=1+y^2$ ；再取 $y=0$ ，得 $1+x^2=f(x)^2-2x$ 。而平方关系给出 $f(x)^2-2xf(x)+x^2=1$ 。相减整理得 $2x(f(x)-x-1)=0$ ，所以 $x\ne0$ 时 $f(x)=x+1$ ，在零点也成立。

回代可验证两解 $f(x)=x$ 与 $f(x)=x+1$ 均成立。 $f(x)=x-1$ 已因 $f(0)=-1$ 违反 $c\in\{0,1\}$ ，不是解。

一般地，由 $(f(x)-g(x))^2=1$ 只能先写为 $f(x)=g(x)+\varepsilon(x)$ ， $\varepsilon(x)\in\{-1,1\}$ ；符号是否随 $x$ 改变，要用其他条件决定。

减去特解后得到加法关系

若 $f(x+y)=f(x)+f(y)+xy+1$ ，定义 $h(x)=f(x)-x^2/2+1$ ，直接计算得

h(x+y)=h(x)+h(y).

因此 $h(0)=0,h(-x)=-h(x)$ ，且对有理数 $r$ 有 $h(r)=rh(1)$ 。例如再给出 $f(-2)=-2$ ，可得 $h(-2)=-3$ ，所以 $h(1)=3/2$ ，从而

f(r)=\frac{r^2+3r-2}{2}\qquad(r\in\mathbb Q).

若只求整数 $a$ 满足 $f(a)=a$ ，解 $a^2+a-2=0$ 得 $a=-2,1$ ，已经足够。不能因有理点公式确定，就未经额外论证声称所有实数点也被同一多项式确定；连续性或单调性等附加条件须另查。

模型用于猜想，恒等式用于证明

设 $g(0)=1$ ，且 $g(x-y)=f(x)f(y)+g(x)g(y)$ 。令 $x=y$ 可得 $f(x)^2+g(x)^2=1$ ，因而 $|f(x)g(x)|\le1/2$ 。若另有 $f(\lambda)=1$ ，便有 $g(\lambda)=0$ ；再取 $x=\lambda,y=\lambda-t$ ，得到 $g(t)=f(\lambda-t)$ 。

这些结论直接来自条件，不需要先认定 $f,g$ 就是正弦、余弦。满足条件的一个三角函数模型，可以帮助发现结论，但不能替代对所有允许函数的证明。

即使同时给出正弦、余弦加法式与 $0<f(x)<x$ （ $0<x<1$ ），也没有确定唯一尺度： $f(x)=\sin(cx),g(x)=\cos(cx)$ 对每个 $0<c\le1$ 都满足这些条件。原资料书页67的唯一性断言还缺少归一化条件，本手册不沿用。

正整数定义域的离散约束

相邻差不能从 $+1$ 变为 $-1$ ，也不能反向变号，否则相隔两步的函数值相等，违反单射性。因此差始终同号。若始终为 $-1$ ，则足够大的输入会得到非正值，与值域矛盾；只能始终为 $+1$ 。

故全部函数为 $f(n)=c+n-1$ ， $c$ 为任意正整数。回代有 $|f(x)-f(y)|=|x-y|$ ，所以每个这样的函数都满足原条件。这个证明依赖正整数定义域和值域，不能原样搬到任意实函数。

二次型函数关系可以严格确定整数值

设实函数满足 $f(x+y)=f(x)+f(y)+2axy-c$ ，其中 $a,c$ 为常数。令 $x=y=0$ 得 $f(0)=c$ ；减去已知二次部分，记 $h(x)=f(x)-ax^2-c$ ，则 $h(x+y)=h(x)+h(y)$ 。

因此对整数 $n$ ， $h(n)=nh(1)$ ，即

f(n)=an^2+[f(1)-a-c]n+c.

例如 $a=2,c=1,f(1)=4$ ，得到 $f(n)=2n^2+n+1$ ，从而 $f(5)=56$ 。这些整数值无需连续性就能确定。要进一步断言所有实数 $x$ 都有同一个二次表达式，还需连续性、单调性等足够的附加条件；“长得像二次函数”本身不是证明。

常见抽象模型先作归一化

模型的用途是寻找代换，不能在缺少附加条件时宣布唯一解析式。

关系（在所写输入有定义时）	有用的代换或结论
$f(x+y)=f(x)+f(y)+c$	$h=f+c$ 满足加法关系
$f(x+y)=f(x)f(y)/c$ ， $c\ne0$	$h=f/c$ 满足乘法关系
$f(xy)=f(x)+f(y)$ ， $x,y>0$	$h(t)=f(e^t)$ 满足加法关系
$f(xy)=f(x)f(y)>0$ ， $x,y>0$	$h(t)=\ln f(e^t)$ 满足加法关系
$f(x+y)=f(x)+f(y)+3axy(x+y)$	$h(x)=f(x)-ax^3$ 满足加法关系

加法关系先确定整数、有理数处的值；要推广到全体实数，通常补充连续性或单调性。对 $f(x+y)=f(x)f(y)$ ，还须先处理恒零解：非恒零时 $f(0)=1$ ，且 $f(x)=f(x/2)^2>0$ ，这时才可以取对数。

$\sin(cx)$ 与 $(e^{cx}-e^{-cx})/2$ 均满足

f(x+y)f(x-y)=f(x)^2-f(y)^2.

同样， $\cos(cx)$ 与 $(e^{cx}+e^{-cx})/2$ 均满足余弦型加法关系。能识别出正弦模型，不等于排除了指数构成的模型。正切加法式还会出现分母为零，必须先检查题目定义域是否允许每一次代入。

把方程和不等式识别为同一严格单调函数

若 $H$ 严格递增，则 $H(u)<H(v)\iff u<v$ ；若还为奇函数，则

H(u)+H(v)=0\iff H(u)=H(-v)\iff u=-v.

须先确认 $u,v,-v$ 都在定义域内；严格性提供单射，不能用非严格单调替代。

例一：隐藏的同一函数。 令 $u=x^2-20x+38$ ，则

u^3+4x^2+152<x^3+84x \iff u^3+4u<x^3+4x.

$H(t)=t^3+4t$ 严格递增，故等价于 $u<x$ ，即 $(x-2)(x-19)<0$ ，解为 $2<x<19$ 。

例二：高次项无需逐个解根。 若

(x-1)^5+2017(x-1)=4034,\qquad (y-1)^5+2017(y-1)=-4034,

取严格递增奇函数 $H(t)=t^5+2017t$ ，便得 $x-1=-(y-1)$ ，所以 $x+y=2$ 。若 $(3x+y)^{2015}+x^{2015}+4x+y=0$ ，取 $H(t)=t^{2015}+t$ ，原式成为 $H(3x+y)+H(x)=0$ ，从而 $4x+y=0$ 。

例三：带根式的奇函数。

(3x-1)(\sqrt{9x^2-6x+5}+1) +(2x-3)(\sqrt{4x^2-12x+13}+1)=0.

令 $H(t)=t(\sqrt{t^2+4}+1)$ 。它为奇函数，在非负半轴上是非负增因子的乘积并加上线性项，严格递增；在负半轴上由奇性同样严格递增，跨零时由符号仍保持严格。原式为 $H(3x-1)+H(2x-3)=0$ ，故 $3x-1=-(2x-3)$ ，得到 $x=4/5$ ，代回两个自变量互为相反数，确实满足。

定义域不能后补。 若奇函数 $f$ 在 $(-1,1)$ 上严格递减，而 $f(1+a)+f(1-a^2)<0$ ，首先需要 $-2<a<0$ 且 $0<a^2<2$ ，合为 $-\sqrt2<a<0$ 。再利用奇性，原不等式化为 $f(1+a)<f(a^2-1)$ ，递减给出 $1+a>a^2-1$ ，即 $-1<a<2$ 。与定义域条件取交，答案 $-1<a<0$ 。

关联阅读