关于积分中值定理的证明(最全)word资料
- 格式:doc
- 大小:1017.50 KB
- 文档页数:23
定积分中值定理证明1. 引言定积分中值定理是微积分中的重要定理之一,它建立了函数在某个区间上的平均值与某个点的函数值之间的关系。
本文将对定积分中值定理进行证明。
2. 定积分中值定理的表述设函数f (x )在闭区间[a,b ]上连续,则存在ξ∈[a,b ],使得∫f ba (x )dx =(b −a )f (ξ)3. 证明过程为了证明定积分中值定理,我们需要利用微积分中的一些基本原理和方法。
首先,我们定义一个辅助函数F (x ):F (x )=∫f xa (t )dt根据定义,F′(x )=f (x ),即f (x )是F (x )的导数。
由于f (x )在闭区间[a,b ]上连续,根据微积分基本定理,F (x )在闭区间[a,b ]上是可导的。
根据拉格朗日中值定理(也称为微分中值定理),对于可导函数F (x )来说,在闭区间[a,b ]上存在一个点ξ∈(a,b ),满足:F (b )−F (a )b −a=F′(ξ) 将F (x )的定义代入上式,得到:∫f b a (t )dt −∫f aa (t )dtb −a=f (ξ) 由于∫f a a (t )dt =0,上式可以进一步简化为:∫f b a (t )dt b −a=f (ξ) 最后,将等式两边乘以(b −a ),即可得到定积分中值定理的表述:∫f b a (x )dx =(b −a )f (ξ)4. 结论与讨论定积分中值定理提供了函数在某个区间上平均值与某个点的函数值之间的关系。
它在实际问题中具有广泛的应用,例如计算曲线长度、求解平均值等。
需要注意的是,在证明过程中我们假设了函数f(x)在闭区间[a,b]上连续。
这是因为连续性是定积分中值定理成立的一个重要条件。
如果函数f(x)不满足连续性,则无法使用定积分中值定理来推导出相应的结论。
另外,根据证明过程可以看出,定积分中值定理实际上是拉格朗日中值定理在积分形式下的推广。
因此,对于熟悉拉格朗日中值定理的读者来说,理解定积分中值定理的证明过程会更加容易。
第三单元 Ch10 定积分3.3.2 积分第一中值定理[,],[,],f a b a b ξ∈若在上连续则存在使()d ()().b a f x x f b a ξ=-⎰证 因 f 在 [a , b ] 上连续,()d ()d b ba a mb a m x f x x -=≤⎰⎰(),[,],m f x M x a b ≤≤∈d (),ba M x Mb a ≤=-⎰故存在最大值 M 和最小值 m . 由于因此定理10.14(积分第一中值定理)则由连续函数的介值定理, 必恒有1()()d ,(,).b a f x f t t x a b b a<∈-⎰或恒有1()()d ,(,),b af x f t t x a b b a >∈-⎰注2积分第一中值定理的几何意义如下图所示:ξa b 1()()d b af f x x b a ξ=-⎰,()f ξ为底为高的矩形面积.而[,]a b 在上的曲边梯形的面积,这是有限个数的算术平均值的推广.()[,]f x a b 可理解为在上所有函数值的平均值,若在上连续在上可积且不变号,[,],()[,]f a b g x a b [,],()()d ()()d .b ba a ab f x g x x f g x x ξξ∃∈=⎰⎰则使()()()(),[,].mg x f x g x Mg x x a b ≤≤∈≤≤⎰⎰⎰()d ()()d ()d .b b ba a a m g x x f x g x x M g x x 则对上式两边积分得[,]a b 在上的下确界与上确界,则证 ()0,[,].g x x a b ≥∈不妨设,()m M f x 若分别是定理10.15(推广的积分第一中值定理)(),()d a b a f g x x ξ=⎰⎰()()d ()()d .b b a a f x g x x f g x x ξ=⎰⎰即若 u (x ), v (x ) 在 [a, b ] 上有 (n +1) 阶连续导函数, 则(1)()()d b n a u x v x x+⎰()(1)[()()()()n n u x v x u x v x -'=-+1(1)(1)()()d .b n n a u x v x x +++-⎰ 泰勒公式的积分型余项由此可得以下带积分型余项的泰勒公式:()(1)()()]b n n a u x v x ⋅⋅⋅+-()()(),n n f x P x R x =+则()(),n P x f x n 为的阶泰勒多项式余项为其中00()()1,f x x U x n +设在的某邻域内有阶连续导数0(1)1()()()d .!x n n n x R x f t x t t n +=-⎰于是,泰勒公式的余项00()()]!n f x x x n +-()!,n n R x =0(1)1()()()d !x n n n x R x f t x t tn +=-⎰(1)10001(())(1)().!n n n f x x x x x n θθ++=+---此式称为泰勒公式的柯西型余项.10210()ex x x --=--12e 1-=--+11e -=--2 =π。
积分第二中值定理证明这个定理的推导比较复杂,牵扯到积分上限函数:Φ(x) = ∫f(t)dt (上限为自变量x,下限为常数a)。
以下用∫f(x)dx表示从a到b的定积分。
首先需要证明,若函数f(x)在[a,b]内可积分,则Φ(x)在此区间内为一连续函数。
证明:给x一任意增量Δx,当x+Δx在区间[a,b]内时,可以得到Φ(x+Δx) = ∫f(t)dt= ∫f(t)dt + ∫f(t)dt= Φ(x) + ∫f(t)dt即Φ(x+Δx) - Φ(x) = ∫f(t)dt应用积分中值定理,可以得到Φ(x+Δx) - Φ(x) = μΔx其中m<=μ<=M,m、M分别为f(x)在[x,x+Δx]上的最小值和最大值,则当Δx->0 时,Φ(x+Δx) - Φ(x)->0,即lim Φ(x+Δx) - Φ(x) = 0(当Δx->0)因此Φ(x)为连续函数其次要证明:如果函数f(t)在t=x处连续,则Φ(x)在此点有导数,为Φ'(x) = f(x)证明:由以上结论可以得到,对于任意的ε>0,总存在一个δ>0,使|Δx|<δ时,对于一切的t属于[x,x+Δx],|f(t)-f(x)|<ε恒成立(根据函数连续的ε-δ定义得到),得f(x)-ε<f(t)<f(x)+ε< p="">由于t属于[x,x+Δx],因此m<=f(t)<=M(m、M的意义同上),由于f(x)-ε<f(t)& amp;lt;f(x)+ε当t属于[x,x+δx]时恒成立,因此得到<="" p="">f(x)-ε<=m<=M<=f(x)+ε由于m<=μ<=M(μ的意义同上),可以得到f(x)-ε<=μ<=f(x)+ε即|μ-f(x)|<=ε由于Φ(x+Δx) - Φ(x) = μΔx,可以得到,当Δx->0时,Φ'(x) = lim [Φ(x+Δx) - Φ(x)]/Δx = lim μ = f(x)命题得证。
第四讲中值定理的证明技巧一、考试要求1、理解闭区间上连续函数的性质(最大值、最小值定理,有界性定理,介值定理),并会应用这些性质。
2、理解并会用罗尔定理、拉格朗日中值定理、泰勒定理,了解并会用柯西中值定理。
掌握这四个定理的简单应用(经济)。
3、了解定积分中值定理。
二、内容提要1、介值定理(根的存在性定理)(1)介值定理在闭区间上连续的函数必取得介于最大值M与最小值m之间的任何值.(2)零点定理设f (x)在[a、b]连续,且f (a) f (b) <0,则至少存在一点,ce (a、b),使得f (c)=02、罗尔定理若函数/(兀)满足:(1)加在嗣上连续(2)几力)在@上)内可导(3)f(a)= f(b)则一定存在弘(。
劝使得m=o3、拉格朗日中值定理若函数于(力满足:(1)/⑴在[。
,切上连续(2)/(X)在仗上)内可导则一定存在§ E ,使得f(b) - f(a) = a)4、柯西中值定理若函数/(x),g(x)满足:(1)在[“]上连续(2)在(°上)内可导(3)g©)H°则至少有一点歹w(Q,b)使得g(b)-gS) g'(§)5、泰勒公式如果函数/(X)在含有兀的某个开区间内具有直到n + 1阶导数,则当兀在(G上)内时,/⑴可以表示为兀-九的一个〃次多项式与一个余项Kg之利即f 3) = /(兀)+广(兀)3-兀)+討Go)(X-Xo),+ …+十严(兀0)0-兀)” + 恥)(1)辅助函数的构造微分中值定理通常用來证明一些等式、不等式及方程根的存在性°在证明方程根的存在性和不等式时,经常要构造出一个辅助函数,辅助函数的构造方法通常有三种:找原函数法;指数因子法;常数k值法。
①、方程根的存在性方程根的存在性,常用介值定理和罗尔定理来证明。
这里着重讲解罗尔定理。
下面通过例题来给出三种构造辅助函数的方法。
②、存在多个中间值的证明有一类问题,要证明存在两个或两个以上的中间值,满足一定的等式,由于用一次中值定理只能找到一个中间值,故这类问题通常至少要用两次中值定理才能解决。
积分中值定理(开区间)的几种证明方法定理:设f 在[,]a b 上连续,则(,)a b ξ∃∈,使得()()()ba f x dx fb a ξ=-⎰。
[证一]:由积分第一中值定理(P217),[,]a b ξ∃∈, 使得()()()b a f x dx f b a ξ=-⎰。
于是[()()]0.b af x f dx ξ-=⎰ 由于函数()()()F x f x f ξ=-在[,]a b 上连续,易证(可反证):(这还是书上例2的结论)(,)a b η∃∈,使得()()()0F f f ηηξ=-=,即()()f f ηξ=。
[证二]:令()()xa F x f t dt =⎰,则()F x 在[,]ab 上满足拉格朗日中值定理的条件,故(,)a b ξ∃∈,使得()()()()F b F a F b a ξ'-=-,即结论成立。
(注:书上在后面讲的微积分基本定理)[证三]:反证:假设不(,)a b ξ∃∈,使得 ()()()ba f x dx fb a ξ=-⎰,由积分第一中值定理,知ξ只能为a 或b ,不妨设为b ,即1(,),()()()b a x a b f x f b f x dx b a∀∈≠=-⎰。
由于f 连续,故(,),x a b ∀∈ ()()f x f b >(或()()f x f b <),(这一点是不是用介值定理来说明)这样(上限x 改为b )()()()().xba a f x dx fb dx f b b a >=-⎰⎰ (这个严格不等号不太显然要用书上例2结论来说明)矛盾。
[证四]:设f 在[,]a b 上的最大值为M ,最小值为m 。
若m M =,则f c ≡,ξ可任取。
若m M <,则1[,]x a b ∃∈,有1()0M f x ->,故[()]0b a M f x dx ->⎰,即 ()().ba f x d x Mb a<-⎰同理有()().ba mb a f x dx -<⎰ 由连续函数的介质定理知:(,)a b ξ∃∈,使得 1()().b a f f x dx b aξ=-⎰。
§1.1 积分第一中值定理若函数()f x 在闭区间[,]a b 上连续,则在[,]a b 上至少存在一点ξ,使得()()()baf x dx f b a ξ=-⎰证明:由定积分性质知()()()bam b a f x dx M b a -≤≤-⎰ (1)其中M ,m 分别是函数()f x 在闭区间[,]a b 上的最大值和最小值。
把(1)式各除以b a -,得1()bam f x dx M b a ≤≤-⎰。
这表明,确定的数值1()ba f x dxb a-⎰介于函数()f x 的最小值m 和最大值M 之间。
根据闭区间上连续函数的介值定理,在[,]a b 上至少存在着一点ξ,使得函数()f x 在点ξ处的值与这个确定的数值相等,即应有:1()()ba f x dx fb aξ=-⎰ (a b ξ≤≤) 两端乘以b a -,即得所要证的等式。
说明:这里的ξ是在[,]a b 上取值,实际上,也可以在开区间(,)a b 的,即(,)a b ξ∈时,定理同样成立。
现证明如下:记()baf x dx b aμ=-⎰,则(())0baf x dx μ-=⎰。
若a x b <<时()()0f x μ-><,则,(())()0baf x dx μ-><⎰,均矛盾。
故有,12,a b x x <<使1()f x μ≤,2()f x μ≥, 故存在(,)a b ξ∈使()f ξμ=。
即()()()ba f x dx fb a ξ=-⎰证明完毕推广的积分第一中值定理:若函数()f x 与()g x 在闭区间[,]a b 上连续,且()g x 在[,]a b 上不变号,则在[,]a b 上至少存在一点ξ,使得:()()()()bbaaf xg x dx f g x dx ξ=⎰⎰ (a b ξ≤≤)证明: 因为()f x 在[,]a b 上连续,()f x 在[,]a b 上必有最大值M 和最小值m ,又由于()g x 在[,]a b 上可积且不变号,不妨设()0g x ≥,()ba I g x dx =⎰,于是()()()(m g x f x g x M g x≤≤ 从而 ()()bam I f x g x d x MI ≤≤⎰(2) 若I =0,则由(2)式知 ()()0baf xg x dx =⎰,从而任取ξ(,)a b ∈均可以使等式成立。
二重积分中值定理证明二重积分中值定理证明引言二重积分中值定理是微积分学中重要的定理之一,它描述了在某些条件下,一个函数在某个区域上的平均值等于这个函数在该区域上的某个点的取值。
这个定理在应用数学、物理学、工程学等领域都有广泛的应用。
本文将对二重积分中值定理进行证明。
定义设 $f(x,y)$ 是一个定义在有限闭区域 $D$ 上的连续函数,则存在一点$(\xi,\eta)$,使得$$\iint_D f(x,y) dxdy = f(\xi,\eta) \iint_D dxdy$$证明为了证明二重积分中值定理,我们需要使用以下两个引理:引理1:闭区间上连续函数的最大最小值存在。
引理2:如果 $f(x,y)$ 在有限闭区域 $D$ 上连续且非负,则 $\iint_D f(x,y) dxdy > 0$。
接下来我们将使用这两个引理来证明二重积分中值定理。
第一步:构造辅助函数为了方便证明,我们可以构造一个辅助函数 $F(t)$:$$F(t) = \iint_D [f(x,y)-t]dxdy$$其中 $t$ 是一个常数。
显然,$F(t)$ 是 $t$ 的连续函数。
第二步:证明引理1由于 $f(x,y)$ 在有限闭区域 $D$ 上连续,因此 $F(t)$ 也是在闭区间上的连续函数。
根据引理1,$F(t)$ 在某个点 $t_0$ 处取得最小值和最大值。
设最小值为 $m$,最大值为 $M$。
第三步:证明引理2由于 $f(x,y)$ 在有限闭区域 $D$ 上连续且非负,因此 $\iint_D f(x,y) dxdy \geq 0$。
如果 $\iint_D f(x,y) dxdy = 0$,则对于任意常数$t_0$,$$F(t_0) = \iint_D [f(x,y)-t_0]dxdy \leq 0$$但是根据定义,当 $t=t_0=m$ 时,$$F(m) = \iint_D [f(x,y)-m]dxdy \geq 0$$这与上式矛盾。
略谈积分中值定理及其应用(优选)word资料略谈积分中值定理及其应用白永丽 张建中(平顶山工业职业技术学院)积分中值定理是定积分的一个重要性质,它建立了定积分与被积函数之间的关系,从而使我们可以通过被积函数的性质来研究积分的性质,有较高的理论价值和广泛的应用。
本文就其在解题中的应用进行讨论。
一、积分中值定理的内容:定理1(积分第一中值定理) 若)x (f 在]b ,a [上连续,则在]b ,a [上至少存在一点ξ使得b a ),a b ()(f dx )x (f ba≤ξ≤-ξ=⎰(1)定理2(推广的积分第一中值定理) 若)x (g ),x (f 在闭区间]b ,a [上连续,且)x (g 在]b ,a [上不变号,则在]b ,a [至少存在一点ξ,使得b a ,dx )x (g )(f dx )x (g )x (f baba≤ξ≤ξ=⎰⎰ (2)证明:(推广的积分第一中值定理)不妨设在]b ,a [上0)x (g ≥则在]b ,a [有)x (Mg )x (g )x (f )x (mg ≤≤其中m,M 分别为)x (f 在]b ,a [上的最小值与最大值,则有:⎰⎰⎰≤≤bab ab adx )x (g M dx )x (g )x (f dx )x (g m若⎰=b a0dx )x (g ,则由上式知⎰=ba0dx )x (g )x (f ,从而对]b ,a [上任何一点ξ,定理都成立。
若⎰≠ba 0dx )x (g 则由上式得:M dx)x (g dx)x (g )x (f m baba≤≤⎰⎰则在]b ,a [上至少有一点ξ,使得⎰⎰=ξbabadx)x (g dx)x (g )x (f )(f即:.b x a ,dx )x (g )(f dx )x (g )x (f bab a≤≤ξ=⎰⎰显然,当1)x (g ≡时,(2)式即为(1)式二、积分中值定理的应用由于该定理可以使积分号去掉,从而使问题简化,对于证明包含函数积分和某个函数值之间关系的等式或不等式,常可以考虑使用积分中值定理,在应用积分中值定理时应注意以下几点:(1)在应用中要注意被积函数在区间]b ,a [上连续这一条件,否则,结论不一定成立。
积分中值定理的证明过程
积分中值定理的证明:设f(x)在[a,b]上连续,且最大值为m,最小值为m,最大值和最小值可相等。
由估值定理及连续函数的介值定理可证明积分中值定理。
积分中值定理在应用中所起到的重要作用是可以使积分号去掉,或者使复杂的被积函
数化为相对简单的被积函数,从而使问题简化。
因此,对于证明有关题设中含有某个函数
积分的等式或不等式,或者要证的结论中含有定积分,或者所求的极限式中含有定积分时,一般应考虑使用积分中值定理,去掉积分号,或者化简被积函数。
不等式证明
积分不等式是指不等式中含有两个以上积分的不等式,当积分区间相同时,先合并同一
积分区间上的不同积分,根据被积函数所满足的条件,灵灵活运用积分中值定理,以达到证
明不等式成立的目的。
在证明的定分数不等式时, 常常考量运用分数中值定理, 以便换成分数符号, 如果被
内积函数就是两个函数之积时, 可以考量用分数第一或者第二中值定理。
对于某些不等式
的证明, 运用原分数中值定理就可以获得“≥”的结论, 或者不等式显然无法获得证明。
而运用改良了的分数中值定理之后, 则可以获得“\ue”的结论, 或者顺利的解决问题。
积分中值定理(开区间)的几种证明方法定理:设f 在[,]a b 上连续,则(,)a b ξ∃∈,使得()()()ba f x dx fb a ξ=-⎰。
[证一]:由积分第一中值定理(P217),[,]a b ξ∃∈, 使得()()()b a f x dx f b a ξ=-⎰。
于是[()()]0.b af x f dx ξ-=⎰ 由于函数()()()F x f x f ξ=-在[,]a b 上连续,易证(可反证):(这还是书上例2的结论)(,)a b η∃∈,使得()()()0F f f ηηξ=-=,即()()f f ηξ=。
[证二]:令()()xa F x f t dt =⎰,则()F x 在[,]ab 上满足拉格朗日中值定理的条件,故(,)a b ξ∃∈,使得()()()()F b F a F b a ξ'-=-,即结论成立。
(注:书上在后面讲的微积分基本定理)[证三]:反证:假设不(,)a b ξ∃∈,使得 ()()()ba f x dx fb a ξ=-⎰,由积分第一中值定理,知ξ只能为a 或b ,不妨设为b ,即1(,),()()()b a x a b f x f b f x dx b a∀∈≠=-⎰。
由于f 连续,故(,),x a b ∀∈ ()()f x f b >(或()()f x f b <),(这一点是不是用介值定理来说明)这样(上限x 改为b )()()()().xba a f x dx fb dx f b b a >=-⎰⎰ (这个严格不等号不太显然要用书上例2结论来说明)矛盾。
[证四]:设f 在[,]a b 上的最大值为M ,最小值为m 。
若m M =,则f c ≡,ξ可任取。
若m M <,则1[,]x a b ∃∈,有1()0M f x ->,故[()]0b a M f x dx ->⎰,即 ()().ba f x d x Mb a<-⎰同理有()().ba mb a f x dx -<⎰ 由连续函数的介质定理知:(,)a b ξ∃∈,使得 1()().b a f f x dx b aξ=-⎰。
积分中值定理(开区间)的几种证明方法定理:设f 在[,]a b 上连续,则(,)a b ξ∃∈,使得()()()ba f x dx fb a ξ=-⎰。
[证一]:由积分第一中值定理(P217),[,]a b ξ∃∈, 使得()()()b a f x dx f b a ξ=-⎰。
于是[()()]0.b af x f dx ξ-=⎰ 由于函数()()()F x f x f ξ=-在[,]a b 上连续,易证(可反证):(这还是书上例2的结论)(,)a b η∃∈,使得()()()0F f f ηηξ=-=,即()()f f ηξ=。
[证二]:令()()xa F x f t dt =⎰,则()F x 在[,]ab 上满足拉格朗日中值定理的条件,故(,)a b ξ∃∈,使得()()()()F b F a F b a ξ'-=-,即结论成立。
(注:书上在后面讲的微积分基本定理)[证三]:反证:假设不(,)a b ξ∃∈,使得 ()()()ba f x dx fb a ξ=-⎰,由积分第一中值定理,知ξ只能为a 或b ,不妨设为b ,即1(,),()()()b a x a b f x f b f x dx b a∀∈≠=-⎰。
由于f 连续,故(,),x a b ∀∈ ()()f x f b >(或()()f x f b <),(这一点是不是用介值定理来说明)这样(上限x 改为b )()()()().xba a f x dx fb dx f b b a >=-⎰⎰ (这个严格不等号不太显然要用书上例2结论来说明)矛盾。
[证四]:设f 在[,]a b 上的最大值为M ,最小值为m 。
若m M =,则f c ≡,ξ可任取。
若m M <,则1[,]x a b ∃∈,有1()0M f x ->,故[()]0b a M f x dx ->⎰,即 ()().ba f x d x Mb a<-⎰同理有()().ba mb a f x dx -<⎰ 由连续函数的介质定理知:(,)a b ξ∃∈,使得 1()().b a f f x dx b aξ=-⎰。
关于积分中值定理的证明(最全)word资料勾股定理证明评鉴勾股定理(又叫「勾股定理」)说:「在一个直角三角形中,斜边边长的平方等于两条直角边边长平方之和。
」据考证,人类对这条定理的认识,少说也超过 4000 年!又据记载,现时世上一共有超过 300 个对这定理的证明!我觉得,证明多,固然是表示这个定理十分重要,因而有很多人对它作出研究;但证明多,同时令人眼花缭乱,亦未能够一针见血地反映出定理本身和证明中的数学意义。
故此,我在这篇文章中,为大家选出了 7 个我认为重要的证明,和大家一起分析和欣赏这些证明的特色,与及认识它们的背境。
证明一图一在图一中,D ABC为一直角三角形,其中 Ð A为直角。
我们在边 AB、BC和AC之上分别画上三个正方形 ABFG、BCED和 ACKH。
过 A点画一直线 AL使其垂直于 DE并交 DE于 L,交 BC于 M。
不难证明,D FBC全等于 D ABD (S.A.S.)。
所以正方形 ABFG的面积 = 2 ´ D FBC的面积 = 2 ´ D ABD的面积 = 长方形 BMLD的面积。
类似地,正方形 ACKH的面积 = 长方形 MCEL的面积。
即正方形 BCED的面积 = 正方形 ABFG的面积 + 正方形 ACKH的面积,亦即是AB2 + AC2 = BC2。
由此证实了勾股定理。
这个证明巧妙地运用了全等三角形和三角形面积与长方形面积的关系来进行。
不单如此,它更具体地解释了,「两条直角边边长平方之和」的几何意义,这就是以 ML将正方形分成 BMLD和 MCEL的两个部分!这个证明的另一个重要意义,是在于它的出处。
这个证明是出自古希腊大数学欧几里得之手。
欧几里得(Euclid of Alexandria)约生于公元前 325 年,卒于约公元前 265 年。
他曾经在古希腊的文化中心亚历山大城工作,并完成了著作《几何原本》。
《几何原本》是一部划时代的著作,它收集了过去人类对数学的知识,并利用公理法建立起演绎体系,对后世数学发展产生深远的影响。
而书中的第一卷命题 47,就记载着以上的一个对勾股定理的证明。
证明二图二图二中,我们将4个大小相同的直角三角形放在一个大正方形之内,留意大正方形中间的浅黄色部分,亦都是一个正方形。
设直角三角形的斜边长度为 c,其余两边的长度为 a和 b,则由于大正方形的面积应该等于 4 个直角三角形和中间浅黄色正方形的面积之和,所以我们有(a + b)2= 4(1/2 ab) + c2展开得a2 + 2ab + b2= 2ab + c2化简得a2 + b2= c2由此得知勾股定理成立。
证明二可以算是一个非常直接了当的证明。
最有趣的是,如果我们将图中的直角三角形翻转,拼成以下的图三,我们依然可以利用相类似的手法去证明勾股定理,方法如下:图三由面积计算c2= 4(1/2 ab) + (b - a)2可得展开得= 2ab + b2 - 2ab + a2化简得c2= a2 + b2(定理得证)图三的另一个重要意义是,这证明最先是由一个中国人提出的!据记载,这是出自三国时代(即约公元 3 世纪的时候)吴国的赵爽。
赵爽为《周髀算经》作注释时,在书中加入了一幅他称为「勾股圆方图」(或「弦图」)的插图,亦即是上面图三的图形了。
证明三图四图四一共画出了两个绿色的全等的直角三角形和一个浅黄色的等腰直角三角形。
不难看出,整个图就变成一个梯形。
利用梯形面积公式,我们得到︰1/2(a + b)(b + a) = 2(1/2 ab) + 1/2 c2展开得1/2 a2 + ab + 1/2 b2= ab + 1/2 c2化简得a2 + b2= c2(定理得证)有一些书本对证明三十分推祟,这是由于这个证明是出自一位总统之手!在 1881 年,加菲(James A. Garfield; 1831 - 1881)当选成为第 20 任总统,可惜在当选后 5 个月,就遭行刺身亡。
至于勾股定理的有关证明,是他在 1876 年提出的。
我个人觉得证明三并没有甚么优胜之处,它其实和证明二一样,祇不过它将证明二中的图形切开一半罢了!更何况,我不觉得梯形面积公式比正方形面积公式简单!又,如果从一个老师的角度来看,证明二和证明三都有一个共同的缺点,它就是需要到恒等式 (a ±b)2 = a2 ± 2ab + b2了。
虽然这个恒等式一般都包括在中二的课程之中,但有很多学生都未能完全掌握,由于以上两个证明都使用了它,往往在教学上会出现学生不明白和跟不上等问题。
证明四(a) (b) (c)图五证明四是这样做的:如图五(a),我们先画一个直角三角形,然后在最短的直角边旁向三角形那一边加上一个正方形,为了清楚起见,以红色表示。
又在另一条直角边下面加上另一个正方形,以蓝色表示。
接着,以斜边的长度画一个正方形,如图五(b)。
我们打算证明红色和蓝色两个正方形面积之和,刚好等于以斜边画出来的正方形面积。
留意在图五(b)中,当加入斜边的正方形后,红色和蓝色有部分的地方超出了斜边正方形的范围。
现在我将超出范围的部分分别以黄色、紫色和绿色表示出来。
同时,在斜边正方形内,却有一些部分未曾填上颜色。
现在依照图五(c)的方法,将超出范围的三角形,移入未有填色的地方。
我们发现,超出范围的部分刚好填满未曾填色的地方!由此我们发现,图五(a)中,红色和蓝色两部分面积之和,必定等于图五(c)中斜边正方形的面积。
由此,我们就证实了勾股定理。
这个证明是由三国时代魏国的数学家刘徽所提出的。
在魏景元四年(即公元263 年),刘徽为古籍《九章算术》作注释。
在注释中,他画了一幅像图五(b)中的图形来证明勾股定理。
由于他在图中以「青出」、「朱出」表示黄、紫、绿三个部分,又以「青入」、「朱入」解释如何将斜边正方形的空白部分填满,所以后世数学家都称这图为「青朱入出图」。
亦有人用「出入相补」这一词来表示这个证明的原理。
在上,以「出入相补」的原理证明勾股定理的,不祇刘徽一人,例如在印度、在阿拉伯世界、甚至乎在欧洲,都有出现过类似的证明,祇不过他们所绘的图,在外表上,或许会和刘徽的图有些少分别。
下面的图六,就是将图五(b)和图五(c)两图结合出来的。
留意我经已将小正方形重新画在三角形的外面。
看一看图六,我们曾经见过类似的图形吗?图六其实图六不就是图一吗?它祇不过是将图一从另一个角度画出罢了。
当然,当中分割正方形的方法就有所不同。
顺带一提,证明四比之前的证明有一个很明显的分别,证明四没有计算的部分,整个证明就是单靠移动几块图形而得出。
我不知道大家是否接受这些没有任何计算步骤的「证明」,不过,我自己就非常喜欢这些「无字证明」了。
图七在多种「无字证明」中,我最喜欢的有两个。
图七是其中之一。
做法是将一条垂直线和一条水平线,将较大直角边的正方形分成 4 分。
之后依照图七中的颜色,将两个直角边的正方形填入斜边正方形之中,便可完成定理的证明。
事实上,以类似的「拼图」方式所做的证明非常之多,但在这里就未有打算将它们一一尽录了。
另一个「无字证明」,可以算是最巧妙和最简单的,方法如下:证明五(a) (b)图八图八(a)和图二一样,都是在一个大正方形中,放置了4个直角三角形。
留意图中浅黄色部分的面积等于 c2。
现在我们将图八(a)中的 4 个直角三角形移位,成为图八(b)。
明显,图八(b)中两个浅黄色正方形的面积之和应该是 a2 + b2。
但由于(a)、(b)两图中的大正方形不变,4 个直角三角形亦相等,所以余下两个浅黄色部的面积亦应该相等,因此我们就得到 a2 + b2 = c2,亦即是证明了勾股定理。
对于这个证明的出处,有很多说法:有人说是出自中国古代的数学书;有人相信当年毕达哥拉斯就是做出了这个证明,因而宰杀了一百头牛来庆祝。
总之,我觉得这是众多证明之中,最简单和最快的一个证明了。
不要看轻这个证明,它其实包含着另一个意义,并不是每一个人都容易察觉的。
我现在将上面两个图「压扁」,成为图九:(a) (b)图九图九(a)中间的浅黄色部分是一个平行四边形,它的面积可以用以下算式求得:mn sin(a + b),其中 m和 n分别是两个直角三角形斜边的长度。
而图九(b)中的浅黄色部分是两个长方形,其面积之和是:(m cos a)(n sin b) + (m sin a)(n cos b)。
正如上面一样,(a)、(b)两图浅黄色部分的面积是相等的,所以将两式结合并消去共有的倍数,我们得:sin(a + b) = sin a cos b + sin b cos a,这就是三角学中最重要的复角公式!原来勾股定理和这条复角公式是来自相同的证明的!在证明二中,当介绍完展开 (a + b)2的方法之后,我提出了赵爽的「弦图」,这是一个展开 (a - b)2的方法。
而证明五亦有一个相似的情况,在这里,我们除了一个类似 (a + b) 的「无字证明」外,我们亦有一个类似 (a - b) 的「无字证明」。
这方法是由印度数学家婆什迦罗(Bhaskara; 1114 - 1185)提出的,见图十。
(a) (b)图十证明六图十一图十一中,我们将中间的直角三角形 ABC以 CD分成两部分,其中 Ð C为直角,D位于 AB之上并且 CD ^ AB。
设 a = CB,b = AC,c = AB,x = BD,y = AD。
留意图中的三个三角形都是互相相似的,并且 D DBC ~ D CBA ~ D DCA,所以= 和=由此得a2= cx和b2= cy将两式结合,得a2 + b2 = cx + cy = c(x + y) = c2。
定理得证。
证明六可以说是很特别的,因为它是本文所有证明中,唯一一个证明没有使用到面积的概念。
我相信在一些旧版的教科书中,也曾使用过证明六作为勾股定理的证明。
不过由于这个证明需要相似三角形的概念,而且又要将两个三角形翻来覆去,相当复杂,到今天已很少教科书采用,似乎已被人们日渐淡忘了!可是,如果大家细心地想想,又会发现这个证明其实和证明一(即欧几里得的证明)没有分别!虽然这个证明没有提及面积,但a2 = cx 其实就是表示BC 上正方形的面积等于由AB 和BD 两边所组成的长方形的面积,这亦即是图一中黄色的部分。
类似地,b2 = cy 亦即是图一中深绿色的部分。
由此看来,两个证明都是依据相同的原理做出来的!证明七(a) (b) (c)图十二在图十二(a)中,我们暂时未知道三个正方形面积之间有甚么直接的关系,但由于两个相似图形面积之比等于它们对应边之比的平方,而任何正方形都相似,所以我们知道面积 I : 面积 II : 面积 III = a2 : b2 : c2。
不过,细心地想想就会发现,上面的推论中,「正方形」的要求是多余的,其实祇要是一个相似的图形,例如图十二(b)中的半圆,或者是图十二(c)中的古怪形状,祇要它们互相相似,那么面积 I : 面积 II : 面积 III 就必等于a2 : b2 : c2了!在芸芸众多的相似图形中,最有用的,莫过于与原本三角形相似的直角三角形了。