函数性质

基本性质

奇偶性

定义奇偶性于定义域关于 $0$ 对称的函数上，奇函数为：

因此，我们知道，如果定义域中有 $0$，那么只有 $f(0)=0$ 的函数才可能为奇函数。

偶函数为：

特殊的，奇函数的绝对值为偶函数。

奇偶性的乘除法则：

• 奇函数 $\pm$ 奇函数 $=$ 奇函数。
• 偶函数 $\pm$ 偶函数 $=$ 偶函数。
• 奇函数 $\pm$ 偶函数 $=$ 非奇非偶。
• 奇函数 $\times$ 奇函数 $=$ 偶函数。
• 奇函数 $\times$ 偶函数 $=$ 奇函数。
• 偶函数 $\times$ 偶函数 $=$ 偶函数。

复合函数的奇偶性：

• 奇函数 $\circ$ 奇函数 $=$ 奇函数。
• 偶函数 $\circ$ 奇函数 $=$ 偶函数。
• 奇函数 $\circ$ 偶函数 $=$ 偶函数。
• 偶函数 $\circ$ 偶函数 $=$ 偶函数。

经典做题套路：

• 若 $f(x)$ 为偶函数，首先判断是否能转化为奇函数来处理。

• 奇函数 $f(x)$ 在定义域内有最大值 $M$，则 $f(x)$ 有最小值 $N$，且 $M+N=0$。

• 若偶函数 $f(x)$ 在 $[0, +\infty)$ 上单调，则 $f(x_1) = f(x_2)$ 等价于 $|x_1| = |x_2|$；

• 若偶函数 $f(x)$ 在 $[0, +\infty)$ 上单调递增，则 $f(x_1) > f(x_2)$ 等价于 $|x_1| > |x_2|$；

• 若偶函数 $f(x)$ 在 $[0, +\infty)$ 上单调递减，则 $f(x_1) > f(x_2)$ 等价于 $|x_1| < |x_2|$。

经典的函数模型：

• 函数 $f(x)=\dfrac{1\pm a^x}{1\mp a^x}$，$g(x)=\log_a\dfrac{1\pm x}{1\mp x}$ 是单调的奇函数。

• 函数 $f(x)=\log_a(\sqrt{x^2+1}\pm x)$ 是单调的奇函数。

• 函数 $f(x)=a^x+a^{-x}$ 是偶函数，函数 $g(x)=a^x-a^{-x}$ 是单调的奇函数。

奇偶性与导数：对于可导函数 $f(x)$，如果 $f(x)$ 是奇函数，则 $f'(x)$ 是偶函数；如果 $f(x)$ 是偶函数，则 $f'(x)$ 是奇函数。

对称性

函数关于 $x=x_0$ 对称，则：

或者 $y=f(x+x_0)$ 为偶函数。

函数关于 $(x_0,y_0)$ 中心对称，则：

或者 $y=f(x+a)-b$ 为奇函数。

因此，我们得到，若：

则函数关于 $x=\dfrac{\lambda+\mu}{2}$ 对称；若：

则函数关于 $\left(\dfrac{\lambda+\mu}{2},\dfrac{k}{2}\right)$ 对称。

若给定两个函数，求一个 $P$（点或线）使两个函数关于其对称，可以转化为求一个函数关于 $P$ 对称的函数与另一个函数的交点问题。

三次及以下的多项式函数具有一般对称性，四次及以上的多项式函数不具有一般对称性。

• 最高幂次为奇数的多项式函数只可能具有中心对称性，最高幂次为偶数的多项式函数只可能具有轴对称性。

• 如果一个多项式函数 $f(x)=a_n x^n + a_{n-1}x^{n-1}+\dots+a_1 x+a_0$ 具有中心对称性，那么它的对称中心为

  $$\left(-\frac{a_{n-1}}{na_n},f\left(-\frac{a_{n-1}}{na_n}\right)\right)$$

