导数基础 7:导数的应用

5568 字
28 分钟
导数基础 7:导数的应用

导数基础系列: 1 函数的极限 · 2 两个重要的极限 · 3 导数的概念 · 4 函数的求导法则 · 5 高阶导数 · 6 洛必达法则 · 7 导数的应用

一、函数的单调性#

导数符号与单调性#

设 ff 在 [a,b][a,b] 连续、在 (a,b)(a,b) 可导。若区间内部处处 f′(x)>0f'(x)>0,则 ff 严格递增;若处处 f′(x)<0f'(x)<0,则严格递减。若处处 f′(x)=0f'(x)=0,则 ff 为常值函数。

这些结论可以用拉格朗日中值定理证明:任取 u<vu<v,存在 ξ∈(u,v)\xi\in(u,v) 使 f(v)−f(u)=f′(ξ)(v−u)f(v)-f(u)=f'(\xi)(v-u)。符号对应关系须在一个区间内使用,不能直接跨越定义域中的断点。

严格单调的充要条件如下:

f 严格递增⟺f′(x)≥0,且 f′ 不在任何正长度子区间上恒为 0;f 严格递减⟺f′(x)≤0,且 f′ 不在任何正长度子区间上恒为 0.\begin{aligned} f\text{ 严格递增} \quad\Longleftrightarrow\quad &f'(x)\ge0\text{,且 }f'\text{ 不在任何正长度子区间上恒为 }0;\\ f\text{ 严格递减} \quad\Longleftrightarrow\quad &f'(x)\le0\text{,且 }f'\text{ 不在任何正长度子区间上恒为 }0. \end{aligned}

导数零点集必须不含正长度区间,仅要求整个零点集不是一个区间并不充分。否则零点集由一个区间和若干孤立点组成时会被错误地放行。

f′≥0f'\ge0 本身只保证非减。若某 u<vu<v 满足 f(u)=f(v)f(u)=f(v),由非减性,[u,v][u,v] 上必为常值,这正是严格递增需要排除的情形。切线水平的孤立点并不妨碍严格递增,例如 x3x^3 在原点的导数为零。


例 1:确定单调区间#

求(1)f(x)=ex−x−1f(x)=e^x-x-1;(2)f(x)=2x3−9x2+12x−3f(x)=2x^3-9x^2+12x-3 的单调区间。

查看答案

(1)递减区间 (−∞,0](-\infty,0];递增区间 [0,+∞)[0,+\infty)。

(2)递增区间 (−∞,1](-\infty,1]、[2,+∞)[2,+\infty);递减区间 [1,2][1,2]。

查看分析思路

先求导并寻找导数零点,再在分隔出的每个区间判断符号。

查看详细解析

(1)f′(x)=ex−1f'(x)=e^x-1。当 x<0x<0 时导数负,当 x>0x>0 时导数正,因此先减后增。

(2)

f′(x)=6x2−18x+12=6(x−1)(x−2).f'(x)=6x^2-18x+12=6(x-1)(x-2).

导数符号依次为 +,−,++,-,+,由此得到答案。表述单调区间时可以把相邻临界点列入区间端点;但两个不相邻的递增区间应分别写出,不能声称它们的并集上整体递增。

交互实验:例1:导数符号与单调性

切换两道原题函数,比较导数符号与函数趋势。


例 2:由原函数图像判断导数不等式#

已知 y=f(x)y=f(x) 的图像如下,求不等式 f′(x)/x<0f'(x)/x<0 的解集。

例2的函数图像
例2的函数图像

A. (−3,1)(-3,1);B. (0,1)(0,1);C. (−3,−1)∪(0,1)(-3,-1)\cup(0,1);D. (−∞,−3)∪(1,+∞)(-\infty,-3)\cup(1,+\infty)。

查看答案

选 C:(−3,−1)∪(0,1)(-3,-1)\cup(0,1)。

查看分析思路

商为负要求分子、分母异号,先按 xx 的正负分两种情况;不能把 ff 的正负误作 f′f^{\prime} 的正负。

查看详细解析

按原示意图,ff 在 (−3,−1)(-3,-1) 递增,在 (−1,1)(-1,1) 递减,在其余两侧区间分别表现为递减、递增。

