首先,大家熟知的是,可以借助导数判断函数 的单调性.
●若 ,则 单调递增;
●若 ,则 单调递减;
●若 ,则 的单调性需要进一步判断.
对于一些比较复杂的函数而言,通过求导数判断单调性,比直接通过定义判断来得容易得多.
例1.6 设函数 ,判断 的单调性.
解答 计算得 ,有 . 当 时 ,当 时 ,故 在 内单调递减,在 内单调递增.
我们知道,函数的最大值和最小值,指的是函数值的最大取值和最小取值.另外,高中教材也给出了函数的极大值和极小值的概念.许多人对函数的极大值的理解是“导函数有变号零点”,即导函数存在某个零点 ,且导函数图像在 轴上穿过零点对应的点 .然而,极值点的严格定义是函数在某个开区间上的最值点,这个是大家很容易忽略的.
定义1.2 (极值点与极值) 函数 在某个开区间 上的最大值点称为 极大值点 ,最小值点称为 极小值点 ,对应的函数值分别称为 极大值 和 极小值 .
通过上面的介绍,我们知道,导数可以用于判断函数的单调性和极值,可以给出如下的极值点的判断方法:
●若 ,且在 附近有 ,即在 附近有
则 为 的极小值点, 为 的极小值;
●若 ,且在 附近有 ,即在 附近有
则 为 的极大值点, 为 的极大值.
事实上,如果 ,则 与 同号,即当 时 ,而当 时 ,这就说明了 是 的极小值点.在做题时,有时候会出现多个式子相乘后与0比较大小的不等式,这个时候也应该用类似的方法.
再进一步,如果函数的二阶导数存在,可以进一步对函数求二阶导数,并有如下的判断方法:
●若 ,则 为 的极小值点;
●若 ,则 为 的极大值点.
以第一种情况为例,如果 ,那么 应该在 附近单调递增,这使得当 时有 ,而当 时有 ,因此 为 的极小值点.
例1.7 设函数 ,求 的极小值点和极小值.
解答 根据上例,知 是 的极小值点,极小值 .
许多高考题只需要对函数的单调性进行分析就可以解决,见下面的真题.
真题1.5 (取自2020年 II 卷文数) 已知函数 .
(1)若 ,求 的取值范围;
(2)设 ,讨论函数 的单调性.
解答 (1)根据 ,令 ,其中 ,计算得
,
因此 在 内单调递增,在 内单调递减. .因此 的取值范围是 .
(2)此时 ,其中 且 ,计算得
.
令 ,计算得
,
因此 在 内单调递增,在 内单调递减, ,从而 ,这说明了 在 和 内单调递减.
下面的题目涉及极值点,但是因为函数较为复杂,难度较大.
真题1.6 (取自2018年 III 卷理数) 已知函数 .
(1)若 ,证明:当 时, ;当 时, ;
(2)若 是 的极大值点,求 .
第一问不难,只需要判断函数 的单调性即可.在后面我们会指出,这一问涉及的是一个非常重要的不等式;第二问有多种做法,一方面可以采取多次求导的方式,另一方面可以令
,
则当 时, 的极大值点也是 的极大值点,从而简化了求解过程.
解答 (1)当 时, ,计算得
,
因此 在 内单调递减,在 内单调递增, ,因此 在 内单调递增.注意到 ,因此当 时 ,而当 时 .
(2)若 ,则由(1)知,当 时,有
,
此与 是 的极大值点矛盾.以下设 ,当 时,有 ,令
,
则 ,当且仅当 是 的极大值点时, 是 的极大值点.计算得
.
考虑函数 ,其中 ,则 ,由此进行讨论.
(ⅰ)若 ,则
,
从而 在 内单调递增,在 内单调递减, 是 的极大值点;
(ii)若 ,则 在0附近单调递增 [2] ,此与 是极大值点矛盾;
(iii)若 ,则 在0附近单调递减,此与 是极大值点矛盾.综上, .
从函数图像来看,有些函数是往上面凸的,而有些函数是往下面凸的(见下页图).如果某个函数是下凸的,那么其导数应该是单调递增的;如果某个函数是上凸的,那么其导数是单调递减的.在此基础上,可以定义函数的凹凸性.
典型的下凸函数的图像
定义1.3 (凹凸性) 设函数 二阶可导,若 ,则称 为 下凸函数 ;反之,若 ,则称 为 上凸函数 .
例1.8 若 ,判断其凹凸性.
解答 计算得 ,因此 是下凸函数.
另外,所谓的“拐点”是函数图像凹凸性改变的点.等价地说, 的极值点称为 的 拐点 .一个重要的例子是 Logistic 函数(或称逻辑斯谛函数),该函数可以用来刻画某个种群的数量变化,或者某种疾病感染者的数量变化.
例1.9 考虑 Logistic 函数
.
设 ,判断其单调性和凹凸性,并写出其拐点.
解答 此时 ,计算得
.
注意到 ,因此 在 内单调递增;再注意到 在 内单调递增,在 内单调递减.因此 的图像在 下凸,在 上凸,拐点 (见下页图).
在这个函数表达式的基础上,可以进一步思考:这个函数的参数 和 有什么含义?计算得到 ,因此 代表的是初值;并且当 时, ,因此 代表的是函数的极限;根据图像,还可以看出拐点处的函数值为 .这有助于我们理解 Logistic 模型,并且和生物里的“S”形曲线联系在一起.
函数 的图像
真题1.7 (取自2020年 III 卷理数) Logistic 模型是常用数学模型之一,可应用于流行病学领域.有学者根据公布的数据建立了某地区新冠肺炎累计确诊病例数 的单位:天)的 Logistic 模型: ,其中 为最大确诊病例数.当 时,标志着已初步遏制疫情,则 约为 .
A.60
B.63
C.66
D.69
解答 令
,
解得 ,因此 B 选项正确.
或许读者会在其他地方看到凸函数的等价定义.有时候,也称满足
的函数为凸函数,前面对应的是下凸的情形,后面对应的是上凸的情形.上述的等式也可以被拓展到 个变量的情况.
定理1.4 (琴生不等式) 设 是下凸函数,则有
;
设 是上凸函数,则有
,
上述不等式当且仅当 或 时取等.
琴生不等式可以用于证明 元均值不等式.考虑函数 ,则有 , ,因此 是上凸函数.于是,对正数 ,有
,
再结合 的单调性,即可得到
,
感兴趣的读者也可以尝试用琴生不等式得到其他的均值不等式.
通常,结合一个函数的单调性和极值点,即可得到不等式.
例1.10 当 时,证明: .
解答 考虑函数 ,由上文知 在 内单调递减,在 内单调递增,则 是 的最小值点,最小值 ,从而
,
这便证明了该不等式.
例1.11 当 时,证明: .
解答 考虑函数 ,计算得
,
因此 在 内单调递增,从而
.
这便证明了该不等式.
高考题中也会有证明不等式的问题,对于大多数情况,结合函数的单调性就能得到不等式.
真题1.8 (取自2023年新高考 I 卷) 已知函数 .证明:当 时, .
解答 计算得 ,令 ,解得 .当 时 ,当 时 ,因此 在 内单调递减,在 内单调递增,有
.
要证明 ,只需证明关于 的不等式 ,即证明不等式 ,其中 .为此,构造函数
.
当 时 ,当 时 .因此 在 内单调递减,在 内单调递增,因此有
,
这便完成了证明.
许多高考题都和不等式直接或间接相关,因此本书后面专门有一讲介绍函数相关的不等式,例如 和 .
[2] 这里 g ( x )是二次函数,若不放心,可以利用求根公式求出其零点,并且结合图像判断正负.