• 如果一个多项式函数 $f(x)=a_n x^n + a_{n-1}x^{n-1}+\dots+a_1 x+a_0$ 具有轴对称性，那么它的对称轴

  $$x=-\frac{a_{n-1}}{na_n}$$

• $f(x)=ax^3+bx^2+cx+d$ 的对称中心

  $$\left(-\frac{b}{3a},f\left(-\frac{b}{3a}\right)\right)$$

其他对称模型：

• $\displaystyle f(x)=\frac{ax+b}{cx+d}$ 的对称中心 $\displaystyle\left(-\frac{d}{c},\frac{a}{c}\right)$。注意到该函数的定义域为 $\displaystyle\left\{x\mid x\neq - \frac{d}{c}\right\}$，值域是 $\displaystyle\left\{x\mid x\neq\frac{a}{c}\right\}$。

• 任何一个函数 $f(x)$ 都可以拆分为一个奇函数 $F(x)$ 和一个偶函数 $G(x)$ 的和。

  $$\begin{cases} F(x)&=\dfrac{f(x)-f(-x)}{2}\\ G(x)&=\dfrac{f(x)+f(-x)}{2} \end{cases}$$

• $\displaystyle f(x+a)=\frac{1+f(x)}{1-f(x)} \implies T=4a$。

周期性

对于任意 $x\in\R$，存在非零实数 $T$ 满足 $f(x+T)=f(x)$，则 $f(x)$ 为周期函数，且一个周期为 $T$。在周期函数 所有周期中最小的一个正数，称为最小正周期。

在已知周期的前提下的求值及表达式问题都是需要把所求变量利用周期平移至所给区间，利用所给区间的表达式来求值或者求表达式。

常见的周期函数：

• 对任意的 $x\in\R$，若 $f(x+a)+f(x)=c$，则 $T=2|a|$。

• 对任意的 $x\in\R$，若 $f(x+a)\cdot f(x)=c$，则 $T=2|a|$。

• 对任意的 $x\in\R$，若 $f(x+a)=f(x-a)$，则 $T=2|a|$。

• 对任意的 $x\in\R$，若 $f(x+a)=-f(x-a)$，则 $T=4|a|$。

• 若 $x$ 满足 $f(x)=f(x+a)-f(x+2a)$，则 $T=6|a|$。

对称性与周期性：

• 如果 $f(x)$ 关于 $x=a$ 和 $x=b$ 对称，则 $T=2|a-b|$。

• 如果 $f(x)$ 关于 $(a,0)$ 和 $(b,0)$ 对称，则 $T=2|a-b|$。

• 如果 $f(x)$ 关于 $(a,0)$ 和 $x=b$ 对称，则 $T=4|a-b|$。

函数模型

二次函数

对于一元二次方程 $ax^2+bx+c(a\neq0)$，当根的判别式 $\Delta=b^2-4ac$ 时，记 $x_1,x_2$ 为方程的两个实根，则有韦达定理

一元二次方程的根往往会有各种限制，比如两根都为正、两根都为负等。这类问题需要综合考虑开口方向、对称轴、根的判别式以及韦达定理才能准确求解，例如有两个不同的正根

同时，一定情况下也可以用参变分离解决，例如 $ax^2+2x+1$ 至少有一个正根，则：

问题即为求该式在 $x>0$ 时的值域，设 $t=1/x>0$，则：

即 $a$ 的取值范围是 $(-\infty,0)$。

如果要求 $f(x)=ax^2+bx+c(a\neq0)$ 有两个大于 $r$ 的实根，容易想到，构造函数 $g(x)=f(x+r)$，对 $g(x)$ 应用两个实根大于 $0$，但是这样比较复杂，我们进行一次模拟：

注意到第二个相当于：

而第三个则为：

也就是：

因此，我们把条件转化为：

另外，如果有两个不同的实根，在区间 $(p,q)$ 内，那么：

二次方程 $f(x) = ax^2 + bx + c = 0(a \neq 0)$ 在区间 $(p,q)$，$(m,n)$ 内各有一个实数根，若 $a$ 的正负不确定，则其等价条件为