当 x<0x<0 时,需要 f′(x)>0f'(x)>0,得到 (−3,−1)(-3,-1);当 x>0x>0 时,需要 f′(x)<0f'(x)<0,得到 (0,1)(0,1)。x=0x=0 使分母为零,必须排除;x=−3,−1,1x=-3,-1,1 是图示水平切线点,不满足严格不等式。

本题按原图表达的单调及切线信息作答,不能从示意图恢复出唯一的函数解析式。

交互实验:例2:导数商的符号

拓展模型只保留原示意图转折位置,不代表唯一原函数。


随堂练 1:非负导数与严格递增#

求(1)f(x)=x−sin⁡xf(x)=x-\sin x;(2)f(x)=x3−xf(x)=x^3-x 的单调区间。

查看答案

(1)在 R\mathbb R 上严格递增。

(2)递增区间 (−∞,−1/3](-\infty,-1/\sqrt3]、[1/3,+∞)[1/\sqrt3,+\infty);递减区间 [−1/3,1/3][-1/\sqrt3,1/\sqrt3]。

查看分析思路

第一题导数虽能为零,却不在任何正长度区间恒为零;第二题是二次导数表达式的符号判断。

查看详细解析

(1)f′(x)=1−cos⁡x≥0f'(x)=1-\cos x\ge0,等号只在 x=2kπx=2k\pi(k∈Zk\in\mathbb Z)成立。零点集不含正长度区间,因此 ff 严格递增,不能因为导数有零点就否定严格性。

(2)f′(x)=3x2−1f'(x)=3x^2-1,其两个零点为 ±1/3\pm1/\sqrt3。开口向上的二次式在两根外正、两根间负,得到所列区间。

交互实验:随堂练1:零导数与严格单调

孤立零点不妨碍严格单调;可切换x³−x。


随堂练 2:识别可能的导函数图像#

图中给出函数 y=f(x)y=f(x) 的示意图及四幅候选导函数图,问哪幅可能是 y=f′(x)y=f'(x) 的图像。

原函数示意图及A至D导函数选项
原函数示意图及A至D导函数选项

查看答案

按示意图,选 D。

查看分析思路

比较原函数上升或下降与导函数正负的对应,不比较两张图的绝对高度。

查看详细解析

在负半轴,原图函数上升,因此导函数应取正值;右半轴则先上升、再下降、最后上升,导函数对应 +,−,++,-,+,并在两个转折位置经过横轴。

A、B 的右侧符号变化不符合这一规律;C 的负半轴图形出现负导数,与原图上升趋势冲突;D 符合原图给出的变化趋势。原图在 x=0x=0 附近是分支形态,不能把两侧跨过该点直接连接。

图示说明: 本题判断“可能”,依据的是定性图形,而非从有限像素严格证明某个精确函数的全部性质。


例 3:把数列放入连续函数中研究#

讨论数列 an=n1/na_n=n^{1/n}(n=1,2,3,…n=1,2,3,\ldots)的单调性。

查看答案

a1<a2<a3a_1<a_2<a_3;从 n=3n=3 起严格递减,最大项为 a3=33a_3=\sqrt[3]3。

查看分析思路

先研究 f(x)=x1/xf(x)=x^{1/x} 的连续单调性,再单独比较跨越连续极值点 ee 的两个相邻整数。

查看详细解析

对 x>0x>0,

f(x)=eln⁡x/x,f′(x)=x1/x1−ln⁡xx2.f(x)=e^{\ln x/x},\qquad f'(x)=x^{1/x}\frac{1-\ln x}{x^2}.

故 ff 在 (0,e](0,e] 递增、在 [e,+∞)[e,+\infty) 递减。于是整数 n≥3n\ge3 时数列递减;a1=1<2=a2a_1=1<\sqrt2=a_2。

还需比较 a2a_2 与 a3a_3:二者都正,取六次方得 (2)6=8<9=(33)6(\sqrt2)^6=8<9=(\sqrt[3]3)^6,故 a2<a3a_2<a_3。连续函数最大点是 x=ex=e,数列最大项的指标却是整数 33,二者不能混淆。

交互实验:例3:连续极值与整数采样

连续最大点e与数列最大指标3必须分开。


例 4:用单调性证明不等式#

证明:(1)当 x>1x>1 时,2x>3−1x2\sqrt x>3-\dfrac1x;(2)当 0<x<π/20<x<\pi/2 时,tan⁡x>x−x33\tan x>x-\dfrac{x^3}{3}。

