定积分第一中值定理的证明
定积分 第 中值一定 理 证 明的
,碘诊&
∃
∀ 在 〔 !
#、
届
学生
金蒙伟
张
民
坚若! ∀ #,
一
般 等高数 学 中证都 了 如明 下的 积 分 一 中第值 定理
〕上% 变不号 且 可 积 ,
∃ 在
〔
、%
上 〕 连续
,
则在 ∃
二 )
一
〔、
% 〕中存
在一 点 息
使
、 ・
。
+∋乡
!
#&! #
( ∀∀
!夸#
+ 。
,
∋乡
&
! #
∀(∃
、
二
!∗
使#,#!
但在有 的 上书叙 述为
成立
。
如 上
述条 件下
则 在 开区间 !
#%内可 找 到 一 点
,考
〔
证 一 〕法
题命∗
区 间 !
,∀
3
若
&二 ∃
‘ # 在
〔
,
”
〕上 不 号变 且可 “ 2
,
‘
雪 −
&
二
( #. /
。
‘
,
贝 必 存在一 子个“
日 〕 !0
3
∃
、
,1
,
#
使,& ! ∀在#〔 ∃ 、
日
〕恒 正上或 恒
负
、
明
,3
、
,,
3
2小沥
伐
&∀ # ! /
,
身
,
3 3
血囚
%4
,2
3
)」 ∀
。
&
∀! #
(5
。笋
,
,
肺 以+
! &∀# 石
∀8 二
3
3
几
「
(∀
# 6
,
用 反 法
证 那么∃对 于
〔,
∃ 若
在任 何 〔
%
〕子 区的 间 〔∃
∃
。
,日 〕 上 总存 点 七 使& 一 !七 / #2
% 〕上 任
,: … ,
一
分划△
∀ 7
7, 7… 而从习
&
%,
在 ∀〔
9∗一
,
∀
〕上 都可
取; 到 一 点考9 ! 9
∃ 9) 因 当 此 ,
,。
#
,
使 & ! 29 考#‘
/,
!言9 # !∀
9
一∀ 9一 ∗
#)/ 、月
产9 】 二一
∗
!簇
一
,
9∀
‘一 ,,/ 时得 出 「 % 一 # = 一’“ ”” 山 ”&?
艺+
∃
∀
(欠二/ 。!一#
、
‘3、+ 、
>一
二%, 。 、 「&。3 ( 3 6、二 ;二 这 而 与 已 ,知 !艺 5#∀ ’ # 矛盾∃ “ 目 川= = ”」脚 。 一 ≅
。
,一
3,
。
,
’
’
+
’所
以必 有 一 个
〔∃
%〕 的 子区
间
〔
∃
,
。‘
,日 〕上
,
&
‘!#Α ,
∀
Β
,
〔∃将
&
,产
日
缩小 一 〕点
/
声
;
得便到一 个 !
∃
,
% >
子 均区间 〔∃
日〕
,∃ 使在〔
日〕上
!∀ #
Α /
现在 我 来 们证第一 中 值定 理
仍 不 妨设
,
2
&
&
!∀ 七 Β #2
!‘ #
,%
一「
3
若
二 ?
∀
,戈
5“ 、
2
“
”
‘
・
=3 显然 可取 !
,∃2 、
=
卜
。
2
、
2
,
。
3
。
。
,
%
,
#
中的性 点一 使息 ! #式 成 ∗
,立
=
,
3
、
+
卜
、
、
。
畔
,
! “# 若
二
、
% 一
「、
?∀
∀, ! # 二 (Α /
&
一
〔由 通 常 第的 中一 定值 玛 得七 〔 “
==一
一=
,
,
,
。
‘一
,
、
、,
”〕 !‘#式 成立使
一
,
3
、
、
、
、
3
。
我
们 只需证 明
当誓
.时 有必 看 !
〔∃
,
5‘ !
5
#& ! 5#‘
)
,‘
・ 誉
&∋
&+肠
!・ , (
∀
5
二 ,矛 翻 、,
‘
# 一: #,
二! ∀ &#! #(∀
一
# 八∋
! 份
#(
∀
翻 ,了2、
%
#,
∃ 使! # 考 二!# ! 或#考 “!% #
一,
一
!在
∃ ,
实卜 事上 若 不存 在终的 样
%
卜
#上 无 零点 且 连
续 石 熟 犷 则任 〔 !琴 #之, ∃ !
∀#
,
,
,
‘
以
∀
!所# 在
,!
∃
∃,
%
#
必上 持保 定
号,
#∃ # ∀ !“
!,
即
∀ #!一 !
#,
∃
。
当
∀ # !一
!∃
Α#/
,
〔
!
∃
%#时
’ 2,&
!
∀
##
/备
,5
‘“’∀ /
Α 由命题 ∗ ∃得有一个 子 区间
〔
∀ , 日 ,〕使 &! #Α /
2
户
・
一
‘!∗ 5∃
∃
# ‘一! #
∗
5・
Χ
5 ,Α‘
,
,
∀
〔∃
Δ〔
《 〕 积 微学分教 程 》
∋里“
〔
5
,“, 〕 “
5 ’
Α 。(
丫, 气
匆参〔 见菲 赫 金哥尔 茨
第
二 第 一卷分 Ε /册 〕 Φ
∗
2 ∋竺
!Β
+
∀
‘〔 !・
。・ ・
卜“ # 〕& ,‘(
,
里
〔
+〔里
! #
一
∀
∃ #!〕 !& #(∀
∀ #/
与 !这 :矛 盾#当
#
一!
。
; ! #! /
∃∀
〔 ∃
!
,
∀ # 时%同 理可 得
∋
>〔梦
∀
#
一 #
∃
!&
〕
!
(
#
∀
、
!
∀
#
一
!
#〕&!
∃
∀
#
(
∀7
6
+认
也这 与! 矛 盾 #
:
〔证 法二 〕
Γ搜级 驻&若! 翻
5
’# 在 ∃〔
Δ
〕
非上 负
,,
且 积,
分
扣+
5
5
#
(
叉
在存大 于 。 则 在存一 个
,
!
∃
二,
, ‘。。 ”#,的子 间
区、
使
Η
?二
!
日
3
&
3
,
,,
、
+
∀
(
∀
#
、。
Α
”
延 一一攫 匕作 函
是 〔∃
数,
5 Ι
,
)‘
‘
∋ 二
,
,
&5
,
(
5
・,
、 、%
∀ ,因 & ! #∀# / 所 以Ι ! #
% 〕上
的 调单上 升 的连 函数 续
且
、=
Ι
! # “
%二
+ !&
「
%∀
#
(
∀
Α ”
连由 续 函数 性 质 的
知
必,存在一 点 日任 ! ∃Ι
! 日 #・
。,
,
#
使%
、,
、
#。
日
,
、
∀5 互 #! “ “Α
&
,
,
又
作
3, 币 , ∀!
、甲
#
)3
#
「 &
日
3
∀
呈! #
(∃
,
‘3
、+
, ∀
3
,
∃
赶
、
3∀
、
。 赶日
理同可 推知 存 在 点 一 ∃任 !
,
日#,
。使
,
、!∃ #
∃
3 一
?
3 日& 、 于( !∀# 复3
+
,
∀
、。 Α
/
其 ∃中
7
7 日 7%
如 同
证〔 一法
〕当
! ∀ 一#:
∃ ! # Β
Α
,∀
任 !∃
∃,
,
#%
时命题由
知
存在一 个 子区 间 〔
日
0〕 !
∃
,
#
%
使一
:
一
:…
谏,、
∋竺 “〔 ∋雪 !, !卜
・
、!
#5
(二
Α
。・
,“,
一
& ‘(
#
・
#
・ +
星
・ ‘ 5 #〔一 ‘! # !
〕
#‘(
5
5
)
‘
月
!・
#
’ 2
#
里
&
∋! #
・‘
・
中
∃其
! 《
,
。
,日! 月 # 一! ∃ ##/
「
+ %认
,
,
,2
33
、
,,
、
、
,
3
3、
。
3
3
尸夕、
,‘
ϑ3
−
ϑ
#入
一
∗ ∃气 #
+
一& 入、 # ∃
孟
廿
与!这 矛 盾:#
〔证
法 三
〕仍不 妨 设
,5 &‘
,
爵。
,+彗
一
,
&
5‘#( 一 ‘。 Α
,
作5 !# )
甲
∃
!∀ 在 〔
#
二‘, ( +
5
&
5,
%
。,
〕 连 ,续 上,
甲
3
3
! ∃
,
#
、)
/
,
甲
!%
3#
,
)3
−
Α
Β‘、
,
由闭 间区上连 续 数函 的介
值
足 理
= 翔33
,
3
%
「
∃
=
川 伐
,刹 ,、
‘
“
, 33
“3 3
仪
∃考,
,
甲
‘气 #∗)
33
,−
了
3
3
,
甲
气
2
“夕,
‘
#
二3 3
飞「
,
3
∗
:“
,
3
, 3
,
,
,
,
∃县 甲 又 ‘∗ 、 ‘:又 。 3
3
2
=
,‘
,
33
、
3
、+
3
3
,
3、 3
、
+
+
、
盖’ 、盖’ 盖Κ 匕一
一
+“ +
、
’盖 、 盖 Κ Λ匕
盖宁
「毓
, +毛
、
3、
月
入、 ’‘ 盖少 盖 甲匕 “
「
Μ%+ 七
二
,
3‘
、3
3
,
、
+
、盖3 ’匕、 声盖 盖
利 用Κ通常 的积 分第
/ ∃%
值中定理 得 ∋
∀&∋
()
∀
∋
,∗
“ 一+,
(∃
% 毓毓 劫
‘几
))
∀∗−
(
−,
& ∀ 月#
(
+
。
七七
)
誉
∀.
−
(
∗
“
− 。(
,
∀−。(
∗
〕
,∋
二
音∀卜
,
# ‘卜 ∀。卜 ‘∀ 。 , (,
.
,,
∃ # ∀
!
,其
0
,
0
中
,。
月,
几
‘
∃分别 在
〔〔互.
#月
言# 〕
〔言1
,
% 〕 之间
一特别
∃
2 3言
‘成言 + %2
即
#
在∀
月&
∃
,
%
中(“
若
∀
刀1 (
,
,&
,
‘
∀月
#
、
,55
(
6
・&
,
,
‘” 。(,
5、
于
是 ∀ 4( 可写成
−
∃
/「
、
%
5
.
& 了∀ −( ) −∀ ( −∗ ∃7
’
’
∀
、&
月
5
#
.(兰 ) ∀ − ( ∃ ∗一
’了
「
%
月2、
5
#2
%、
即 证得明
。
&若∀
09 、
刀
8( ,
,
&∀ ,# (
,
& 刀 4 (∀ 不 相全
必有等&∀
月
。33(
,
&:
∀
。,
(
,
‘∀。 +
,
,
“
29
;
一& ∀:。4
(
2
(,
& ∀刀 # 4(
,
& ”+ ∀(
, ‘。 +‘∀
‘
。 ∀
;
(:‘∀
− (
…
∃’
9 0‘
《− 《
:%
‘ −∀
(
2
;
+天,
”.
(
,
&
∀
#”(二
十 &∀
+
(
4
子
29
∃
一
− 《 %
‘;
由 连
函续 的介 量值 定 理得
&∀ 古(
总 存在 七任 ∀∃
&
∀刀
,
.(
%(,
,
&∀使 0
‘
,
&(
∀
,
(#
4
入代 Φ!后 得#
「%+
,, 、 ,
、
,
。
,
‘
、
,
3
−
5∀ 叹& 气 ## Ν
∀
)
−
雪气 #,
+
「%3
,
、
,
‘
,
,
∀
& 气 # ∃
∀
一
∃ 右
忆气 一,
Ο
#
证毕
肠
认
,∃
利 积用 策一分 中值定 理的点 舀必 可 属 于 开 区 间
!%
#
在诸 如证明不 等 式=
+
2信
「
%∃,
>? 0∋
∋
∗
2‘
全
8=一
哎
1 /
/
一
!流
#
。 >
0
。。 ≅8> ∗ = ∀
Α
丝
称+
#
时 就分 十方便 了
,。
最后 顺 便 出
指
,#
、,
,
利
用命 题 3 可以 证 明 下 面 一 个 问题‘
∃ & ∀若− 在 〔
(, 。,
,、
% 〕 可
‘
积
,且
.
Χ (∋ Δ
∋
6
”,
二 纵纽 仕 Χ
一,
,
、
“,,
。
,
、 一一 7 卜一 内 幽Β鳅 ‘ − (Χ一 刊 联 庄月 息‘、
∋
(
、
。,
6
”
Α
、
汾
一
#
Ε
一