套路

一个量与它的倒数同时出现就换元

式子里同时出现 uu 与 1u\frac1u(log⁡ab\log_a b 与 log⁡ba\log_b a、xx 与 1x\frac1x、tan⁡θ\tan\theta 与 cot⁡θ\cot\theta)时,设 t=ut=u 把它并成一个字母;代价是新方程对 t↔1tt\leftrightarrow\frac1t 对称,必须另用范围取舍。

解题套路

  1. 认出那对倒数。它们常常伪装得不像:

    长相其实是 uu 与 1u\dfrac1u
    log⁡ab\log_a b 与 log⁡ba\log_b au=log⁡bau=\log_b a
    tan⁡θ\tan\theta 与 cot⁡θ\cot\thetau=tan⁡θu=\tan\theta
    ab\dfrac{a}{b} 与 ba\dfrac{b}{a}u=abu=\dfrac ab
    2x2^{x} 与 2−x2^{-x}u=2xu=2^{x}
  2. 设 t=ut=u,把式子写成 tt 与 1t\dfrac1t 的组合。绝大多数题目里它会收成

    t+1t=k或t−1t=k.t+\frac1t=k\quad\text{或}\quad t-\frac1t=k .
  3. 去分母变成一元二次。t+1t=kt+\dfrac1t=k 乘 tt 得 t2−kt+1=0t^{2}-kt+1=0; 注意常数项恰是 11,所以两根之积为 11,它们互为倒数。

  4. 用范围取舍。上一步的对称性说明方程本身分不出 tt 和 1t\dfrac1t, 取哪个只能由题设的大小关系决定。

为什么值得换

不换元时式子里有两个看似独立的量,条件却只有一个,容易觉得「未知数比方程多」。 换元之后自由度暴露出来:它本来就只有一个。

顺带还白送两条常用事实:

  • t>0t>0 时 t+1t⩾2t+\dfrac1t\geqslant2,等号在 t=1t=1;所以 t+1t=kt+\dfrac1t=k 有解当且仅当 k⩾2k\geqslant2。
  • 两根互为倒数,故只要求出一个,另一个不用再解。

边界

  • t−1t=kt-\dfrac1t=k 的两根之积是 −1-1,是互为负倒数,不要套上面那条。
  • 若原量可正可负(如 tan⁡θ\tan\theta),t+1tt+\dfrac1t 的取值是 (−∞,−2]∪[2,+∞)(-\infty,-2]\cup[2,+\infty), 中间那段是空的——这一点经常成为「无解」类问题的关键。

共 5 道题考到本条。