查看答案

两式在题设范围内均严格成立。

查看分析思路

把左右两侧移到同一边,构造在边界值为零且随后严格递增的函数。

查看详细解析

(1)设 F(x)=2x−3+1/xF(x)=2\sqrt x-3+1/x,则 F(1)=0F(1)=0,且

F′(x)=1x−1x2=xx−1x2>0(x>1).F'(x)=\frac1{\sqrt x}-\frac1{x^2} =\frac{x\sqrt x-1}{x^2}>0\qquad(x>1).

所以 F(x)>F(1)=0F(x)>F(1)=0。

(2)设 G(x)=tan⁡x−x+x3/3G(x)=\tan x-x+x^3/3,在 [0,π/2)[0,\pi/2) 上有定义,G(0)=0G(0)=0,且

G′(x)=sec⁡2x−1+x2=tan⁡2x+x2>0(0<x<π/2).G'(x)=\sec^2x-1+x^2=\tan^2x+x^2>0\qquad(0<x<\pi/2).

于是 G(x)>0G(x)>0。题面右侧为 x−x3/3x-x^3/3,不是 x+x3/3x+x^3/3,不能在转写时更换正负号。


随堂练 3:指数与平方根不等式#

证明当 x>0x>0 时,(1)ex>1+xe^x>1+x;(2)1+x2>1+x1+\dfrac x2>\sqrt{1+x}。

查看答案

两式都在 x>0x>0 严格成立;延拓到 x=0x=0 时取等号。

查看分析思路

与例 4 一样,构造两边之差,并从零点向右研究导数。

查看详细解析

(1)F(x)=ex−1−xF(x)=e^x-1-x,F(0)=0F(0)=0,F′(x)=ex−1>0F'(x)=e^x-1>0(x>0x>0),故 F(x)>0F(x)>0。

(2)G(x)=1+x/2−1+xG(x)=1+x/2-\sqrt{1+x},G(0)=0G(0)=0,

G′(x)=12−121+x>0(x>0).G'(x)=\frac12-\frac1{2\sqrt{1+x}}>0\qquad(x>0).

故 G(x)>0G(x)>0。这里平方根求导的系数 1/21/2 必须保留。

二、函数的极值#

定义与必要条件#

局部极值与水平切线示意图
局部极值与水平切线示意图

严格局部极值的定义:若在 x0x_0 的某去心邻域内总有 f(x)<f(x0)f(x)<f(x_0),则 f(x0)f(x_0) 为极大值;若总有 f(x)>f(x0)f(x)>f(x_0),则为极小值。极值描述附近的比较,不一定是整个定义域上的最大或最小。

原图中 x1,x4,x6x_1,x_4,x_6 为极小值位置,x2,x5x_2,x_5 为极大值位置,x3x_3 虽切线水平却不是极值位置。可导函数在内点取得极值时,必有 f′(x0)=0f'(x_0)=0;不可导点也可能有极值,如 ∣x∣|x| 在 00 的极小值。

补充证明: 极大值点右侧差商非正、左侧差商非负;若两侧导数存在并相等,该值只能为零。反过来 f′(x0)=0f'(x_0)=0 并不保证极值,x3x^3 在零点就是反例。

交互实验:知识点:驻点、不可导点与极值

用x²、x³、x⁴和|x|比较必要条件与反例。

定理 4:一阶导数判别#

ff 在 x0x_0 连续且在某去心邻域可导时,导数由正变负对应极大值,由负变正对应极小值。两侧保持非负或保持非正时,不能出现上述严格局部极值。不可导点须用两侧单调趋势或直接用定义判断。


例 5:求函数的极值#

求(1)f(x)=x−ln⁡(1+x)f(x)=x-\ln(1+x);(2)f(x)=3x2+4x+4x2+x+1f(x)=\dfrac{3x^2+4x+4}{x^2+x+1} 的极值。

查看答案

(1)在 x=0x=0 处有极小值 00,无极大值;(2)在 x=−2x=-2 处有极小值 8/38/3,在 x=0x=0 处有极大值 44。

查看分析思路

先判断定义域,再化简求导。第二题先做多项式除法,计算更短。

查看详细解析

(1)定义域 (−1,+∞)(-1,+\infty),

f′(x)=1−11+x=x1+x.f'(x)=1-\frac1{1+x}=\frac{x}{1+x}.

