人邮高数 第2章 第2-4-1题

教材习题

📝 题目

1.罗尔定理对下列函数是否成立?
(1)$\displaystyle f(x)=\ln (\sin x),\left[\frac{\pi}{6}, \frac{5 \pi}{6}\right]$ ;
(2)$\displaystyle f(x)=\frac{3}{x^{2}+1},[-1,1]$ ;
(3)$f(x)=x \sqrt{3-x},[0,3]$ .

💡 答案解析

[AI解答]

[AI解答]

习题2-4 第1题
罗尔定理成立的条件:函数在闭区间上连续,在开区间内可导,且区间端点函数值相等。下面逐一验证。

---

(1)$ f(x)=\ln(\sin x) $,区间 $\left[\frac{\pi}{6}, \frac{5\pi}{6}\right]$

- 连续性:在 $\left[\frac{\pi}{6}, \frac{5\pi}{6}\right]$ 上,$\sin x > 0$,故 $\ln(\sin x)$ 连续,满足闭区间连续。
- 可导性:在开区间 $\left(\frac{\pi}{6}, \frac{5\pi}{6}\right)$ 内,$\sin x > 0$,导数为
$$
f'(x) = \frac{\cos x}{\sin x} = \cot x
$$
存在,满足开区间可导。
- 端点值
$$
f\left(\frac{\pi}{6}\right) = \ln\left(\sin\frac{\pi}{6}\right) = \ln\frac12,
\quad
f\left(\frac{5\pi}{6}\right) = \ln\left(\sin\frac{5\pi}{6}\right) = \ln\frac12
$$
相等。

结论:罗尔定理成立。

---

(2)$ f(x)=\frac{3}{x^2+1} $,区间 $[-1,1]$

- 连续性:分母 $x^2+1 \ge 1$,函数在 $\mathbb{R}$ 上连续,故在 $[-1,1]$ 上连续。
- 可导性
$$
f'(x) = -\frac{6x}{(x^2+1)^2}
$$
在 $(-1,1)$ 内存在,满足可导。
- 端点值
$$
f(-1) = \frac{3}{1+1} = \frac32,\quad f(1) = \frac{3}{1+1} = \frac32
$$
相等。

结论:罗尔定理成立。

---

(3) $ f(x)=x\sqrt{3-x} $,区间 $[0,3]$

- 连续性:根号内 $3-x \ge 0$,在 $[0,3]$ 上连续,故函数连续。
- 可导性:在开区间 $(0,3)$ 内,
$$
f'(x) = \sqrt{3-x} + x \cdot \frac{-1}{2\sqrt{3-x}} = \frac{2(3-x) - x}{2\sqrt{3-x}} = \frac{6-3x}{2\sqrt{3-x}}
$$
当 $x=3$ 时导数为无穷大(不可导),但区间端点 $x=3$ 不在开区间内,开区间 $(0,3)$ 内导数存在,满足可导条件。
- 端点值
$$
f(0) = 0 \cdot \sqrt{3} = 0,\quad f(3) = 3 \cdot \sqrt{0} = 0
$$
相等。

结论:罗尔定理成立。

---

最终答案:三个函数均满足罗尔定理条件,因此罗尔定理对它们都成立。

📋 详细解题步骤

步骤 1/3
目标:判断罗尔定理是否对函数 f(x)=ln(sin x) 在 [π/6, 5π/6] 成立
检查连续性:在 [π/6, 5π/6] 上 sin x > 0,ln(sin x) 连续。检查可导性:在 (π/6, 5π/6) 内 f'(x)=cot x 存在。检查端点值:f(π/6)=ln(1/2),f(5π/6)=ln(1/2),相等。因此罗尔定理成立。
公式:f'(x) = cot x
提示:注意 sin x 在区间内恒正,保证 ln 定义。
步骤 2/3
目标:判断罗尔定理是否对函数 f(x)=3/(x^2+1) 在 [-1,1] 成立
检查连续性:分母 x^2+1≥1,函数在 R 上连续,故在 [-1,1] 连续。检查可导性:f'(x) = -6x/(x^2+1)^2 在 (-1,1) 内存在。检查端点值:f(-1)=3/2,f(1)=3/2,相等。因此罗尔定理成立。
公式:f'(x) = -6x/(x^2+1)^2
提示:函数是偶函数,端点值自然相等。
步骤 3/3
目标:判断罗尔定理是否对函数 f(x)=x√(3-x) 在 [0,3] 成立
检查连续性:根号内 3-x≥0,在 [0,3] 上连续。检查可导性:在 (0,3) 内 f'(x) = (6-3x)/(2√(3-x)) 存在,x=3 处不可导但不在开区间内。检查端点值:f(0)=0,f(3)=0,相等。因此罗尔定理成立。
公式:f'(x) = (6-3x)/(2√(3-x))
提示:注意 x=3 处导数无穷大,但开区间内可导即可。

📷 拍照上传批改

拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。