文章目录
- abstract
- 微积分中值定理的双存在值证明题举例
- 综合使用积分中值定理和微分中值定理例
- 双中值问题
- 构造辅助函数法综合
- 小结
abstract
- 微积分中值定理的双存在值证明问题@寻找辅助函数证明中值问题
微积分中值定理的双存在值证明题举例
综合使用积分中值定理和微分中值定理例
- 设,在上连续,在上可导
- 且=
(1)
- 证明:存在两个不同点,s.t.
(2)
- 证:
- 由(1)可得+=
(3)
,这就对积分区间作一个拆分,并且恰好能够将重叠的积分区域变形为不重叠的形式,这有利于我们在不同区间利用积分中值定理找到2个不同的值
- 移项得:=
(3-1)
- 对(3-1)利用积分中值定理,立马得到
- =,其中
(3-2)
- =,其中
(3-3)
- 从而=
(4)
- 将式(2)移项:=
(5)
- 考虑到对于,可以构造=,此时=
(5-1)
,而=,这说明式(5-1)和式(5)第一项模式间相差一个负号 - 因此考虑对式(5)变形:
(5-1-1)
,构造其他函数:==(5-2)
- 观察式(5-1-1)中,=,因此实际上(5-1-1)可以表示(还原为):+
(5-3)
- 事实上(5-2)是包含(5-1)的情形:本身可以表示任意关于的函数
- 这里构造=
(6)
,则=(7)
- 而式(2)等价于式(5-1-1).观察式(7)中,从而若能说明存在两个不同点,s.t.,
(8)
就能说明(5-1-1)成立 - 而由式(4)可知,==,利用罗尔中值定理,可知,s.t.=,即式(8)
- 由(3-1,3-2),有,从而
- 类似地再由(3-3),
- 证毕
- Notes:
- 这里采用分析法而非综合法证明,即证明能够推出结论的式(8),来说明原命题结论成立
- 而式(8)的证明是我们构造可合适的函数,(用综合法方式)进行推导出来
- 中值定理证明问题,通常式构造函数,转换欲证结论,分析法和局部综合法来证明
双中值问题
- 设在上连续,在上可导,且,
- 证明:
- 存在2个不同的点使得
(1)
- 存在2个不同点,使得
(2)
- 分析
- 本例出现了2个中值(分点),并且待证结论中出现了2个自变量取值为分点的导数
- 考虑在区间内找到一个合适的点,在区间和上分别应用Lagrange中值定理
- ==
(3-1)
;=(3-2)
,其中, - 对于第一问,令(3-1,3-2)两式相加
- 对于第二问,令(3-1,3-2)两式相乘
- 然后分别在区间内寻找合适的点能够分别满足式(1),(2);并且要确保所选定的一定存在
- 这类方法称为逆推法或待定分点法
- 证
- (1)
- =+=
(4)
- 分析:满足上式的需要作许多试探
- 考虑令,即则两项分母相同,分子可以相加,此时(4)变成=
- 可见能使(4)成立,并且,所以(1)成立
- 或者将(4)通分变形,得到=
(5)
,考虑,即,代入发现(5)成立,类似的说明(1)成立
- (2)
- ==
(6)
- 考虑令=,则式(6)恰好成立
- 但此时不能保证
(7)
且这样的点
- 用零点定理证明:在上确实存在满足式(7)的点
- 构造=,则==>0;而==<,从而由连续函数零点定理可知内存在,即存在满足式(7)的点
- 证毕
构造辅助函数法综合
- 设在上二阶可导,且,
(0-1)
,(0-2)
- 试证:
- ,使得=
(0-3)
- ,s.t.=
(0-4)
- ,s.t. =
(0-5)
- s.t. =
(0-6)
- 证明
- 将(0-3)移项为:=
(1-1)
,进一步分组变形,=(1-2)
- 若令=,则式(1-2)符合模型
- 构造函数=
(2)
,不妨令=(2-1)
- 由(0-1)和极限的性质以及右导数的定义分别可得
(3)
,=(4)
- 将式(0-2)变形为=0
(5)
,再将变形为,因为==,式(5)改写为==(6)
,由积分中值定理,,s.t. =(6-1)
- 而=
(6-2)
,由罗尔定理,,s.t. =(7)
将其左端展开,即得(1-1),从而结论得证
- 对于式(2-1),=,=0,;应用罗尔定理,,s.t.
(8)
,即=,变形为(8-1)
,又由(4),可对应用罗尔定理,,s.t. - 式(0-5)左边是=
(9-1)
- 若令=
(9-2)
,则(9-1)可以表示为=(9-3)
- 而式(0-5)右边为
- 将式(0-5)变形为=
(9)
- 构造函数=;;对这两个函数应用柯西中值定理:=
(10)
- 即=
(10-1)
,由(0-2)得(10-1)左边为=;化简后就是式(9)左端,因此式(9)成立,这就证明了式(0-5) - Note:也可以,构造其他合适的辅助函数,用罗尔定理做
- 式(0-6)变形为. =
(11)
,由(9-2),=(11-1)
- 考虑到==
(11-2)
我们考虑构造=(11-3)
,并考虑使用罗尔定理,得出的结论,从而得出(11-1) - 但罗尔定理要求闭区间上连续,而函数在无定义,间断
- 所以我们考虑补充定义,并且通过求==这里应用了洛必达法则;由(0-1),得==
- 因此我们为在处补充定义;而=,由(0-2),得
- 现在应用罗尔定理,,s.t. ,从而(11-1)成立,即(0-6)成立,证毕
小结
- 变形欲证目标式对于找到合适的辅助函数很重要
- 微分中值定理解决问题时构造的辅助函数往往要找出含有抽象函数的函数表达式的原函数,积累常用模型有助于找到合适的辅助函数