分母正,故导数在 (−1,0)(-1,0) 负、在 (0,+∞)(0,+\infty) 正,x=0x=0 为极小值点,f(0)=0f(0)=0。

(2)x2+x+1=(x+1/2)2+3/4>0x^2+x+1=(x+1/2)^2+3/4>0,定义域为 R\mathbb R。写成

f(x)=3+x+1x2+x+1,f′(x)=−x(x+2)(x2+x+1)2.f(x)=3+\frac{x+1}{x^2+x+1},\qquad f'(x)=-\frac{x(x+2)}{(x^2+x+1)^2}.

导数在 (−∞,−2)(-\infty,-2)、(−2,0)(-2,0)、(0,+∞)(0,+\infty) 上依次为 −,+,−-,+,-。代入临界点得到 f(−2)=8/3f(-2)=8/3、f(0)=4f(0)=4。

交互实验:例5:定义域与极值

先比较x−ln(1+x),再切换有理函数。


随堂练 4:三次函数的局部极值#

求 f(x)=2x3−6x2−18x+7f(x)=2x^3-6x^2-18x+7 的极值。

查看答案

极大值 f(−1)=17f(-1)=17;极小值 f(3)=−47f(3)=-47。

查看分析思路

对导数因式分解,然后检查各零点左右的符号变化。

查看详细解析
f′(x)=6x2−12x−18=6(x+1)(x−3).f'(x)=6x^2-12x-18=6(x+1)(x-3).

导数符号从左到右为 +,−,++,-,+,故 −1-1 为极大值点,33 为极小值点。计算

f(−1)=−2−6+18+7=17,f(3)=54−54−54+7=−47.f(-1)=-2-6+18+7=17,\qquad f(3)=54-54-54+7=-47.

三次函数在全实轴上无最大、最小值;本题所求的是局部极值。

交互实验:随堂练4:局部极值与区间最值

闭区间最值与全实轴局部极值不同。

三、函数的最值#

闭区间最值的检查步骤#

连续函数在闭区间上一定取得最大、最小值。候选点包括:区间内部导数为零的点、内部不可导点、两个端点。把候选点的函数值比较后得到最值;只检查导数零点会漏掉边界最值。

若候选点无穷多,不能未经证明就把它们当作有限列表;本讲各计算题的候选点可由具体函数逐一确定。


例 6:闭区间上的最大与最小#

求(1)f(x)=(x−1)(x−2)2f(x)=(x-1)(x-2)^2,x∈[0,5/2]x\in[0,5/2];(2)f(x)=x2−54/xf(x)=x^2-54/x,x∈[−6,−1]x\in[-6,-1] 的最大值与最小值。

查看答案

(1)最小值 −4-4,在 x=0x=0 取得;最大值 3/83/8,在 x=5/2x=5/2 取得。

(2)最小值 2727,在 x=−3x=-3 取得;最大值 5555,在 x=−1x=-1 取得。

查看分析思路

对端点与内部驻点统一列表比较,尤其注意第二问负数代入分式的符号。

查看详细解析

(1)

f′(x)=(x−2)2+2(x−1)(x−2)=(x−2)(3x−4).f'(x)=(x-2)^2+2(x-1)(x-2)=(x-2)(3x-4).

候选点为 0,4/3,2,5/20,4/3,2,5/2,对应函数值

f(0)=−4,f(4/3)=4/27,f(2)=0,f(5/2)=3/8.f(0)=-4,\quad f(4/3)=4/27,\quad f(2)=0,\quad f(5/2)=3/8.

比较得到答案。

(2)

f′(x)=2x+54x2=2(x3+27)x2.f'(x)=2x+\frac{54}{x^2}=\frac{2(x^3+27)}{x^2}.

区间内部唯一驻点是 −3-3。三个候选值为

f(−6)=36+9=45,f(−3)=9+18=27,f(−1)=1+54=55.f(-6)=36+9=45,\quad f(-3)=9+18=27,\quad f(-1)=1+54=55.

代入得 f(−1)=55f(-1)=55,所以最大值为 5555。

交互实验:例6:端点与驻点的统一比较

第二问预设显示最大值55。


随堂练 5:根式端点也要比较#

求 f(x)=x+1−xf(x)=x+\sqrt{1-x} 在 [−5,1][-5,1] 上的最大值与最小值。

