毕达哥拉斯定理是一个基本的几何定理

温柔似野鬼°
752次浏览
2021年01月29日 14:23
最佳经验
本文由作者推荐

我的班主任老师-有关秋天的词语

2021年1月29日发(作者:热血情敌)
毕达哥拉斯定理是一个基本的
几何定理
,传统上认为是由
古希腊
的毕 达哥拉斯所证明。


毕达哥拉斯

在中国,

周 髀算经
》记载了勾股定理的公式与证明,相传是在商代由
商高
发现,故又有称
之为商高定理;
三国时代的
赵爽
对《周髀算经》内的勾股定理作出了详细注释,又给出 了另
外一个证明
[2]
。埃及称为埃及三角形。

实际上,早在毕达 哥拉斯之前,许多民族已经发现了这个事实,而且巴比伦、埃及、中
国、印度等的发现都有真凭实据,有 案可查。
相反,
毕达哥拉斯的著作却什么也没有留传下
来,关于他的种种传说都是后人 辗转传播的。
可以说真伪难辨。这个现象的确不太公平,其
所以这样,
是因为现代的数 学和科学来源于西方,
而西方的数学及科学又来源于古希腊,

希腊流传下来的最古老 的著作是欧几里得的《几何原本》
,而其中许多定理再往前追溯,自
然就落在毕达哥拉斯的头上 。
他常常被推崇为

数论的始祖


而在他之前的泰勒斯被 称为


何的始祖

,西方的科学史一般就上溯到此为止了。至于希 腊科学的起源只是近一二百年才
有更深入的研究。因此,毕达哥拉斯定理这个名称一时半会儿改不了。不 过,在中国,因为
我们的老祖宗也研究过这个问题,
因此称为商高定理,
而更普遍地则 称为勾股定理。
中国古
代把直角三角形中较短的直角边叫做勾,较长的直角边叫做股,斜边叫做 弦。
[3]

(1)
勾股定理是联系数学中最基本也是最原始的两个对象< br>——
数与形的第一定理。



(2)
勾股定理导致 不可通约量的发现,从而深刻揭示了数与量的区别,即所谓

无理数

与有理数 的差别,这就是所谓第一次数学危机。



(3)
勾股定理开始把数学由计算与测量的技术转变为证明与推理的科学。



(4)
勾股定理中的公式是第一个不定方程,也是最早得出完整解答的不定方程,它 一方
面引导到各式各样的不定方程,
包括著名的费尔马大定理,
另一方面也为不定方程 的解题程
序树立了一个范式。
[3]

有关勾股定理的书籍



这个定理有许多证明的方法,其证明的方法可能是数学众多定理中最多的。路明思

Elisha Scott Loomis



Pythagorean Proposition


毕达哥拉斯
命题


一书中总共提到
367
种证明方式。



