\(\newcommand{\footnotename}{footnote}\)
\(\def \LWRfootnote {1}\)
\(\newcommand {\footnote }[2][\LWRfootnote ]{{}^{\mathrm {#1}}}\)
\(\newcommand {\footnotemark }[1][\LWRfootnote ]{{}^{\mathrm {#1}}}\)
\(\let \LWRorighspace \hspace \)
\(\renewcommand {\hspace }{\ifstar \LWRorighspace \LWRorighspace }\)
\(\newcommand {\TextOrMath }[2]{#2}\)
\(\newcommand {\mathnormal }[1]{{#1}}\)
\(\newcommand \ensuremath [1]{#1}\)
\(\newcommand {\LWRframebox }[2][]{\fbox {#2}} \newcommand {\framebox }[1][]{\LWRframebox } \)
\(\newcommand {\setlength }[2]{}\)
\(\newcommand {\addtolength }[2]{}\)
\(\newcommand {\setcounter }[2]{}\)
\(\newcommand {\addtocounter }[2]{}\)
\(\newcommand {\arabic }[1]{}\)
\(\newcommand {\number }[1]{}\)
\(\newcommand {\noalign }[1]{\text {#1}\notag \\}\)
\(\newcommand {\cline }[1]{}\)
\(\newcommand {\directlua }[1]{\text {(directlua)}}\)
\(\newcommand {\luatexdirectlua }[1]{\text {(directlua)}}\)
\(\newcommand {\protect }{}\)
\(\def \LWRabsorbnumber #1 {}\)
\(\def \LWRabsorbquotenumber "#1 {}\)
\(\newcommand {\LWRabsorboption }[1][]{}\)
\(\newcommand {\LWRabsorbtwooptions }[1][]{\LWRabsorboption }\)
\(\def \mathchar {\ifnextchar "\LWRabsorbquotenumber \LWRabsorbnumber }\)
\(\def \mathcode #1={\mathchar }\)
\(\let \delcode \mathcode \)
\(\let \delimiter \mathchar \)
\(\def \oe {\unicode {x0153}}\)
\(\def \OE {\unicode {x0152}}\)
\(\def \ae {\unicode {x00E6}}\)
\(\def \AE {\unicode {x00C6}}\)
\(\def \aa {\unicode {x00E5}}\)
\(\def \AA {\unicode {x00C5}}\)
\(\def \o {\unicode {x00F8}}\)
\(\def \O {\unicode {x00D8}}\)
\(\def \l {\unicode {x0142}}\)
\(\def \L {\unicode {x0141}}\)
\(\def \ss {\unicode {x00DF}}\)
\(\def \SS {\unicode {x1E9E}}\)
\(\def \dag {\unicode {x2020}}\)
\(\def \ddag {\unicode {x2021}}\)
\(\def \P {\unicode {x00B6}}\)
\(\def \copyright {\unicode {x00A9}}\)
\(\def \pounds {\unicode {x00A3}}\)
\(\let \LWRref \ref \)
\(\renewcommand {\ref }{\ifstar \LWRref \LWRref }\)
\( \newcommand {\multicolumn }[3]{#3}\)
\(\require {textcomp}\)
\(\newcommand {\intertext }[1]{\text {#1}\notag \\}\)
\(\let \Hat \hat \)
\(\let \Check \check \)
\(\let \Tilde \tilde \)
\(\let \Acute \acute \)
\(\let \Grave \grave \)
\(\let \Dot \dot \)
\(\let \Ddot \ddot \)
\(\let \Breve \breve \)
\(\let \Bar \bar \)
\(\let \Vec \vec \)
\(\require {mathtools}\)
\(\newcommand {\vcentcolon }{\mathrel {\unicode {x2236}}}\)
\(\newcommand {\approxcolon }{\approx \vcentcolon }\)
\(\newcommand {\Approxcolon }{\approx \dblcolon }\)
\(\newcommand {\simcolon }{\sim \vcentcolon }\)
\(\newcommand {\Simcolon }{\sim \dblcolon }\)
\(\newcommand {\dashcolon }{\mathrel {-}\vcentcolon }\)
\(\newcommand {\Dashcolon }{\mathrel {-}\dblcolon }\)
\(\newcommand {\colondash }{\vcentcolon \mathrel {-}}\)
\(\newcommand {\Colondash }{\dblcolon \mathrel {-}}\)
\(\newenvironment {crampedsubarray}[1]{}{}\)
\(\newcommand {\smashoperator }[2][]{#2\limits }\)
\(\newcommand {\SwapAboveDisplaySkip }{}\)
\(\newcommand {\LaTeXunderbrace }[1]{\underbrace {#1}}\)
\(\newcommand {\LaTeXoverbrace }[1]{\overbrace {#1}}\)
\(\Newextarrow \xLongleftarrow {10,10}{0x21D0}\)
\(\Newextarrow \xLongrightarrow {10,10}{0x21D2}\)
\(\let \xlongleftarrow \xleftarrow \)
\(\let \xlongrightarrow \xrightarrow \)
\(\newcommand {\LWRmultlined }[1][]{\begin {multline*}}\)
\(\newenvironment {multlined}[1][]{\LWRmultlined }{\end {multline*}}\)
\(\let \LWRorigshoveleft \shoveleft \)
\(\renewcommand {\shoveleft }[1][]{\LWRorigshoveleft }\)
\(\let \LWRorigshoveright \shoveright \)
\(\renewcommand {\shoveright }[1][]{\LWRorigshoveright }\)
\(\newcommand {\shortintertext }[1]{\text {#1}\notag \\}\)
\(\newcommand {\toprule }[1][]{\hline }\)
\(\let \midrule \toprule \)
\(\let \bottomrule \toprule \)
\(\def \LWRbooktabscmidruleparen (#1)#2{}\)
\(\newcommand {\LWRbooktabscmidrulenoparen }[1]{}\)
\(\newcommand {\cmidrule }[1][]{\ifnextchar (\LWRbooktabscmidruleparen \LWRbooktabscmidrulenoparen }\)
\(\newcommand {\morecmidrules }{}\)
\(\newcommand {\specialrule }[3]{\hline }\)
\(\newcommand {\addlinespace }[1][]{}\)
知识点
概念定位：
反函数属于函数基础中的“对应关系”问题。本质不是计算技巧，而是判断一个函数值能否唯一反推出原来的自变量。后续求反函数、反函数求导、复合函数化简、图像对称和定义域值域问题都会用到它。
定义：
设函数 \(y=f(x)\) 的定义域为 \(D\)，值域为 \(R\)。如果对每一个 \(y\in R\)，在 \(D\) 中都存在唯一的 \(x\)，使得
\[ y=f(x), \]
则可以由 \(y\) 唯一确定 \(x\)。这时定义新函数
\[ x=\varphi (y), \]
称它为 \(y=f(x)\) 的反函数，通常记作
\[ x=f^{-1}(y). \]
反函数的定义域是原函数的值域 \(R\)，反函数的值域是原函数的定义域 \(D\)。
直觉解释：
原函数是“输入 \(x\)，得到 \(y\)”；反函数是“已知输出 \(y\)，倒推输入 \(x\)”。所以反函数存在的核心要求是：同一个输出不能来自两个不同输入。若存在 \(x_1\ne x_2\)，但 \(f(x_1)=f(x_2)\)，那么只知道 \(y\) 时就无法判
断原来的输入到底是 \(x_1\) 还是 \(x_2\)，反函数就不存在。
存在条件：
函数有反函数的充要条件是它在定义域上是一一对应，即
\[ x_1\ne x_2\quad \Longrightarrow \quad f(x_1)\ne f(x_2). \]
严格单调函数一定一一对应，所以严格单调是反函数存在的充分条件。但它不是必要条件：有反函数的函数不一定在整个定义域上单调。
典型例子一：限制定义域后才有反函数
函数 \(y=x^2\) 若定义在全体实数上，则 \(f(1)=f(-1)=1\)，同一个函数值 \(1\) 对应两个不同自变量，因此没有反函数。
如果把定义域限制为 \([0,+\infty )\)，则 \(y=x^2\) 严格递增，且值域为 \([0,+\infty )\)，于是有反函数
\[ x=\sqrt {y}. \]
按通常习惯把反函数也写成以 \(x\) 为自变量，就得到
\[ y=\sqrt {x},\qquad x\ge 0. \]
这说明：很多函数不是天然没有反函数，而是需要先选定一个能保证一一对应的定义域分支。
典型例子二：有反函数不一定单调
设
\[ f(x)= \begin {cases} x, & x\ge 0,\\ \dfrac {1}{x}, & x<0. \end {cases} \]
当 \(x\ge 0\) 时，函数值落在 \([0,+\infty )\)；当 \(x<0\) 时，函数值落在 \((-\infty ,0)\)。两段的值域不重叠，且每段内部都不会出现同一个函数值对应两个自变量，所以它是一一对应的，有反函数。事实上它的反
函数就是它本身。
但这个函数在整个定义域上不是单调函数。例如在负半轴上，\(1/x\) 是递减的，而在非负半轴上，\(x\) 是递增的；跨过 \(0\) 时又不是一个统一的单调趋势。因此“严格单调必有反函数”可以用，“有反函数必严格单调”不能用。
图像关系：
若把
\[ x=f^{-1}(y) \]
和
\[ y=f(x) \]
画在同一坐标系中，它们其实表示同一批点，只是从不同方向描述同一个对应关系。
若把反函数改写成标准函数形式 \(y=f^{-1}(x)\)，相当于把原关系中的 \(x\) 与 \(y\) 互换。因此 \(y=f(x)\) 与 \(y=f^{-1}(x)\) 的图像关于直线
\[ y=x \]
对称。
判别方法：
求反函数五步法：
-
1. 写出原函数 \(y=f(x)\)，并明确原定义域 \(D\)。
-
2. 由方程 \(y=f(x)\) 解出 \(x\)，得到 \(x=\varphi (y)\)。
-
3. 检查解出的 \(x\) 是否唯一；若不唯一，要限制定义域或分支。
-
4. 交换字母 \(x,y\)，写成 \(y=f^{-1}(x)\)。
-
5. 写明反函数的定义域和值域：反函数定义域为原函数值域，反函数值域为原函数定义域。
重要关系：
若 \(f:D\to R\) 一一对应，且反函数为 \(f^{-1}:R\to D\)，则
\[ f^{-1}(f(x))=x,\qquad x\in D, \]
\[ f(f^{-1}(y))=y,\qquad y\in R. \]
写这些恒等式时必须带着变量范围理解：第一个式子里的 \(x\) 来自原函数定义域，第二个式子里的 \(y\) 来自原函数值域。
常见误区：
-
• \(f^{-1}(x)\) 表示反函数，不表示 \(\dfrac {1}{f(x)}\)。
-
• 只说“单调所以有反函数”时，要确认是在整个给定定义域上严格单调。
-
• 求反函数后忘记写定义域和值域，会在根式、对数和分段函数中丢分。
-
• 图像对称关系只适用于 \(y=f(x)\) 与 \(y=f^{-1}(x)\)，不是 \(x=f^{-1}(y)\) 与 \(y=f(x)\) 两条不同曲线关于 \(y=x\) 对称。