查看答案

最大值 5/45/4,在 x=3/4x=3/4 取得;最小值 −5+6-5+\sqrt6,在 x=−5x=-5 取得。

查看分析思路

在 x<1x<1 求导,另外把端点 x=1x=1 列入比较,不能因该点公式分母为零就删去函数值。

查看详细解析
f′(x)=1−121−x=0⟺x=34.f'(x)=1-\frac1{2\sqrt{1-x}}=0 \quad\Longleftrightarrow\quad x=\frac34.

候选值为 f(−5)=−5+6f(-5)=-5+\sqrt6、f(3/4)=5/4f(3/4)=5/4、f(1)=1f(1)=1。比较得最大最小值。x=1x=1 虽没有上述有限导数,却仍是原函数有定义且连续的区间端点。

交互实验:随堂练5:有定义的根式端点

x=1虽无有限导数,仍应比较其函数值。


例 7:球内接圆柱的两个优化目标#

半径为 R>0R>0 的球面内接圆柱体,求(1)圆柱总表面积最大值;(2)圆柱体积最大值。

查看答案

(1)Smax⁡=(1+5)πR2S_{\max}=(1+\sqrt5)\pi R^2。

(2)Vmax⁡=4πR333V_{\max}=\dfrac{4\pi R^3}{3\sqrt3},此时底半径 r=R2/3r=R\sqrt{2/3}、高 h=2R/3h=2R/\sqrt3。

查看分析思路

把截面的直角三角形约束参数化:r=Rcos⁡θr=R\cos\theta、h=2Rsin⁡θh=2R\sin\theta。表面积与体积是不同目标,最优圆柱一般不同。

查看详细解析

设圆柱底半径 rr、高 hh。球的中心截面给出 r2+(h/2)2=R2r^2+(h/2)^2=R^2。令

r=Rcos⁡θ,h=2Rsin⁡θ,0<θ<π2.r=R\cos\theta,\quad h=2R\sin\theta,\quad0<\theta<\frac\pi2.

(1)总表面积含两底面及侧面:

S=2πr2+2πrh=πR2(1+cos⁡2θ+2sin⁡2θ)≤(1+5)πR2.\begin{aligned} S&=2\pi r^2+2\pi rh\\ &=\pi R^2(1+\cos2\theta+2\sin2\theta) \le(1+\sqrt5)\pi R^2. \end{aligned}

等号要求 cos⁡2θ=1/5\cos2\theta=1/\sqrt5、sin⁡2θ=2/5\sin2\theta=2/\sqrt5,即

θ=12arctan⁡2=π4−12arctan⁡12.\theta=\frac12\arctan2 =\frac\pi4-\frac12\arctan\frac12.

这在允许区间内,故最大值可取到。

(2)令 t=sin⁡θ∈(0,1)t=\sin\theta\in(0,1),则

V=πr2h=2πR3(t−t3),dVdt=2πR3(1−3t2).V=\pi r^2h=2\pi R^3(t-t^3),\qquad \frac{dV}{dt}=2\pi R^3(1-3t^2).

t=1/3t=1/\sqrt3 前导数正、后导数负,因此

Vmax⁡=2πR3(13−133)=4πR333.V_{\max}=2\pi R^3\left(\frac1{\sqrt3}-\frac1{3\sqrt3}\right) =\frac{4\pi R^3}{3\sqrt3}.

此时 h=2R/3h=2R/\sqrt3,r=R2/3r=R\sqrt{2/3}。角度 arcsin⁡(1/3)≈35.264∘\arcsin(1/\sqrt3)\approx35.264^\circ。两个最优角不同,不能将两问的取等条件合并。

交互实验:例7:表面积与体积两个最优目标

分别点击最大表面积和最大体积预设。


例 8:固定容积油罐的最省表面积设计#

圆柱形油罐体积为 V>0V>0,底半径 rr 和高 hh 各取多少时表面积最小?这时底直径与高的比是多少?

查看答案

按原解答使用的**封闭圆柱(有上下两个底面)**模型,

r=V2π3,h=2r,2r:h=1:1.r=\sqrt[3]{\frac{V}{2\pi}},\qquad h=2r,\qquad2r:h=1:1.

最小表面积为 6π(V/(2π))2/36\pi(V/(2\pi))^{2/3}。

查看分析思路

