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

教材习题

📝 题目

8.设 $f(x)$ 在 $[a, b]$ 上连续,在 $(a, b)$ 内可导,证明至少存在一点 $\xi \in(a, b)$ ,使 $2 \xi[f(a)-f(b)]=\left(a^{2}-b^{2}\right) f^{\prime}(\xi)$ .

💡 答案解析

[AI解答]

[AI解答]

**证明**: 要证明存在 $\xi \in (a, b)$ 使得 $$ 2\xi [f(a) - f(b)] = (a^2 - b^2) f'(\xi), $$ 我们考虑构造辅助函数,应用柯西中值定理。

令 $$ F(x) = f(x), \quad G(x) = x^2. $$ 由题设,$f(x)$ 在 $[a,b]$ 上连续,在 $(a,b)$ 内可导,而 $G(x) = x^2$ 显然也在 $[a,b]$ 上连续、在 $(a,b)$ 内可导,且 $$ G'(x) = 2x \neq 0 \quad (\text{当 } x \neq 0 \text{ 时,但区间内可能包含0,不过只要 } a \neq b\text{,且 } G'(x) \text{ 在 }(a,b)\text{ 内不为零即可,这里我们需要单独处理0点情况?实际上柯西中值定理只要求 } G'(x) \neq 0 \text{ 在区间内每一点成立,但若区间包含0,则 } G'(0)=0\text{,此时需小心。}) $$

为了避免分母为零的问题,我们换一种构造:考虑函数 $$ h(x) = (a^2 - b^2) f(x) - 2x [f(a) - f(b)]. $$ 显然 $h(x)$ 在 $[a,b]$ 上连续,在 $(a,b)$ 内可导。计算 $$ h(a) = (a^2 - b^2) f(a) - 2a [f(a) - f(b)] = (a^2 - b^2) f(a) - 2a f(a) + 2a f(b), $$ $$ h(b) = (a^2 - b^2) f(b) - 2b [f(a) - f(b)] = (a^2 - b^2) f(b) - 2b f(a) + 2b f(b). $$ 化简 $h(a)$: $$ h(a) = f(a)(a^2 - b^2 - 2a) + 2a f(b). $$ 化简 $h(b)$: $$ h(b) = f(b)(a^2 - b^2 + 2b) - 2b f(a). $$ 直接比较不易看出相等,我们尝试另一种更直接的构造。

考虑函数 $$ \varphi(x) = f(x)(a^2 - b^2) - 2x [f(a) - f(b)]. $$ 则 $$ \varphi(a) = f(a)(a^2 - b^2) - 2a[f(a)-f(b)] = f(a)(a^2 - b^2 - 2a) + 2a f(b), $$ $$ \varphi(b) = f(b)(a^2 - b^2) - 2b[f(a)-f(b)] = f(b)(a^2 - b^2 + 2b) - 2b f(a). $$ 仍不易看出相等。

实际上,更简洁的方法是使用柯西中值定理于函数 $f(x)$ 和 $g(x)=x^2$: 由柯西中值定理,存在 $\xi \in (a,b)$ 使得 $$ \frac{f(b)-f(a)}{b^2 - a^2} = \frac{f'(\xi)}{2\xi}. $$ 整理得 $$ 2\xi [f(b)-f(a)] = (b^2 - a^2) f'(\xi). $$ 两边乘以 $-1$ 即得 $$ 2\xi [f(a)-f(b)] = (a^2 - b^2) f'(\xi). $$ 这里需注意条件:柯西中值定理要求分母对应的函数导数在区间内不为零,即 $2\xi \neq 0$ 对任意 $\xi \in (a,b)$。若区间包含0,则需分情况讨论:若 $a<0

**补充处理**:若 $0 \in (a,b)$,则考虑函数 $$ F(x) = f(x) - \frac{f(a)-f(b)}{a^2-b^2} x^2, $$ 则 $F(a)=F(b)$,由罗尔定理,存在 $\xi \in (a,b)$ 使 $F'(\xi)=0$,即 $$ f'(\xi) - \frac{2\xi [f(a)-f(b)]}{a^2-b^2} = 0, $$ 整理即得结论,且此时不要求 $2\xi \neq 0$,因为罗尔定理无此限制。因此原命题对任意区间均成立。

综上,原命题得证。

难度:★★☆☆☆

📋 详细解题步骤

步骤 1/3
目标:构造辅助函数并应用柯西中值定理
考虑函数 f(x) 和 g(x)=x^2。由题设,f(x) 在 [a,b] 上连续,在 (a,b) 内可导,g(x) 也在 [a,b] 上连续,在 (a,b) 内可导,且 g'(x)=2x。若 0 不在 (a,b) 内,则 g'(x)≠0,可直接应用柯西中值定理。
公式:柯西中值定理:存在 ξ∈(a,b) 使 (f(b)-f(a))/(g(b)-g(a)) = f'(ξ)/g'(ξ)
提示:注意检查 g'(x) 是否在区间内恒不为零,否则需改用罗尔定理。
步骤 2/3
目标:应用柯西中值定理得到等式
由柯西中值定理,存在 ξ∈(a,b) 使得 (f(b)-f(a))/(b^2-a^2) = f'(ξ)/(2ξ)。整理得 2ξ[f(b)-f(a)] = (b^2-a^2)f'(ξ)。两边乘以 -1 即得 2ξ[f(a)-f(b)] = (a^2-b^2)f'(ξ)。
公式:2ξ[f(a)-f(b)] = (a^2-b^2)f'(ξ)
提示:若区间包含0,则不能直接使用柯西中值定理,需改用罗尔定理。
步骤 3/3
目标:处理区间包含0的情况
若 0∈(a,b),构造辅助函数 F(x)=f(x)-[(f(a)-f(b))/(a^2-b^2)]x^2。计算得 F(a)=F(b),由罗尔定理,存在 ξ∈(a,b) 使 F'(ξ)=0,即 f'(ξ)-[2ξ(f(a)-f(b))/(a^2-b^2)]=0,整理即得结论。
公式:F'(ξ)=0 ⇒ f'(ξ) = 2ξ(f(a)-f(b))/(a^2-b^2)
提示:罗尔定理不需要分母导数非零的条件,因此适用于任意区间。

📷 拍照上传批改

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