222 字
1 分钟
电子科技大学2025级微积分I期末考试证明题
2026-01-09

题目#

设函数 f(x)f(x) 在区间 [0,1][0,1] 上连续,在 (0,1)(0,1) 上可导,并满足

f(1)=3013e1x2f(x)dx.f(1)=3\int_{0}^{\tfrac13} e^{1-x^2} f(x)\,dx.

证明:
至少存在一点 ξ(0,1)\xi\in(0,1),使得

f(ξ)=2ξf(ξ).f'(\xi)=2\xi f(\xi).

解题思路#

目标式

f(ξ)=2ξf(ξ)f'(\xi)=2\xi f(\xi)

可以等价改写为

f(ξ)2ξf(ξ)=0.f'(\xi)-2\xi f(\xi)=0.

这提示我们:
应当构造一个函数,其导数中自然出现 f(x)2xf(x)f'(x)-2x f(x)

注意到:

(e1x2f(x))=e1x2(f(x)2xf(x)),\big(e^{1-x^2}f(x)\big)' = e^{1-x^2}\big(f'(x)-2x f(x)\big),

因此这大概率是*“构造函数 + 罗尔定理”*


我的解法#

F(x)=e1x2f(x).F(x)=e^{1-x^2}f(x).

由题设条件可知:

  • F(x)F(x)[0,1][0,1] 上连续;
  • F(x)F(x)(0,1)(0,1) 上可导。

由积分中值定理,存在

η(0,13),\eta\in\left(0,\tfrac13\right),

使得

01/3F(x)dx=13F(η).\int_0^{1/3} F(x)\,dx = \frac13 F(\eta).

题目给出:

f(1)=3013e1x2f(x)dx=301/3F(x)dx.f(1)=3\int_{0}^{\tfrac13} e^{1-x^2} f(x)\,dx =3\int_0^{1/3} F(x)\,dx.

代入积分中值定理结果:

f(1)=313F(η)=F(η).f(1)=3\cdot \frac13 F(\eta)=F(\eta).

另一方面,

F(1)=e11f(1)=f(1).F(1)=e^{1-1}f(1)=f(1).

因此得到关键等式:

F(1)=F(η).F(1)=F(\eta).

函数 F(x)F(x) 在区间 [η,1][\eta,1] 上连续,在 (η,1)(0,1)(\eta,1)\subset(0,1) 上可导,且

F(η)=F(1).F(\eta)=F(1).

由罗尔定理,存在

ξ(η,1)(0,1),\xi\in(\eta,1)\subset(0,1),

使得

F(ξ)=0.F'(\xi)=0.

F(x)=e1x2(f(x)2xf(x)),F'(x)=e^{1-x^2}\big(f'(x)-2x f(x)\big),

e1x2>0e^{1-x^2}>0,可得

f(ξ)2ξf(ξ)=0,f'(\xi)-2\xi f(\xi)=0,

f(ξ)=2ξf(ξ).f'(\xi)=2\xi f(\xi).

证毕。

电子科技大学2025级微积分I期末考试证明题
https://fuwari.vercel.app/posts/电子科技大学2025级微积分i期末考试证明题/
作者
九鸟
发布于
2026-01-09
许可协议
CC BY-NC-SA 4.0