用固定体积消去高度,把表面积写成半径的单变量函数。先明确是否有盖,否则目标函数会不同。

查看详细解析

由 V=πr2hV=\pi r^2h 得 h=V/(πr2)h=V/(\pi r^2)。按包含两个底面的模型,

S(r)=2πr2+2πrh=2πr2+2Vr,r>0.S(r)=2\pi r^2+2\pi rh=2\pi r^2+\frac{2V}{r},\qquad r>0.S′(r)=4πr−2Vr2=2(2πr3−V)r2.S'(r)=4\pi r-\frac{2V}{r^2}=\frac{2(2\pi r^3-V)}{r^2}.

设 r0=(V/(2π))1/3r_0=(V/(2\pi))^{1/3},则 S′S' 在 r<r0r<r_0 时负、在 r>r0r>r_0 时正,因此取得全局最小值。代回得 h=2r0h=2r_0,且 Smin⁡=6πr02S_{\min}=6\pi r_0^2。

本题不是无盖容器模型,不能直接把结果搬到只含一个底面的情况。

交互实验:例8:封闭油桶最小用料

保持容积约束,观察半径、高度及面积。


例 9:圆铁片剪扇形制成漏斗#

从半径为 RR 的圆铁片上剪去一个扇形,把剩余扇形做成圆锥形漏斗。留下的扇形圆心角 φ\varphi 为多少时容积最大?

查看答案
φ=2π23=263π,Vmax⁡=2πR393.\varphi=2\pi\sqrt{\frac23}=\frac{2\sqrt6}{3}\pi, \qquad V_{\max}=\frac{2\pi R^3}{9\sqrt3}.

这里 φ\varphi 是留下部分的圆心角,以弧度计。

查看分析思路

留下扇形的弧长等于圆锥底面周长,原铁片半径等于圆锥母线长,先据此建立约束。

查看详细解析

若圆锥底半径为 rr、高为 hh,则

Rφ=2πr,h=R2−r2.R\varphi=2\pi r,\qquad h=\sqrt{R^2-r^2}.

令 u=r/R=φ/(2π)∈(0,1)u=r/R=\varphi/(2\pi)\in(0,1),则

V=πR33u21−u2.V=\frac{\pi R^3}{3}u^2\sqrt{1-u^2}.

因为 V>0V>0,最大化 VV 等价于最大化它的平方。再令 t=u2∈(0,1)t=u^2\in(0,1),只需最大化 t2(1−t)t^2(1-t),其导数为 t(2−3t)t(2-3t),故最大值在 t=2/3t=2/3 取得。

于是 r=R2/3r=R\sqrt{2/3}、h=R/3h=R/\sqrt3、φ=2π2/3\varphi=2\pi\sqrt{2/3},代入 V=πr2h/3V=\pi r^2h/3 得上述最大容积。若问剪去部分,其角为 2π−φ2\pi-\varphi,不是本题直接所求。

交互实验:例9:留下角与漏斗容积

留下角与剪去角同时显示,防止混用。


随堂练 6:无盖纸盒与球内正四棱锥#

(1)一块长 8 cm8\,\mathrm{cm}、宽 5 cm5\,\mathrm{cm} 的长方形纸板,四角剪去同样大小的正方形后折成无盖纸盒。剪去小正方形的边长为多少时容积最大?

(2)半径为 RR 的球内作内接正四棱锥,求体积最大值。

查看答案

(1)边长 x=1 cmx=1\,\mathrm{cm};最大容积 18 cm318\,\mathrm{cm}^3。

(2)Vmax⁡=64R3/81V_{\max}=64R^3/81;此时高与底边长均为 4R/34R/3。

查看分析思路

纸盒用剪角边长作参数;正四棱锥用高度作参数,先求底面外接圆半径,再转为正方形面积。

查看详细解析

(1)非退化纸盒要求 0<x<5/20<x<5/2,

V(x)=x(8−2x)(5−2x)=4x3−26x2+40x.V(x)=x(8-2x)(5-2x)=4x^3-26x^2+40x.V′(x)=12x2−52x+40=4(3x−10)(x−1).V'(x)=12x^2-52x+40=4(3x-10)(x-1).

允许范围内唯一临界点为 11,两侧导数正后负;两端退化极限为零,故 Vmax⁡=V(1)=18V_{\max}=V(1)=18。