若已知 $a$ 的正负，则只需具体考虑端点处函数值的正负。

三次函数

三次函数的根本思想有两个，因式分解，求导。

我们知道，即使是对于更高次的函数，求导也是一般方法，只是三次函数求导后变为二次函数更好解决。

三次函数 $f(x)=ax^3+bx^2+cx+d(a\neq0)$ 是中心对称图像，且其对称中心为 $\left(-\dfrac{b}{3a},f(\dots)\right)$。

特殊函数

复合函数：

• 若函数 $f(x)$ 单调递增，则 $f(f(x))=x$ 的解与 $f(x)=x$ 的解相同。

• 方程 $f(f(x))=x$ 有解等价于 $f(x)=x$ 有解；方程 $f(f(x))=x$ 无解等价于 $f(x)=x$ 无解。

• 记 $f(x)=x$ 的解集为 $A$，记 $f(f(x))=x$ 的解集为 $B$，若 $f(x)$ 单调递增，则 $A=B$，否则 $A\subseteq B$。

• 方程 $f(g(x))=x$ 有解等价于 $g(f(x))=x$ 有解。

高斯函数：

• 下取整函数 $f(x) = [x]$，其中 $[x]$ 表示不超过 $x$ 的最大整数，例如 $[1.2] = 1$，$[-1.2] = -2$，$[2] = 2$。

• 上取整函数 $f(x) = \{x\}$，其中 $\{x\}$ 表示不小于 $x$ 的最小整数，例如 $\{1.1\} = 2$，$\{-1.1\} = -1$，$\{2\} = 2$。

• 非负小数部分函数 $f(x) = x - [x]$。非负小数部分函数是一个周期为 $1$，值域为 $[0, 1)$ 的周期函数。

基本性质：

• 下取整函数满足 $x - 1 < [x] \le x$，$[x] \le x < [x] + 1$。

• 上取整函数满足 $x \le \{x\} < x+1$，$\{x\} - 1 < x \le \{x\}$。

形如 $[f(x)] = g(x)$ 方程的一般解法：

1. 令 $[f(x)] = k$（$k \in \mathbb{Z}$），得不等式 $k \le f(x) < k+1$。
2. 从 $g(x) = k$ 中反解出 $x$，记为 $x = h(k)$，即 $k \le f[h(k)] < k+1$。
3. 解（2）中的关于整数 $k$ 的不等式，将所得 $k$ 值代入 $x = h(k)$ 得方程的解。

常见函数：

函数构造

解决此类问题的关键在于识别代数式中的“导数指纹”。

• 见到 $xf'(x) + f(x)$，构造 $h(x) = xf(x)$。

• 见到 $xf'(x) - f(x)$，构造 $h(x) = \frac{f(x)}{x}$。

• 见到 $f'(x) \ln x - \frac{f(x)}{x}$，构造 $h(x) = \frac{f(x)}{\ln x}$。

• 见到 $f'(x) + f(x)$，构造 $h(x) = e^x f(x)$。

高中数学中的“构造辅助函数”往往被视为一种“技巧”或“灵感”，学生通常通过背诵口诀（如“加用乘，减用除”）来应对。但在大学数学（常微分方程和算子理论）的视角下，这并非偶然的灵感，而是一套严密的系统性方法，即一阶线性微分方程的求解理论。

在高中阶段，我们处理的核心是不等式 $f'(x) + P(x)f(x) > 0$。解决它的关键在于将左边凑成一个整体的导数。

• 乘法法则的逆向：

  $$[u(x)v(x)]' = u'(x)v(x) + u(x)v'(x)$$

  如果我们遇到形如 $xf'(x) + f(x) > 0$ 的式子，你会敏锐地发现这就是 $(xf(x))' > 0$。

