【计算题】（一）函数

题型一 求函数定义域

初等函数: 分母不为 $0$、负数不能取平方根、负数和零不能取对数
复合函数：$f(g(x))$ 外函数的定义域是内函数的值域
反函数：$f^{-1}$ 的定义域是 $f$ 的值域，因此求原函数的值域即可

1. 初等函数定义域

例：求函数 $f(x)=\frac{lo{g}_{10}(x+8)\sqrt{26-2x}}{(x-2)(x+19)}$ 的定义域

解：
(1) 分母不为 $0$： $x\ne 2$ 且 $x\ne -19$
(2) 负数不能取平方根：$x\le 13$
(3) 负数和零不能取对数：$x>-8$

综上，定义域为 $(-8，2)\cup (2，13]$

2. 复合函数定义域

例1：设函数 $f(x)=\{\begin{array}{ll}1& \text{0≤x≤2}\\ 2& \text{2＜x≤6}\end{array}$，求 $f(x+2)+f(x-2)$ 的定义域

解：由于 $f(x)$ 的定义域是 $[0，6]$，因此 $f(x+2)$ 的定义域为 $0\le x+2\le 6$，即 $x\in [-2，4]$；
$f(x-2)$ 的定义域为 $0\le x-2\le 6$，即 $x\in [2，8]$，两者取交集为定义域 $x\in [2，4]$

例2：设 $f(x)=arcsinx，g(x)=lnx$，则 $f(g(x))$ 的定义域

解：由于 $f(x)$ 的定义域是 $[-1，1]$，因此 $f(g(x))$ 的定义域是 $-1\le g(x)\le 1$ 即 $-1\le lnx\le 1$，求解为 $[e^{-1}，e]$

3. 反函数定义域

例：求 $y=1-\sqrt{4-x^2}(-2\le x\le 0)$ 反函数的定义域

解：$y=1-\sqrt{4-x^2}$ 单调减，所以该函数在有反函数，且值域 $[-1，1]$ 是反函数的定义域

---

题型二 求函数表达式

初等函数: $f_1\pm f_2$ 联立方程组，$f(ax+b)$ 配方
复合函数：$g(x)$ 代入得 $f(g(x)$，求 $f(g(x))$ 中 $g(x)$ 定义域与$g(x)$ 自身定义域交集
反函数：反解自变量为 $y$ 的表达式，复杂的原函数需要变量代换

1. 初等函数表达式

例1：设 $f(x)+2f(\frac{1}{x})=1-x$，且 $x\ne 0$，求 $f(x)$

解：令 $\frac{1}{x}=t$，则有 $f(\frac{1}{t})+2f(t)=1-\frac{1}{t}$，联立方程组

$\{\begin{array}{l}f(x)+2f(\frac{1}{x})=1-x\\ f(\frac{1}{x})+2f(x)=1-\frac{1}{x}\end{array}$

从而有 $f(x)=\frac{1}{3}-\frac{2}{3x}+\frac{x}{3}$

例2：已知 $f(\frac{1}{x}-x)=x^2+\frac{1}{x^2}+2，x\ne 0$，求 $f(x)$

解：配方 $f(\frac{1}{x}-x)=x^2+\frac{1}{x^2}+2=(\frac{1}{x}-x{)}^2+4$

令 $t=\frac{1}{x}-x$，则 $f(t)=t^2+4$，从而有 $f(x)=x^2+4$

2. 反函数表达式

例1：求函数 $y=\{\begin{array}{ll}2x-4& \text{x≤0}\\ ln(x+1)& \text{x>0}\end{array}$ 的反函数

解：当 $x\le 0$ 时，$y=2x-4$，值域 $y\le -4$，且 $x=\frac{1}{2}y+2$

当 $x>0$ 时，$y=ln(x+1)$，值域 $y>0$，且 $x=e^y-1$，

因此反函数为 $y=\{\begin{array}{ll}\frac{1}{2}x+2& \text{x≤-4}\\ e^x-1& \text{x>0}\end{array}$

例2：求函数 $y=\frac{e^x-e^{-x}}{2}$ 的反函数

解：令 $e^x=t$，则 $x=lnt，t>0$，则 $y=\frac{t-t^{-1}}{2}$， 从而 $t^2-2yt-1=0$，

求解一元二次方程可得 $t=y\pm \sqrt{y^2+1}$，舍去负根，有 $t=y+\sqrt{y^2+1}$

即有 $e^x=y+\sqrt{y^2+1}$， 因此反函数为 $y=ln(x+\sqrt{x^2+1})$

3. 复合函数表达式

例：$f(x)=\{\begin{array}{ll}{e}^x& \text{x<1}\\ x& \text{x≥1}\end{array}$，$g(x)=\{\begin{array}{ll}x+3& \text{x<0}\\ x-2& \text{x≥0}\end{array}$，求 $f[g(x)]$

解：题意得 $f(g(x))=\{\begin{array}{ll}{e}^g(x)& \text{g(x)<1}\\ g(x)& \text{g(x)≥1}\end{array}$，下面进行分类讨论
(1) 当 $g(x)<1$ 时，则

$\{\begin{array}{l}g(x)=x+3<1\\ x<0\end{array}$ 或 $\{\begin{array}{l}g(x)=x-2<1\\ x\ge 0\end{array}$

从而有 $f(x)=\{\begin{array}{ll}{e}^{x+3}& \text{x<-2}\\ e^{x-2}& \text{0≤x<3}\end{array}$

(2) 当 $g(x)\ge 1$ 时，则

$\{\begin{array}{l}g(x)=x+3\ge 1\\ x<0\end{array}$ 或 $\{\begin{array}{l}g(x)=x-2\ge 1\\ x\ge 0\end{array}$

从而有 $f(x)=\{\begin{array}{ll}x+3& \text{-2≤x<0}\\ x-2& \text{x≥3}\end{array}$

综上所述，$f(x)=\{\begin{array}{ll}{e}^{x+3}& \text{x<-2}\\ x+3& \text{-2≤x<0}\\ e^{x-2}& \text{0≤x<3}\\ x-2& \text{x≥3}\end{array}$

---

题型三 函数基本特性

证奇偶、单调、有界、周期：
奇偶：$f(-x)=-f(x)$ ，定义域关于原点对称。
单调：$\forall x_1，x_2\in D$，且 $x_1<x_2$，$f(x_1)<f(x_2)$
有界：$f(x)$ 求导知区间有极大值 $M$，$|f(x)|\le M$
周期：$f(x)=f(x+T)$

1. 证明奇偶、单调、有界、周期

奇偶：$\forall x，y\in R$，函数 $f(x)$ 满足 $f(x+y)=f(x)+f(y)$，试讨论 $f(x)$ 的奇偶性。

证： 取 $y=-x$，则有 $f(0)=f(x)+f(-x)$，即 $f(0)-f(x)=f(-x)$
取 $y=0$，则有 $f(x+0)=f(x)+f(0)$，即 $f(0)=0$，因此 $-f(x)=f(-x)$
$f(x)$ 的定义域为 $R$ 关于原点对称，所以$f(x)$ 为奇函数

单调：设 $f(x)$ 在 $[a，b]$ 和 $[b，c]$ 上单调递增，证明 $f(x)$ 在 $[a，c]$ 上单调递增。

证：设 $x_1<x_2$ 为 $[a，c]$ 上的任意两点，
(1) 若 $x_1，x_2\in [a，b]$，结论成立；
(2) 若 $x_1，x_2\in [b，c]$，结论成立；
(3) 若 $x_1\in [a，b]$，$x_2\in [b，c]$，则 $x_1，x_2$ 不能同时等于 $b$，从而 $f(x_1)\le f(b)\le f(x_2)$
等号不能同时成立，因此 $f(x_1)<f(x_2)$，因此 $f(x)$ 在 $[a，c]$ 上单调递增。

有界：证明函数 $y=\frac{x}{1+x^2}$ 在 $(-\infty ，+\infty )$ 内有界。

证：显然 $f(x)$ 是奇函数，所以只要证明当 $x\in (0，+\infty )$ 时， $|f(x)|\le M$ 即可
$f(x)=\frac{x}{1+x^2}$，求导 $f^{\prime }(x)=\frac{1-x^2}{(1+x^2{)}^2}，x=\pm 1$
取 $x=1$，当 $x\in (0，1)$ 时，$f(x)$ 单调递增；当 $x\in (1，+\infty )$ 时，$f(x)$ 单调递减； $f(x)>0$
所以当 $x\in (0，+\infty )$ 时， $f(x)$ 极大值 $M$，即 $|f(x)|\le M$

周期：设 $\forall x\in R$， $f(\frac{1}{2}+x)=\frac{1}{2}+\sqrt{f(x)-f^2(x)}$，试求 $f(x)$ 的周期。

证：$f[\frac{1}{2}+(\frac{1}{2}+x)]=\frac{1}{2}+\sqrt{f(\frac{1}{2}+x)-f^2(\frac{1}{2}+x)}=\frac{1}{2}+\sqrt{\frac{1}{4}-f(x)+f^2(x)}=\frac{1}{2}+\sqrt{[f(x)-\frac{1}{2}{]}^2}$

因 $f(\frac{1}{2}+x)\ge \frac{1}{2}$，所以 $f(x)\ge \frac{1}{2}$，进而 $f(x+1)=\frac{1}{2}+[f(x)-\frac{1}{2}]=f(x)$，可知 $f(x)$ 周期为1。

证非奇偶、不单调、无界、非周期： 使用反证法，根据定义设置假设，寻找特定值反驳原假设。
非奇偶：$f(-x)\ne -f(x)$ 或 定义域不关于原点对称。
单调：$\forall x_1，x_2，x_3\in D$，且 $x_1<x_2<x_3$，$f(x_1)<f(x_2)$，但 $f(x_2)>f(x_3)$
无界：$|f(x)|>M$
非周期：$T$ 不是常数或不存在

2. 证明不单调、无界、非周期

不单调：证明函数 $f(x)=sin\frac{1}{x}$ 在定义域内不单调。

证：取 $x_1=\frac{3}{2\pi }，x_2=\frac{2}{\pi }，x_3=\frac{6}{\pi }$，且 $x_1<x_2<x_3$

$f(x_1)=sin(\frac{2\pi }{3})=\frac{\sqrt{3}}{2}$，$f(x_2)=sin(\frac{\pi }{2})=1$，$f(x_3)=sin(\frac{\pi }{6})=\frac{1}{2}$

可知 $f(x_1)<f(x_2)$，但 $f(x_2)>f(x_3)$，所以函数 $f(x)=sin\frac{1}{x}$ 在定义域内不单调。

无界：证明函数 $f(x)=xsinx$ 在 $(0，+\infty )$ 上无上界。

证：假设 $f(x)=xsinx$ 在 $(0，+\infty )$ 上有界，则存在 $M>0$，使得对 $\forall x\in (0，+\infty )$，有 $|xsinx|<M$

取 $x=2n\pi +\frac{\pi }{2}$，则 $|xsinx|=2n\pi +\frac{\pi }{2}<M$，当 $n$ 足够大时不成立，故函数 $f(x)=xsinx$ 在 $(0，+\infty )$ 上无上界

非周期：
例1：证明函数 $f(x)=sin\frac{1}{x}$ 在定义域内非周期函数。
证：假设 $f(x)=sin\frac{1}{x}$ 是周期函数，则 $\exists$ 正数 $T$，定义域内的每个 $x$ ：

\qquad \qquad \qquad \qquad \quad $sin\frac{1}{x}=sin\frac{1}{x+T}$

因此 $\frac{1}{x}=\frac{1}{x+T}+2k\pi ，k\in Z$，则 $T=\frac{2k\pi x^2}{1-2k\pi x}$，显然 $T$ 不是常数，$f(x)=sin\frac{1}{x}$ 非周期函数

例2：证明函数 $f(x)=xcosx$ 在定义域内非周期函数。
证：假设 $f(x)=xcosx$ 是周期函数，则 $\exists$ 正数 $T$，定义域内的每个 $x$ ：

\qquad \qquad \qquad \qquad \quad $(x+T)cos(x+T)=xcosx$

令 $x=0$，则有 $TcosT=0$，从而 $cosT=0$，即 $T=k\pi +\frac{\pi }{2}，k=0，\pm 1，\pm 2，\dots$

令 $x=T$，则有 $2Tcos2T=TcosT=0$，从而 $cos(2T)=0$，
但 $cos(2T)=cos(2k\pi +\pi )=-1$，矛盾，因此$f(x)=xcosx$ 非周期函数

参考资料

《微积分同步练习与模拟试题》刘强，孙激流