(2)取球心为坐标原点,四棱锥顶点位于球的最高点,底面水平,棱锥高为 h∈(0,2R)h\in(0,2R)。正四棱锥的对称轴经过球心:球心到四个底面顶点等距,必在底面中心的垂线上。

底面平面高度为 R−hR-h,其外接圆半径 ρ\rho 满足

ρ2=R2−(R−h)2=2Rh−h2.\rho^2=R^2-(R-h)^2=2Rh-h^2.

设正方形底边为 aa,则对角线 a2=2ρa\sqrt2=2\rho,因此底面积 a2=2ρ2a^2=2\rho^2。棱锥体积为

V(h)=13a2h=23h2(2R−h),V′(h)=2h3(4R−3h).V(h)=\frac13a^2h=\frac23h^2(2R-h), \qquad V'(h)=\frac{2h}{3}(4R-3h).

在 h=4R/3h=4R/3 处导数正变负,端点退化极限均为零,所以

Vmax⁡=23⋅16R29⋅2R3=64R381.V_{\max}=\frac23\cdot\frac{16R^2}{9}\cdot\frac{2R}{3} =\frac{64R^3}{81}.

此时 ρ2=8R2/9\rho^2=8R^2/9,故 a2=16R2/9a^2=16R^2/9,即 a=4R/3a=4R/3。

交互实验:随堂练6(1):剪角纸盒

观察展开图、剪角边长与容积。

交互实验:随堂练6(2):球内正四棱锥

底面对角线截面与底边长度分别标明。

四、函数的凹凸性#

凹凸性的命名约定#

本节采用下表的名称,并标明图形形态;这些名称与一些教材的“凸函数、凹函数”命名相反,阅读时以不等式方向与二阶导数符号为准。

本节名称弦中点比较(x1≠x2x_1\ne x_2)图形形态本讲充分条件
凹函数f((x1+x2)/2)<[f(x1)+f(x2)]/2f((x_1+x_2)/2)<[f(x_1)+f(x_2)]/2向上弯,形似 ∪\cup,图像在弦下方f′′>0f''>0
凸函数f((x1+x2)/2)>[f(x1)+f(x2)]/2f((x_1+x_2)/2)>[f(x_1)+f(x_2)]/2向下弯,形似 ∩\cap,图像在弦上方f′′<0f''<0

弦中点与函数值比较图
弦中点与函数值比较图

若 ff 在闭区间连续、内部二阶可导且 f′′>0f''>0,则按本讲约定为凹;f′′<0f''<0 时为凸。这里采用严格中点不等式。凹凸性反映斜率怎样变化,不等于原函数是否递增。

交互实验:知识点:弦中点与凹凸方向

以形态和不等式方向理解本讲命名约定。


例 10:对数与三次函数的凹凸性#

判定(1)f(x)=ln⁡xf(x)=\ln x;(2)f(x)=x3f(x)=x^3 的凹凸性。

查看答案

(1)在 (0,+∞)(0,+\infty) 为本讲“凸”(向下弯);(2)在 (−∞,0](-\infty,0] 为本讲“凸”,在 [0,+∞)[0,+\infty) 为本讲“凹”(向上弯)。

查看分析思路

求二阶导数,按本讲约定将其符号翻译成图形形态。

查看详细解析

(1)f′(x)=1/xf'(x)=1/x,f′′(x)=−1/x2<0f''(x)=-1/x^2<0,故整个定义域向下弯。

(2)f′(x)=3x2f'(x)=3x^2,f′′(x)=6xf''(x)=6x。负半轴二阶导数负、正半轴正,故在原点两侧凹凸性改变。写闭端点区间只表示连续延伸到端点,不意味着二阶导数在该端点也严格正或负。

交互实验:例10:对数与三次曲线

切换ln x与x³,观察跨拐点反例。

拐点#

若曲线在连续点 (x0,f(x0))(x_0,f(x_0)) 两侧的凹凸性改变,则该点为拐点。若函数在该点二阶可导,拐点必须满足 f′′(x0)=0f''(x_0)=0,但这个条件不充分;例如 x4x^4 在零点二阶导数为零,两侧仍向上弯,因此没有拐点。

拐点也不必是驻点。例如 x3+xx^3+x 在零点改变凹凸性,但一阶导数为 11。这两例说明驻点与拐点是不同概念。


例 11:求凹凸区间与拐点#