• 除法法则的逆向：

  $$\left[\frac{u(x)}{v(x)}\right]' = \frac{u'(x)v(x) - u(x)v'(x)}{v^2(x)}$$

  对于不等式 $f'(x) - f(x) > 0$，我们将其变形为

  $$\dfrac{f'(x) \cdot e^x - f(x) \cdot (e^x)'}{e^{2x}} > 0$$

  即 $[f(x)/e^x]' > 0$。

高中视角的局限在于：当系数变得复杂时（比如 $f'(x) + xf(x) > 0$），单纯靠观察“积的导数”或“商的导数”很难直接凑出辅助函数。这就需要引入更通用的工具——积分因子。

积分因子法：任何一阶线性形式 $f'(x) + P(x)f(x)$，都可以通过乘以一个非零函数 $\mu(x)$（称为积分因子），使其变为一个整体的导数 $[\mu(x)f(x)]'$。

假设我们要处理不等式：

我们希望找到一个函数 $\mu(x)$（假定 $\mu(x) > 0$），使得不等式两边同乘 $\mu(x)$ 后，左边变成一个乘积的导数：

展开右边：

对比左右两边的系数，因此，我们需要满足微分方程：

利用分离变量法求解 $\mu(x)$：

万能公式：对于 $f'(x) + P(x)f(x)$ 型结构，辅助函数构造的一般规律是构造

微分算子：将求导看作一种线性变换，定义微分算子 $D = \frac{d}{dx}$，恒等算子 $I$（即 $If = f$）。原不等式 $f'(x) + P(x)f(x) > 0$ 可以写成算子作用的形式：

我们有一个非常漂亮的算子恒等式（移位公式）：

证明：设 $M(x) = e^{\int P(x)dx}$。

对任意函数 $y$，考虑右边 $M^{-1} D (M y)$ 的作用结果：

应用意义：不等式 $(D + P)f > 0$ 等价于

因为指数函数 $e^{-\int P}$ 恒正，可以直接约去（如果是方程则不能随便约，不等式只看符号）：

即 $\left[ e^{\int P(x)dx} \cdot f(x) \right]'$ 单调递增。

这一视角极其强大，因为它把“构造辅助函数”变成了“算子分解”。

下面我们运用“积分因子/算子法”解决从高中到竞赛难度的几类问题。

类型一：常系数模型（基础）

题目：已知 $f(x)$ 定义在 $\mathbb{R}$ 上，且 $f'(x) + 2f(x) > 0$，求 $f(x) > e^{-2x}$ 的解集（已知 $f(0)=1$）。

解析：

1. 识别 $P(x) = 2$。
2. 积分因子 $\mu(x) = e^{\int 2 dx} = e^{2x}$。
3. 构造 $g(x) = e^{2x}f(x)$。
4. 由 $f'(x) + 2f(x) > 0$ 两边乘 $e^{2x}$ 得 $[e^{2x}f(x)]' > 0$。
5. $g(x)$ 单调递增。$g(x) > g(0) \implies e^{2x}f(x) > 1 \implies f(x) > e^{-2x}$。
6. 解集为 $(0, +\infty)$。

类型二：一次函数系数模型（进阶）

题目：已知 $x > 0$ 时，$xf'(x) + 2f(x) > 0$，且 $f(1)=1$，解 $f(x) < \frac{1}{x^2}$。

解析：

