以前曾经编辑过一篇 换元法，从点击量来看，反响还算可以，但是总感觉没有说透，本来是依托 豆包 ，想完善高中数学的设元技巧，结果 豆包 给出的是换元法的框架，索性就再以换元法，总体感觉思路比以前清晰多了。个别典例完善中。
鉴于篇幅关系，博文分上下两个部分，此篇为上篇，若有兴趣，请参阅 再议高中阶段的换元法(下)
换元法的本质是变量代换与结构转化：通过引入新变量，将复杂、分散、陌生的问题，转化为简单、集中、熟悉的标准模型，核心是「化繁为简、化异为同」。
高中阶段的换元技巧，按适用场景可分为代数类换元、三角类换元、几何类换元、参数类换元四大类，覆盖函数、不等式、数列、解析几何、立体几何等全模块。
代数类换元，是换元法中的基础类型，要求学生必须熟练掌握，具体分为整体换元、均值换元、和差换元、比值换元、增量换元五种详细说明。
➊整体换元[最常用，以元换式]，核心原理：将反复出现的复杂代数式、根式、分式、指数/对数式整体设为新元，简化运算。
适用场景：含重复结构的方程/不等式【如 \(\sqrt{x^2+8}\)、\(a^x\) \(+\) \(a^{-x}\)、\(t+\cfrac{1}{t}\)、\(e^{2x}\) \(+\) \(e^{-2x}\) 等】，分式函数求值域(分母/分子为复杂多项式)，复合函数求解析式/值域，数列递推( 如 \(a_{n+1}=2a_n+1\) 型，则可以变形为 \(a_{n+1}+1=2(a_{n}+1)\)，可以换元为 \(b_{n+1}=2b_{n}\))
【豆包提供例题，已人工验证】求函数 \(y=x+\sqrt{x-1}\) 的值域。
解：令 \(t=\sqrt{x-1}\) \((t\geq0)\)，则 \(x=t^2+1\)，代入得 \(y=t^2+1+t\)\(=\)\(\left(t+\cfrac{1}{2}\right)^2+\cfrac{3}{4}\)，
由 \(t\geq0\)，得 \(y\geq1\)，故值域为 \([1,+\infty)\)。
⚠️避坑指南：必须标注新元的取值范围( 如根式换元 \(t\geq0\) )，否则值域/解集出错。换元后需回代验证，确保解满足原方程。
【2017全国卷Ⅲ理11题文12题】已知函数 \(f(x)=x^2-2x+a(e^{x-1}+e^{-x+1})\) 有唯一零点，则 \(a=\) 【\(\qquad\)】
$A.-\dfrac12$ $B.\dfrac13$ $C.\dfrac12$ $D.1$
解：令 \(x-1=t\)，则 \(x=t+1\)，则 \(f(x)\) \(=\) \((t+1)^2\) \(-\) \(2(t+1)\) \(+\) \(a(e^t + e^{-t})\) \(=\) \(t^2\) \(-\) \(1\) \(+\) \(a(e^t+ e^{-t})\)，
记 \(g(t)\) \(=\) \(t^2-1\) \(+\) \(a(e^t+e^{-t})\)，由于 \(g(-t)=g(t)\)，则 \(g(t)\) 是偶函数；[1]
又由题目可知，\(f(x)\) 有唯一零点 ，等价于函数 \(g(t)\) 有唯一零点，
而偶函数若只有一个零点，则必在对称轴 \(t=0\) 处，于是有 \(g(0)\)\(=\)\(-1\)\(+\)\(2a\)\(=\)\(0\)，解得 \(a=\)\(\cfrac12\)，
接下来，再验证 \(a=\dfrac12\) 的唯一性，\(g(t)\) \(=\) \(t^2-1\) \(+\) \(\cfrac12(e^t+e^{-t})\)
求导：\(g'(t)\) \(=\) \(2t\) \(+\) \(\cfrac12(e^t-e^{-t})\)
\(t>0\) 时，\(e^t-e^{-t}>0\)，\(g'(t)>0\)，\(g(t)\)\(\uparrow\)；\(t<0\) 时，\(g'(t)<0\)，\(g(t)\)\(\downarrow\)
则 \(g(0)=0\)，且 \(t\neq0\) 时 \(g(t)>0\)，
故函数 \(g(t)\) 确实只有一个零点，故选 \(C\) . 其他解法
➋均值换元[对称结构专用]，核心原理：当变量满足和为定值( \(a+b=m\) )时，设 \(a=\cfrac{m}{2}+t\)，\(b=\cfrac{m}{2}-t\)，利用对称性消元，简化计算。
适用场景：对称不等式证明( 如 \(a+b=1\) 求 \(ab\) 最值 )；对称方程求解( 如 \(x+y=5\) 且 \(x^2+y^2=13\) )；均值不等式应用( 和定积最大、积定和最小 )；
【豆包提供例题，已人工验证】 已知 \(a>0\)，\(b>0\)，\(a+b=4\)，求 \(a^2+b^2\) 的最小值。
解：设 \(a=2+t\)，\(b=2-t\) ( \(t\in(-2,2)\) )，
则 \(a^2+b^2\)\(=\)\((2+t)^2+(2-t)^2\)\(=\)\(8+2t^2\)，
当 \(t=0\) 时，最小值为 \(8\)。
拓展：【多元均值换元】若 \(a+b+c=m\)，可设 \(a\)\(=\)\(\cfrac{m}{3}+t_1\)，\(b\)\(=\)\(\cfrac{m}{3}+t_2\)，\(c\)\(=\)\(\cfrac{m}{3}-t_1-t_2\)，适用于三元对称问题。
➌和差换元[对称/非对称结构通用]，核心原理：对任意两个变量 \(a\)、\(b\)，设 \(a=s+d\)，\(b=s-d\)( \(s\)\(=\)\(\cfrac{a+b}{2}\)，\(d\)\(=\)\(\cfrac{a-b}{2}\) )，将「和」与「差」分离，简化运算。
适用场景：含 \(a+b\)、\(ab\) 的条件求值( 如韦达定理型问题 )；对称不等式证明；解析几何中点差法( 如弦中点问题 )；
【豆包提供例题，已人工验证】已知 \(a+b=5\)、\(ab=6\)，求 \(a^2+b^2\)。
解：设 \(a=\cfrac{5}{2}+d\)，\(b=\cfrac{5}{2}-d\)，
则 \(ab=\left(\cfrac{5}{2}\right)^2-d^2=6\)，得 \(d^2=\cfrac{1}{4}\)，
\(a^2+b^2=(a+b)^2-2ab=25-12=13\)( 或代入 \(d\) 计算 )。
➍比值换元[比例/齐次式专用]，核心原理：当变量满足比例关系( 如 \(\cfrac{x}{a}=\cfrac{y}{b}=\cfrac{z}{c}=k\) )或齐次式( 分子分母次数相同 )时，设比值为新元，将多元问题转化为一元问题。
适用场景：比例式方程( 如 \(\cfrac{x}{2}=\cfrac{y}{3}=\cfrac{z}{4}\) )；齐次式求值( 如 \(\cfrac{\sin\theta\cos\theta}{\sin^2\theta+\cos^2\theta}\) )；解析几何中斜率相关问题；
【豆包提供例题，已人工验证】已知 \(\cfrac{x}{2}=\cfrac{y}{3}=\cfrac{z}{4}\)，求 \(\cfrac{x+y+z}{x-y+z}\) 的值。
解：设 \(\cfrac{x}{2}=\cfrac{y}{3}=\cfrac{z}{4}=k\)，则 \(x=2k\)、\(y=3k\)、\(z=4k\)，
代入得 \(\cfrac{2k+3k+4k}{2k-3k+4k}=\cfrac{9k}{3k}=3\)。
相关引申：比如已知 \(a:b:c\) \(=\) \(2:3:4\)，则可以利用非零比例因子，将三个元依次设为 \(a=2k\)、\(b=3k\)、\(c=4k\)；又或者已知 \(3a\)\(=\)\(4b\)\(=\)\(6c\)，可以先变形为 \(\cfrac{3a}{12}\)\(=\)\(\cfrac{4b}{12}\)\(=\)\(\cfrac{6c}{12}\)，故可以设为 \(a=4k\)、\(b=3k\)、\(c=2k\)；
➎增量换元[不等关系专用]，核心原理：当变量满足大小关系( 如 \(a>b\) )时，设 \(a=b+t\)( \(t>0\)，\(t\) 为增量 )，将不等关系转化为等式，简化证明。
适用场景：不等式证明( 如 \(a>b>0\) 证明 \(\sqrt{a}-\sqrt{b}<\sqrt{a-b}\) )；数列单调性分析；
【豆包提供例题，已人工验证】已知 \(a>b>0\)，证明：\(\sqrt{a}-\sqrt{b}<\sqrt{a-b}\)。
证明：设 \(a=b+t\)( \(t>0\) )，则 \(\sqrt{a}-\sqrt{b}\)\(=\)\(\sqrt{b+t}\)\(-\)\(\sqrt{b}\)
\(=\)\(\cfrac{t}{\sqrt{b+t}+\sqrt{b}}\)，又 \(\sqrt{a-b}=\sqrt{t}\)，
要证明原不等式成立，只需证 \(\cfrac{t}{\sqrt{b+t}+\sqrt{b}}<\sqrt{t}\)，
即证 \(\cfrac{\sqrt{t}}{\sqrt{b+t}+\sqrt{b}}<1\)，也即证明 \(\sqrt{t}<\sqrt{b+t}+\sqrt{b}\)，
两边平方并整理，即需要证明 \(2b+2\sqrt{b+t}\cdot\sqrt{b}>0\)，
而上式显然成立，故原不等式得证。
三角类换元大多在三角/解析几何专用，具体分为三角换元、辅助角换元、万能公式换元三五种详细说明。
➊三角换元[根式/圆/椭圆专用]，核心原理：利用三角恒等式 \(\sin^2\theta\)\(+\)\(\cos^2\theta\)\(=\)\(1\)、\(1\)\(+\)\(\tan^2\theta\)\(=\)\(\sec^2\theta\)，将代数根式转化为三角式，消去根号。
适用场景：含 \(\sqrt{a^2-x^2}\)、\(\sqrt{x^2-a^2}\)、\(\sqrt{x^2+a^2}\) 的函数/不等式；圆、椭圆的参数方程（解析几何）；多元函数最值（如 \(x^2+y^2=r^2\) 求 \(ax+by\) 最值）；以下是具体的换元规则：
| 原式结构 | 换元方式 | 定义域 |
|---|---|---|
【豆包提供例题，已人工验证】 求函数 \(y=x+\sqrt{4-x^2}\) 的值域。
解：令 \(x=2\sin\theta\)，\(\theta\in\left[-\cfrac{\pi}{2},\cfrac{\pi}{2}\right]\) [2] ，则 \(\sqrt{4-x^2}=2\cos\theta\)，
\(y=2\sin\theta+2\cos\theta=2\sqrt{2}\sin\left(\theta+\cfrac{\pi}{4}\right)\)，
由 \(\theta\in\left[-\cfrac{\pi}{2},\cfrac{\pi}{2}\right]\)，得 \(\theta+\cfrac{\pi}{4}\in\left[-\cfrac{\pi}{4},\cfrac{3\pi}{4}\right]\)，
故 \(\sin\left(\theta+\cfrac{\pi}{4}\right)\in\left[-\cfrac{\sqrt{2}}{2},1\right]\)，\(y\in[-2,2\sqrt{2}]\)。
⚠️避坑指南：必须标注 \(\theta\) 的取值范围，避免三角函数值域出错。换元后需回代验证，确保解满足原定义域。
➋辅助角换元[形如结构 \(a\sin x\)\(+\)\(b\cos x\) 专用]，核心原理：将 \(a\sin x\)\(+\)\(b\cos x\) 化为 \(A\sin(x+\varphi)\)(或 \(A\cos(x-\varphi)\))，其中 \(A\)\(=\)\(\sqrt{a^2+b^2}\)，\(\tan\varphi=\cfrac{b}{a}\)（或 \(\cos\varphi=\cfrac{a}{A},\sin\varphi=\cfrac{b}{A}\)）。
适用场景：三角函数求最值、周期、对称轴/对称中心；三角方程求解；三角函数图像变换；
【2020·河北“五个一”名校联考】函数 \(f(x)\) \(=\) \(3\sin x\) \(+\) \(4\cos x\)，若直线 \(x=\theta\) 是曲线 \(y=f(x)\) 的一条对称轴，则\(\cos 2\theta\)\(+\)\(\sin\theta\)\(\cos\theta=\)________.
解法1： 因为 \(f(x)\)\(=\)\(3\sin x\)\(+\)\(4\cos x\)\(=\)\(5\left(\dfrac{3}{5}\sin x+\dfrac{4}{5}\cos x\right)\)，
令\(\cos \varphi\)\(=\)\(\dfrac{3}{5}\)，\(\sin \varphi\)\(=\)\(\dfrac{4}{5}\)，则\(f(x)\)\(=\)\(5(\sin x\cos \varphi+\cos x\sin \varphi)\)\(=\)\(5\sin(x+\varphi)\)，
因为直线 \(x=\theta\) 是曲线 \(y=f(x)\) 的一条对称轴，
所以\(\theta\)\(+\)\(\varphi\)\(=\)\(k\pi\)\(+\)\(\dfrac{\pi}{2}\)，\(k\in\mathbf{Z}\)，所以\(\theta\)\(=\)\(k\pi\)\(+\)\(\dfrac{\pi}{2}\) \(-\) \(\varphi\)，\(k\in\mathbf{Z}\)，
所以\(2\theta\)\(=\)\(2k\pi\)\(+\)\(\pi\)\(-\)\(2\varphi\)，\(k\in\mathbf{Z}\)，
所以\(\cos 2\theta\)\(=\)\(\cos(2k\pi+\pi-2\varphi)\)\(=\)\(-\cos 2\varphi\)\(=\)\(-2\cos^2\varphi\)\(+1\)\(=\)\(-2\times\)\(\left(\dfrac{3}{5}\right)^2\)\(+\)\(1\)\(=\)\(\dfrac{7}{25}\)，
\(\sin \theta\cos \theta\)\(=\)\(\dfrac{1}{2}\sin 2\theta\)\(=\)\(\dfrac{1}{2}\sin(2k\pi+\pi-2\varphi)\)\(=\)\(\dfrac{1}{2}\sin 2\varphi\)\(=\)\(\sin \varphi\cos \varphi\)\(=\)\(\dfrac{4}{5}\times\dfrac{3}{5}\)\(=\)\(\dfrac{12}{25}\)，
所以\(\cos 2\theta\)\(+\)\(\sin \theta\)\(\cos \theta\)\(=\)\(\dfrac{7}{25}\)\(+\)\(\dfrac{12}{25}\)\(=\)\(\dfrac{19}{25}\).
➌ 万能公式换元[三角有理式专用]，核心原理：令 \(t=\tan\cfrac{x}{2}\)，则 \(\sin x=\cfrac{2t}{1+t^2}\)，\(\cos x=\cfrac{1-t^2}{1+t^2}\)，\(\tan x=\cfrac{2t}{1-t^2}\)，将三角式转化为关于 \(t\) 的有理式。
适用场景：三角有理式的积分（高中竞赛/拓展）；复杂三角方程求解；
求函数 \(y=\cfrac{2\cos x+2}{\sin x-3}\) 的值域；
解法3️⃣：万能公式代换法，由于学生的认知限制，学生不一定知道万能公式。
当 \(\cos x=-1\) 时，\(y=0\)；当 \(\cos x\neq -1\) 时，作如下的代换，
令 \(t\)\(=\)\(\tan\dfrac{x}{2}\)\(\in\)\(R\)，则 \(\sin x\)\(=\)\(\cfrac{2t}{1+t^2}\)，\(\cos x\)\(=\)\(\cfrac{1-t^2}{1+t^2}\) [3]，
代入原函数，化为有理函数 \(y=\cfrac{4}{-3t^2+2t-3}\)，
接下来，也可以按照两个思路来求解，
其一，将函数变形为 \(3y\cdot t^2-2y\cdot t+3y+4=0\)，
由于定义域为 \(R\)，又 \(y\neq 0\)，故上述方程为关于 \(t\) 的二次方程一定有解，
由判别式法可知，\(\Delta=(-2y)^2-4\times3y\times(3y+4)\geq 0\)，
解得， \(y\in\left[-\cfrac{3}{2},\ 0\right]\)，又由于 \(y\neq 0\)，即 \(y\in\left[-\cfrac{3}{2},\ 0\right)\)，
再结合单独讨论的情形，可知 \(y\in\left[-\cfrac{3}{2},\ 0\right]\)，
即所求函数的值域为 \(\left[-\cfrac{3}{2},0\right]\) .
其二，由 \(y=\cfrac{4}{-3t^2+2t-3}\)，由于 \(h(t)=-3t^2+2t-3\in(-\infty,-\cfrac{8}{3}]\)，
故 \(y\)\(=\)\(\cfrac{4}{h(t)}\)\(\in\)\(\left[-\cfrac{3}{2},\ 0\right)\)，
再结合单独讨论的情形，可知 \(y\in\left[-\cfrac{3}{2},\ 0\right]\)，
即所求函数的值域为 \(\left[-\cfrac{3}{2},0\right]\) . 其他解法
避坑指南：当 \(x=\pi+2k\pi\) 时，\(\tan\cfrac{x}{2}\) 无意义，需单独验证。
❹ 极坐标换元，本质是把直角坐标下的圆/旋转对称问题，变成极坐标下更简单的径向+角度问题。核心原理：令 \(x\)\(=\)\(\rho\cos\theta\) , \(y\)\(=\)\(\rho\sin\theta\) 换元，以实现把圆、旋转、平方和结构拉直或简化的功能。
适用场景：表达式含 \(x^2+y^2\)，如：\(\sqrt{x^2+y^2}\)、\(x^2+y^2=a^2\)、\(x^2+y^2\leq R^2\)；圆/圆环/扇形区域（积分、最值、轨迹）；旋转对称问题（绕原点旋转不变）；三角换元求最值/值域；形如：\(ax+by\)、\(x^2+y^2=1\) 求最值；
避坑指南：区域非圆、非对称慎用；被积函数无 \(x^2+y^2\) 且形式简单慎用（直接算更方便）；边界是直线矩形慎用（极坐标反而复杂）；
已知 \(x^2\) \(+\) \(y^2\) \(-\) \(xy\) \(=3\)，如何求 \(x\) \(+\) \(y\) 的最小值和最大值 .
解：【知乎踢歪提供思路】极坐标换元 + 三角变换，没想到极坐标方法求解还这样顺畅。
令: \(x\)\(=\)\(\rho\cos\theta\) 、\(y\)\(=\)\(\rho\sin\theta\)，原等式可化作: \(\rho^2\left(1-\cos\theta\sin\theta\right)=3\)
则 \((x+y)^2\)\(=\)\(\rho^2\left(1+2\cos\theta\sin\theta\right)\)
\(=\)\(\cfrac{3\rho^2\left(1+2\cos\theta\sin\theta\right)}{3}\)
\(=\cfrac{3\rho^2\left(1+2\cos\theta\sin\theta\right)}{\rho^2\left(1-\cos\theta\sin\theta\right)}\)
\(=\)\(\cfrac{3(1+2\cos\theta\sin\theta)}{1-\cos\theta\sin\theta}\) \(=\cfrac{6(1+2\cos\theta\sin\theta)}{2-2\cos\theta\sin\theta}\)
\(=6\left(\cfrac{\sin2\theta-2+3}{2-\sin2\theta}\right)\)\(=6\left(\cfrac{3}{2-\sin2\theta}-1\right)\)
\(-1 \le \sin2\theta \le 1\),
故: \((x+y)^2 \le 12\)，则有 \(-2\sqrt{3} \le x+y \le 2\sqrt{3}\)
不难知道， 当 \(x=y\) 时取得最值。 更多解法
| 设元类型 | 核心原理 | 适用场景 | 关键注意事项 |
|---|---|---|---|
1.识别结构：分析题目中的重复结构、对称关系、比例关系、根式等，选择合适的换元方法。
2.引入新元：设新元，标注新元的取值范围( 核心！避免出错 )。
3.转化问题：将原问题转化为关于新元的简单问题( 如一元二次方程、三角函数最值 )。
4.求解新元：求解新元的方程/不等式，得到结果。
5.回代验证：将新元结果回代到原变量，验证是否满足原条件( 尤其是定义域、不等关系 )。
6.总结结论：给出原问题的最终答案。
1.忽略新元的取值范围：如根式换元\(t\geq 0\)、三角换元 \(\theta\) 的定义域，导致值域/解集错误。
2.换元后不回代验证：如分式换元后出现增根，未验证导致错误。
3.辅助角象限错误：\(a\sin x\)\(+\)\(b\cos x\) 中，辅助角 \(\varphi\) 的象限由 \(a,b\) 的符号决定，不可直接用 \(\tan\varphi\)\(=\)\(\cfrac{b}{a}\) 确定。
4.直线参数方程中 \(t\) 的几何意义误用：只有当参数方程为标准形式( \(\cos^2\alpha\)\(+\)\(\sin^2\alpha\)\(=\)\(1\) )时，\(t\) 才表示距离，否则需调整。
5.齐次化时分母为0：如 \(\tan\theta\) 换元时，需验证 \(\cos\theta\neq0\)。
1.函数与导数：复合函数求值域、导数换元求单调性、极值。
2.不等式：基本不等式、柯西不等式、三角不等式的证明与最值。
3.数列：递推公式换元求通项、求和。
4.解析几何：直线与圆锥曲线的位置关系、轨迹方程、最值问题。
5.立体几何：空间向量设元求角、距离。
6.三角函数：三角恒等变换、最值、周期、对称轴。
[搜索我们的知识储备，都是需要提前记忆的]由于 \(y=t^2-1\) 为偶函数，\(y=a(e^t+e^{-t})\)为偶函数，故 \(g(t)\) 为偶函数 .包括后边的函数 \(y=e^t-e^{-t}\)，奇函数，单调递增等性质都是需要记忆储备的。
当然，此处若变形得到 \(f(x)\)\(=\)\((x-1)^2\)\(-\)\(1\)\(+\)\(a(e^{x-1}\)\(+\)\(e^{-(x-1)})\)，要是能看到 \(x-1\) 多次出现，也可以直接换元，令 \(x-1=t\)，则 原函数变形为 \(f(x)=\) \(t^2\) \(-\) \(1\) \(+\) \(a(e^t+ e^{-t})\)， ↩︎
此处的新元 \(\theta\) 的范围非常讲究，如本题目，令 \(x=2\sin\theta\)，则选取 \(\theta\in\left[-\cfrac{\pi}{2},\cfrac{\pi}{2}\right]\)，可以完美的兼顾到正弦函数的单调性和值域的完整性，不多不少，非常有利于后续的化简；同样，若令 \(x=2\cos\theta\)，则选取 \(\theta\in\left[0,\pi\right]\)，可以完美的兼顾到余弦函数的单调性和值域的完整性，不多不少，非常有利于后续的化简；初学三角函数的学生往往在此处会非常的困惑。 ↩︎
注意，这个是非等价变形，原因是 \(\cos x\in [-1,1]\)，但是 \(\cfrac{1-t^2}{1+t^2}\in(-1,1]\)，故这个变形不等价，所以这样的代换需要单独讨论 \(\cos x=-1\) 的情形； ↩︎
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。