有人会尝试以
三角恒等式
(例如:
正弦

余弦< br>函数的
泰勒级数

来证明勾股定理,
但是,
因为所有的基本三 角恒等式都是建基于勾股定理,
所以不能作为勾股定理的证明
(参见
循环
论证



证法
1



作四个全等的直角三角形,设它们的两条直角边长分别为
a

b
,斜边长为
c.
把它们
拼成如图那样的一个多边形,使
D

E

F
在一条
直线
上。过点
C

AC
的延长线交
DF


P
.





D

E

F
在一条直线上,


RtΔGEF


RtΔEBD







EGF =

BED








EGF +

GEF = 90°







BED +

GEF = 90°







BEG =180°―90°= 90°



又∵

AB = BE = EG = GA = c






ABEG
是一个边长为
c
的正方形。






ABC +

CBE = 90°





RtΔABC


RtΔEBD







ABC =

EBD.





EBD +

CBE = 90°






CBD= 90°



又∵


BDE = 90°
,∠
BCP = 90°




BC = BD = a.




BDPC
是一个边长为
a
的正方形。



同理,
HPFG
是一个边长为
b
的正方形
.


设多边形
GHCBE
的面积为
S
,则



A2+B2=C2
证法
2



作两 个全等的直角三角形,设它们的两条直角边长分别为
a

b

b>a


,斜边长为
c.
再做一个边长为
c
的正方形 。把它们拼成如图所示的多边形,使
E

A

C
三点在一条 直线

.



过点
Q

QP< br>∥
BC
,交
AC
于点
P
.

< br>过点
B

BM

PQ
,垂足为
M
; 再过点



F

FN

PQ
,垂足为
N.





BCA = 90°

QP

BC







MPC = 90°






BM

PQ







BMP = 90°






BCPM
是一个矩形,即∠
MBC = 90°







QBM +

MBA =

QBA = 90°





ABC +

MBA =

MBC = 90°







QBM =

ABC




又∵


BMP = 90°
,∠
BCA = 90°

BQ = BA = c






RtΔBMQ


RtΔBCA.



同理可证
RtΔQNF


RtΔAEF.

A2+B2=C2
证法
3



作两个全等的直角三角形,设它们的两条直角边长分别为
a

b< br>(
b>a


,斜边长为
c.
再作一个边长为
c
的正方形。把它们拼成如图所示的多边形
.



分别以
CF

AE
为边长做正方形
F CJI

AEIG





EF=DF-DE=b-a

EI=b





FI=a





G,I,J
在同一直线上,




CJ=CF=a

CB=CD=c





CJB =

CFD = 90°





RtΔCJB


RtΔCFD




同理,
RtΔABG


RtΔADE





RtΔCJB


RtΔCFD


RtΔABG


RtΔADE



∴∠
ABG =

BCJ,


∵∠
BCJ +

CBJ= 90°




∴∠
ABG +

CBJ= 90°




∵∠
ABC= 90°





G,B,I,J
在同一直线上,



A2+B2=C2


证法
4


作三个边长分别为
a

b

c
的三角形,把它们拼成如 图所示形状,使
H

C

B
三点在
一条直线上,连 结



BF

CD.

C

CL

DE





AB
于点
M
,交
DE
于点
L.




AF = AC

AB = AD





FAB =

GAD






ΔFAB


ΔGAD






ΔFAB
的面积等于,



ΔGAD
的面积等于矩形
ADLM


的面积的一半,





矩形
ADLM
的面积

=.


同理可证,矩形
MLEB
的面积

=.




正方形
ADEB
的面积



=
矩形
ADLM
的面积

+
矩形
MLEB
的面积






A2+B2=C2
证法
5
(欧几里得)



《几何原本》中的证明




欧几里得
的《
几何原本
》一书中提出勾股定理由以下证明后可成立。设△
ABC
为一
直角三角形,其中
A
为直角。从
A
点划一直线至对边,使其垂直于对 边上的正方形。此线
把对边上的正方形一分为二,其面
积分
别与其余两个正方形相等。



在正式的证明中,我们需要四个辅助定理如下:



如果两个三角形有两组对应边和这两组边所夹的角相等,
则两三角形全等。

SAS
定理)

三角形面积是任一同底同高之平行四边形面积的一半。任意一个正方形的面积等于其二边长
的乘积。任意一个四方形的面积等于其二边长的乘积(据辅助定 理
3

。证明的概念为:把
上方的两个正方形转换成两个同等面积的平行四边 形,

旋转
并转换成下方的两个同等面积
的长方形。



其证明如下:



设△
ABC
为一直 角三角形,其直角为
CAB
。其边为
BC

AB
、和
CA
,依序绘成四方

CBDE

BAGF

A CIH
。画出过点
A

BD

CE

平行 线
。此线将分别与
BC

DE

角相交于
K

L
。分别
连接
CF

AD
,形成两个三角形< br>BCF

BDA
。∠
CAB
和∠
BAG
都是
直角,因此
C

A


G
都是
线性
对应的,同理可证
B

A

H
。∠
CBD
和∠
FBA
皆为直
角,所以∠
ABD
等于∠
FBC
。因为

AB


BD
分别等于

FB


BC
,所以△
ABD
必须相
等于△
FBC
。因为

A


K


L
是线性对应的,所以四方形

BDLK
必须二倍面积于△
ABD
。因为
C

A

G
有共同线性,所以正方形
BAGF
必须二倍面积于△
FBC
。因此 四边


BDLK
必须有相同的面积

BAGF = AB^2

同理可证,
四边形

CKLE
必须有相同的面积

ACIH = AC^2

把这两个结果相加,

AB^2+ AC^2= BD×
BK + KL×
KC

由于
BD=KL

BD×
BK
+ KL×
KC = BD(BK + KC) = BD×
BC
由于
CBDE
是个正方形,因此
AB^2+ AC^2= BC^2

此证明是于欧几里得《几何原本》一书第
1.47
节所提出的

证法
6
(射影定理)



如图
1

Rt

ABC
中,∠
ABC=90°

BD< br>是斜边
AC
上的高



通过证明三角形相似则有射影定理如下:






1


⑴(
BD

^2=AD·
DC




⑵(
AB

^2=AD·
AC




⑶(
BC

^2=CD·
AC





由公式⑵
+
⑶得:

AB

^2+

BC

^2=AD·
AC+CD·
AC =

AD+CD

·
AC=

AC

^2





1



A B

^2+

BC

^2=

AC

^2
,这就是勾股定理的结论。

证法
7
(赵爽弦图)



在这幅
勾股圆方图

中,
以弦为边长得到正方形
ABDE
是由
4
个相等的直角三角形再加
上中间的那个小正方形组成的。每个直角三角形的面积为
a b/2
;中间懂得小正方形边长为
b-a
,则面积为(
b-a
^2
。于是便可得如下的式子:



ab/2)+

b-a

^2 =c^2



赵爽弦图



化简后便可得:
a^2 +b^2 =c^2;

青朱出入图

我的班主任老师-有关秋天的词语


我的班主任老师-有关秋天的词语


我的班主任老师-有关秋天的词语


我的班主任老师-有关秋天的词语


我的班主任老师-有关秋天的词语


我的班主任老师-有关秋天的词语


我的班主任老师-有关秋天的词语


我的班主任老师-有关秋天的词语