1. 标准化：$f'(x) + \frac{2}{x}f(x) > 0$。
2. 识别 $P(x) = \frac{2}{x}$。
3. 积分因子 $\mu(x) = e^{\int \frac{2}{x} dx} = e^{2\ln x} = x^2$。
4. 构造 $g(x) = x^2 f(x)$。
5. 验证：$g'(x) = 2xf(x) + x^2 f'(x) = x(2f(x) + xf'(x))$。在 $x>0$ 时，符号与原条件一致。
6. $g(x)$ 增，$g(x) < g(1) = 1 \implies x^2 f(x) < 1 \implies f(x) < \frac{1}{x^2}$。
7. 解集为 $(0, 1)$。

类型三：变系数模型（高阶/竞赛）

题目：定义在 $\mathbb{R}$ 上的函数满足 $f'(x) + xf(x) > 0$，且 $f(0)=1$，试比较 $f(1)$ 与 $e^{-0.5}$ 的大小。

解析：

1. 识别 $P(x) = x$。
2. 积分因子 $\mu(x) = e^{\int x dx} = e^{\frac{1}{2}x^2}$。
3. 构造 $g(x) = e^{\frac{x^2}{2}} f(x)$。
4. 求导：$g'(x) = e^{\frac{x^2}{2}}(xf(x) + f'(x)) > 0$。
5. $g(x)$ 单调递增。
6. $g(1) > g(0) \implies e^{1/2}f(1) > e^0 \cdot f(0) = 1$。
7. $f(1) > e^{-1/2}$。

类型四：非齐次项的处理（广义积分因子）

题目：$f'(x) - f(x) > e^{2x}$，且 $f(0)=0$。

解析：

1. 积分因子：针对 $f'(x) - f(x)$，因子是 $e^{-x}$。

2. 两边同乘 $e^{-x}$：

   $$e^{-x}f'(x) - e^{-x}f(x) > e^{2x} \cdot e^{-x}$$
   $$[e^{-x}f(x)]' > e^x$$

3. 令 $g(x) = e^{-x}f(x)$。此时 $g'(x) > e^x$。

4. 这不再是简单的单调性，而是导数有下界。

5. 在 $[0, x]$ 上对 $g'(t)$ 积分：

   $$\int_0^x g'(t) dt > \int_0^x e^t dt$$
   $$g(x) - g(0) > e^x - 1$$

6. 代入 $g(0) = f(0) = 0$：

   $$e^{-x}f(x) > e^x - 1$$
   $$f(x) > e^{2x} - e^x$$

单调性

定义法求解

高中认为单调性即为严格单调性，定义法证明流程如下：

• 设 $x_1<x_2\in D$ 其中 $D$ 为定义域。

• 证明 $f(x_1)-f(x_2)$ 的正负性，通常将式子化为关于 $(x_1-x_2)$ 的式子。

• 声称 $f(x_1)$ 大于或小于 $f(x_2)$，得到单调性。

在高考情景下，定义法一般不常用，因为函数通常涉及到 $e$ 和对数运算等稍显困难的函数。

导数法求解

容易知道，在区间 $[a,b]$ 上：

• 如果 $f'(x)>0$，那么函数单调递增。

• 如果 $f'(x)<0$，那么函数单调递减。

• 如果 $f'(x)=0$，那么函数为常函数。

注意，在高中阶段（默认下面的函数均可导）：

• 若函数 $f(x)$ 在区间 $D$ 上有 $f'(x)>0$，则 $f(x)$ 在 $D$ 上单调递增。

• 若函数 $f(x)$ 在区间 $D$ 上单调递增，不能说明 $f'(x)>0$，例如 $f(x)=x^3$ 在 $0$ 处导数为零。

• 若函数 $f(x)$ 在区间 $D$ 上单调递增，则 $f'(x)\ge0$ 且所有使得 $f'(x)=0$ 的点不能组成一个连续的区间，例如 $f(x)=C$。

• 若函数 $f(x)$ 在区间 $D$ 上单调递增，且 $f'(x)\ge0$，不能说明使得 $f'(x)=0$ 的点是有限的，例如 $f(x)=x-\sin x$。

• 在高中阶段，排除掉常函数，大部分函数都可以用 $f'(x)\ge0$ 或 $f'(x)\le0$ 判断单调性，例如 $f(x) = \begin{cases} e^{-1/x} & \text{if } x > 0 \\ 0 & \text{if } x \le 0 \end{cases}$。

复合函数的单调性：满足同增异减，即单调性相同则为单增函数，单调性不同则为单减函数。

严格来说，一个连续函数在某一区间上的单调性，与其导函数符号之间的关系，是微积分中最核心但也最容易被“想当然”的地方。

