化归思想：把新问题变回旧问题

常见表现形式

• 未知化已知：换元把陌生方程变成一元二次
• 代数化几何：数形结合把最值变成相切
• 多元化单元：消元把方程组变成单变量方程
• 一般化特殊：取特殊值探路，再回到一般证明

在哪些母题中出现

• 清华强基题：x²+y²+xy=1 求 x-y 最大值的七种解法

化归的标准动作

动作	方向	例子
换元	陌生式子 → 熟悉结构	和差换元消交叉项
消元	多元 → 单元	判别式法消去 $x$
数形互译	代数 ↔ 几何	最值 ↔ 切线
降维	高次 → 低次	因式分解降次

一句口诀

遇新题，先问三句话：它像我做过的哪道题？差在哪里？补哪一步能变成它？这三个问题就是化归思想的全部操作手册。

典例精析

例 1（陌生方程化归为熟悉方程） 解方程 $(x^2+x{)}^2-4(x^2+x)+3=0$。

令 $t=x^2+x$，原方程化归为 $t^2-4t+3=0$，解得 $t=1$ 或 $t=3$；再分别解 $x^2+x=1$ 与 $x^2+x=3$，回代即得全部根。这里把「四次方程」化归为「二次方程」，是化归最朴素的样子。

例 2（最值化归为判别式非负） 已知 $x-y=k$ 且 $x^2+y^2+xy=1$，求 $k$ 的取值范围。

把 $x=k+y$ 代入约束，整理得 $3y^2+3ky+(k^2-1)=0$。这里把「求最值」化归为「方程有实数解」，于是判别式 $\Delta =9k^2-12(k^2-1)\ge 0$ 给出 $k\in [-2,2]$。回代 $k=\pm 2$ 验证等号成立，故 $|k|\le 2$。

例 3（几何化归为代数） 求椭圆 $x^2+y^2+xy=1$ 上点 $(x,y)$ 的 $x-y$ 取值范围。

几何上「椭圆上的线性函数最值」是陌生问题，但把它翻译成「直线族 $x-y=k$ 与椭圆相切」后再算判别式，就化归为例 2 的代数流程。化归在这里完成了一次「几何 → 代数」的语种切换。

辨析与提醒

• 为化归而化归：转化后的问题比原题更难，说明方向选错。例 1 若只令 $t=x^2$（而不是把 $x^2+x$ 整体打包），方程仍含 $x$ 的一次项，并没有真正降成关于 $t$ 的二次方程；换 $t=x^2+x$ 整体代换才一步到位。方向不对要及时回头。
• 不等价转化漏回验：两边平方、去分母这类化归会扩大定义域，必须回代检验。解分式方程化归为整式方程后，增根只能靠「代入原方程」剔除，不能只看化归后的解集。
• 化归终点选错：把椭圆上的最值化归为「参数方程求值域」虽等价，但若学生没学过参数方程就等于走进死胡同。化归的终点必须是自己确实会做的题型，否则只是换了个不会的说法。

跨学段衔接

小学「把异分母分数通分」就是化归——把陌生分数化归为同分母的熟悉运算；初中「解分式方程去分母」「解二元方程组消元」是同一思想的代数升级；高中「空间向量代数化」「解析几何把几何化归为坐标」是化归的几何版本；大学「拉格朗日乘数法把约束最值化归为无约束驻点」「傅里叶变换把信号化归为频率分量」是化归在分析学中的延续。整部数学史可以看作一部「化归方向不断丰富」的历史。

化归与其他思想的关系

思想	与化归的关系	一句话
换元思想	化归的战术之一	提供「怎么化」的具体手法
方程思想	化归的落点之一	把问题化归为「解方程」
数形结合	化归的翻译器	在代数与几何两种语言间切换
函数思想	化归的统帅	把问题化归为「研究函数变化」
分类讨论	化归的前置工序	先按情况拆分，再分别化归

化归是战略，其余思想是战术。战术越丰富，战略能选的方向就越多——这正是「知识网络越密、化归越得心应手」的真正原因。