求曲线 y=ln⁡(1+x2)y=\ln(1+x^2) 的凹凸区间及拐点。

查看答案

本讲“凹”(向上弯)区间为 [−1,1][-1,1];本讲“凸”(向下弯)区间为 (−∞,−1](-\infty,-1] 与 [1,+∞)[1,+\infty);拐点为 (−1,ln⁡2)(-1,\ln2)、(1,ln⁡2)(1,\ln2)。

查看分析思路

二阶导数分母始终为正,只需检查分子 1−x21-x^2 的符号并验证两侧确有变化。

查看详细解析
y′=2x1+x2,y′′=2(1+x2)−4x2(1+x2)2=2(1−x2)(1+x2)2.y'=\frac{2x}{1+x^2},\qquad y''=\frac{2(1+x^2)-4x^2}{(1+x^2)^2} =\frac{2(1-x^2)}{(1+x^2)^2}.

当 ∣x∣<1|x|<1 时二阶导数正,∣x∣>1|x|>1 时负。x=±1x=\pm1 两侧符号均发生变化,函数在这些点连续,且 y=ln⁡2y=\ln2,所以两点都是拐点。不能只求出 y′′=0y''=0 就停止判别。

交互实验:例11:二阶导数变号

在(-1,1)内和跨拐点区间作比较。


随堂练 7:三次函数的拐点#

求 y=2x3+3x2−12x+14y=2x^3+3x^2-12x+14 的凹凸区间和拐点。

查看答案

本讲“凸”区间 (−∞,−1/2](-\infty,-1/2],“凹”区间 [−1/2,+∞)[-1/2,+\infty);拐点 (−1/2,41/2)(-1/2,41/2)。

查看分析思路

二阶导数为一次函数,其零点两侧符号直接判断。

查看详细解析
y′=6x2+6x−12,y′′=12x+6.y'=6x^2+6x-12,\qquad y''=12x+6.

x<−1/2x<-1/2 时二阶导数负,x>−1/2x>-1/2 时正,故在 −1/2-1/2 处凹凸性改变。代入原函数,

y(−1/2)=−14+34+6+14=412.y(-1/2)=-\frac14+\frac34+6+14=\frac{41}{2}.

定理 8:二阶导数判别局部极值#

若 ff 在 x0x_0 的某邻域可导,在 x0x_0 存在二阶导数,且 f′(x0)=0f'(x_0)=0、f′′(x0)≠0f''(x_0)\ne0,则 f′′(x0)<0f''(x_0)<0 对应极大值,f′′(x0)>0f''(x_0)>0 对应极小值。

局部条件只能推出“取得极小值”,不能保证全局最小。f′′(x0)=0f''(x_0)=0 时该判别法不作结论,应继续检查符号或定义。


随堂练 8:从导数关系式判断极值#

设 y=f(x)y=f(x) 满足 y′′+y′−esin⁡x=0y''+y'-e^{\sin x}=0,且 f′(x0)=0f'(x_0)=0。则函数:

A. 在 x0x_0 某邻域单调增加;B. 在 x0x_0 某邻域单调减少;C. 在 x0x_0 取得极小值;D. 在 x0x_0 取得极大值。

查看答案

选 C:在 x0x_0 处取得极小值。

查看分析思路

不必求出函数解析式,直接将驻点条件代入已知微分关系。

查看详细解析

在 x0x_0 代入得

f′′(x0)=esin⁡x0−f′(x0)=esin⁡x0>0.f''(x_0)=e^{\sin x_0}-f'(x_0)=e^{\sin x_0}>0.

结合 f′(x0)=0f'(x_0)=0,二阶导数判别得严格局部极小值。指数函数恒正这一点保证了判别结论;本题没有给出足够信息判断全局最小值。

文章分享

如果这篇文章对你有帮助,欢迎分享给更多人!

导数基础 7:导数的应用
https://math.asterleaflab.com/posts/calculus-derivative-applications/
作者
Asterleaf
发布于
2026-10-04
许可协议
CC BY-NC-SA 4.0
Profile Image of the Author
Asterleaf
整理数学,服务教学。
分类
标签
站点统计
文章
36
分类
3
标签
53
总字数
379,973
运行时长
0 天
最后活动
0 天前
站点信息
构建平台
GitHub Actions
博客版本
Firefly v6.15.8
文章许可
CC BY-NC-SA 4.0