为了表述极其严谨，我们先约定术语：

• 单调不减（Non-decreasing）：对于 $x_1 < x_2$，有 $f(x_1) \le f(x_2)$。（允许局部平直）
• 严格单调递增（Strictly increasing）：对于 $x_1 < x_2$，有 $f(x_1) < f(x_2)$。（不允许局部平直）

以下是它们之间的严格对应关系，以及极易犯错的 5 个盲点。

假设函数 $f(x)$ 在区间 $I$ 上连续，且在 $I$ 的内部（开区间）可导：

1. 判定“单调不减”的充要条件：$f(x)$ 在 $I$ 上单调不减 $\iff$ 在 $I$ 的内部，始终有 $f'(x) \ge 0$。

2. 判定“严格单调递增”的充分条件：如果在 $I$ 的内部，始终有 $f'(x) > 0$，那么 $f(x)$ 在 $I$ 上严格单调递增。

3. 判定“严格单调递增”的充要条件（终极法则）：$f(x)$ 在 $I$ 上严格单调递增 $\iff$ 在 $I$ 的内部，$f'(x) \ge 0$，且 $f'(x)$ 在任何子区间上都不恒为 0。

盲点 1：认为“严格单调递增 $\implies f'(x) > 0$” （大错特错！）

• 误区：很多人认为，如果函数严格递增，那么它的导数一定大于 0。
• 正解：严格递增的函数，其导数可以等于 0，只要等于 0 的点是孤立的即可。
• 经典反例：$f(x) = x^3$。它在 $(-\infty, +\infty)$ 上是严格单调递增的，但是在 $x=0$ 处，它的导数 $f'(0) = 0$。

盲点 2：遇到 $f'(x) = 0$ 就觉得单调性被破坏了

• 误区：解出 $f'(x) \ge 0$，发现有无数个点使得 $f'(x)=0$，就认为函数不是“严格”递增，只是“单调不减”。
• 正解：只要 $f'(x)=0$ 的点没有连成一个区间（即这些点是离散的、孤立的），函数依然是严格单调递增的。
• 经典反例：$f(x) = x + \sin x$，其导数 $f'(x) = 1 + \cos x \ge 0$。当 $x = \pi, 3\pi, 5\pi\dots$ 时，$f'(x) = 0$。这里有无穷多个导数为 0 的点，但因为它们没有连成一片（不构成任何区间），所以 $f(x) = x + \sin x$ 在 $\mathbb{R}$ 上依然是严格单调递增的。

盲点 3：开区间与闭区间（端点问题）

• 误区：求导只能在开区间求，所以单调区间只能写开区间 $(a, b)$。
• 正解：单调性是一个整体性质，只要函数在端点处连续，单调区间就必须包含端点。
• 经典例子：$f(x) = \sqrt{x}$ 定义域是 $[0, +\infty)$。导数 $f'(x) = \frac{1}{2\sqrt{x}}$。显然，在开区间 $(0, +\infty)$ 上 $f'(x) > 0$。但是，因为 $f(x)$ 在 $x=0$ 处连续，所以它的单调递增区间是 闭区间 $[0, +\infty)$，而不是 $(0, +\infty)$。

盲点 4：不可导点会打断单调性

• 误区：如果区间内有一个点不可导，就不能用导数判断单调性，或者必须把区间从不可导点处断开。
• 正解：只要函数在整个区间上连续，个别不可导点完全不影响单调性的延伸。
• 经典例子：$f(x) = \sqrt[3]{x}$ （即 $x^{1/3}$）它在 $x=0$ 处不可导（切线垂直于 x 轴，$f'(0)$ 为无穷大）。但在 $(-\infty, 0)$ 和 $(0, +\infty)$ 上，$f'(x) > 0$。因为 $f(x)$ 在 $x=0$ 处连续，所以它在整个 $(-\infty, +\infty)$ 上严格单调递增，不需要在 0 处断开。

盲点 5：符号混乱（国内教材的特殊性）

