方企勤 第三章 一元函数积分学 第22题

教材习题

📝 题目

例 22 设函数 $f\left( x\right)$ 在 $\left\lbrack {0,\pi }\right\rbrack$ 上连续,且

$$ {\int }_{0}^{\pi }f\left( x\right) \mathrm{d}x = 0,\;{\int }_{0}^{\pi }f\left( x\right) \cos x\mathrm{\;d}x = 0. $$

求证: 在 $\left( {0,\pi }\right)$ 内至少存在两个不同的点 ${\xi }_{1},{\xi }_{2}$ ,使

$$ f\left( {\xi }_{1}\right) = f\left( {\xi }_{2}\right) = 0. $$

💡 答案解析

证 令 $F\left( x\right) = {\int }_{0}^{x}f\left( t\right) \mathrm{d}t\left( {x \in \left\lbrack {0,\pi }\right\rbrack }\right)$ ,则有 $F\left( 0\right) = F\left( \pi \right) = 0$ . 又因为

$$ 0 = {\int }_{0}^{\pi }f\left( x\right) \cos x\mathrm{\;d}x = {\int }_{0}^{\pi }\cos x\mathrm{\;d}F\left( x\right) $$

$$ = {\left. F\left( x\right) \cos x\right| }_{0}^{\pi } + {\int }_{0}^{\pi }F\left( x\right) \sin x\mathrm{\;d}x $$

$$ = {\int }_{0}^{\pi }F\left( x\right) \sin x\mathrm{\;d}x, $$

所以存在 $\xi \in \left( {0,\pi }\right)$ ,使得 $F\left( \xi \right) \sin \xi = 0$ . 因若不然,则在 $\left( {0,\pi }\right)$ 内或 $F\left( x\right) \sin x$ 恒为正,或 $F\left( x\right) \sin x$ 恒为负,都与 $\displaystyle{\int }_{0}^{\pi }F\left( x\right) \sin x\mathrm{\;d}x = 0$ 矛盾. 又当 $\xi \in \left( {0,\pi }\right)$ 时, $\sin \xi \neq 0$ ,故 $F\left( \xi \right) = 0$ . 于是 $F\left( x\right)$ 在 $\left\lbrack {0,\pi }\right\rbrack$ 上有三个不同零点, $0 < \xi < \pi$ . 再用罗尔定理,则存在 ${\xi }_{1} \in \left( {0,\xi }\right) ,{\xi }_{2} \in$ $\left( {\xi ,\pi }\right)$ ,使得 ${F}^{\prime }\left( {\xi }_{1}\right) = 0,{F}^{\prime }\left( {\xi }_{2}\right) = 0$ ,即 $f\left( {\xi }_{1}\right) = 0,f\left( {\xi }_{2}\right) = 0$ .

📋 详细解题步骤

步骤 1/4
目标:构造辅助函数F(x)
令 F(x) = ∫_0^x f(t) dt,x∈[0,π]。则 F(0)=0,且由条件 ∫_0^π f(x) dx = 0 得 F(π)=0。
公式:F(x) = ∫_0^x f(t) dt
提示:利用变上限积分构造原函数,将条件转化为端点值相等。
步骤 2/4
目标:利用第二个条件得到关于F(x)的积分等式
由 ∫_0^π f(x) cos x dx = 0,代入 f(x)=F'(x),分部积分得:∫_0^π cos x dF(x) = F(x)cos x|_0^π + ∫_0^π F(x) sin x dx = ∫_0^π F(x) sin x dx = 0。
公式:∫_0^π F(x) sin x dx = 0
提示:分部积分时注意边界项为零。
步骤 3/4
目标:证明存在ξ∈(0,π)使得F(ξ)=0
若F(x)sin x在(0,π)内恒正或恒负,则积分∫_0^π F(x) sin x dx ≠ 0,与上一步矛盾。故存在ξ∈(0,π)使F(ξ)sin ξ=0。又sin ξ≠0,所以F(ξ)=0。
公式:F(ξ)=0
提示:利用积分中值定理的推论或反证法。
步骤 4/4
目标:应用罗尔定理得到两个零点
F(x)在[0,π]上有三个零点:0, ξ, π。分别在区间[0,ξ]和[ξ,π]上应用罗尔定理,存在ξ1∈(0,ξ),ξ2∈(ξ,π),使得F'(ξ1)=0,F'(ξ2)=0,即f(ξ1)=0,f(ξ2)=0。
公式:F'(ξ1)=0, F'(ξ2)=0
提示:罗尔定理要求函数在闭区间连续,开区间可导,端点值相等。

📷 拍照上传批改

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