• 误区：对“单调递增”这个词的理解产生歧义。

• 说明：在高等数学（如严格的数学分析）中，“单调递增”通常指 $f(x_1) \le f(x_2)$（允许平直，英文叫 non-decreasing 或 monotonically increasing）。但在中国的中学教材和部分考研数学中，题目里常说的“单调递增”往往默认就是“严格单调递增”（不允许平直）。

  • 做题策略：如果在国内高中或考研中遇到“已知 $f(x)$ 在区间 $I$ 上单调递增，求参数 $a$ 的取值范围”，正确的做法是令 $f'(x) \ge 0$ 恒成立，然后再去检验等号是否会在一个区间内成立（通常不会）。很多学生直接令 $f'(x) > 0$，往往会漏掉参数的边界值。

总结口诀：

1. 已知单调求参数：闭眼写 $f'(x) \ge 0$（千万别忘了等号），再排查恒为 0 的区间。
2. 已知函数求单调：求出 $f'(x) > 0$ 的区间，若端点连续，果断带上端点（写成闭区间）。孤立的导数为 0 的点，直接跨过去，不影响严格单调。

题型总结式

经典商形式

经典积形式

指对混合式

双曲函数式

复合函数式

凹凸性问题

容易知道，凹凸性可以由二阶导数反应，由于高中课本没有涉及，而且凹凸性的定义也有不同说法，我们只需要知道，二阶导数可以反应凹凸性即可。

另外，如果函数 $f$ 在点 $x_0$ 凹凸性改变，那么 $x_0$ 是 $f$ 的一个拐点。注意，如同驻点不一定是极值点，$f''(x_0)=0$ 不代表 $x_0$ 一定是拐点。

根据凹凸性可以进行割线放缩，对于函数 $f$ 在区间 $[a,b]$ 上的割线 $g$，如果 $f$ 具有凹凸性，有 $g(x)\ge f(x)$ 或 $g(x)\le f(x)$ 恒成立。

利用凹凸形也可以用于解决一些有意思的问题，例如用凹凸形辅助必要性探路、极值点偏移等，以例题：已知函数 $f(x)=axe^x-(a+1)(2x-1)$ 在 $(0,\infty)$ 上 $f(x)\ge0$ 恒成立，求实数 $a$ 的取值范围。

对其求两次导数：

因此函数是凸的，同时我们注意到，取 $x=\dfrac{1}{2}$ 或 $x\to+\infty$，$a>0$ 是必然的，那么若要“刚好恒非负”的临界情形，必出现某点 $x_0$ 使图像与 $x$ 轴相切，列出式子：

整理得：

带入上式，也就是

所以：

所以：

因此 $x_0=1$，反代得 $a=\dfrac{1}{e-1}$，不妨验证充分性后直接下结论。

基本问题

极值问题

由费马引理，我们知道，若 $x_0$ 为 $f(x)$ 的极值点，那么一定有 $f'(x)=0$。

但是，$f'(x)=0$ 仅仅是前命题的必要不充分条件，充分性不完全正确，例如对于 $f(x)=x^3$，有 $f'(0)=0$ 但是 $x=0$ 仅仅是一个拐点。

其充分性有几种不同的说法：

• 第一充分条件：严谨的数学语言略，我们感性的理解，如果函数的导数在 $x_0$ 处为零，且其左右一个大于零、一个小于零，那么 $x_0$ 为 $f(x)$ 的极值点。

• 第二充分条件：通过二阶导数，我们可以知道 $f'(x)=0$ 且 $f''(x)\neq0$，那么 $x_0$ 为 $f(x)$ 的极值点。

• 凹凸性条件：设函数 $f$ 满足 $f'(x_0)=0$ 且在 $x_0$ 二阶可导，

  • 若 $f''(x_0)>0$，则 $x_0$ 为 $f$ 的一个极小值点；
  • 若 $f''(x_0)<0$，则 $x_0$ 为 $f$ 的一个极大值点。