深度学习基础 - 勾股定理
flyfish
2019-03-14 21:47:19
直角三角形的两条直角边长分别是a和b,斜边长是h,数学语言是
a
2
+
b
2
=
h
2
a ^ { 2 } + b ^ { 2 } = h ^ { 2 }
a2+b2=h2
勾股定理 用一句话说是直角三角形的两条直角边的平方和等于斜边的平方。
勾股定理也叫毕达哥拉斯定理(Pythagorean theorem)
《周髀算经》的开头里说关于周公与商高的对话,大意是
公元前11世纪,西周丞相周公姬旦将东征、分封、制礼三大工程同时推进,每天睡眠不足 4 小时;既要应对叛乱,又要处理流言,还要教育熊孩子周成王;西周初期没有纸张,所有文书靠竹简,写一个字相当于敲十行代码。
某个深夜他盯着地图上歪歪扭扭的黄河河道,突然灵魂发问:“商高啊,这天没电梯,地没卷尺,咋知道天多高、地多大?”
商高掏出一把青铜矩尺(古代工程师三件套:规、矩、准绳),在沙盘上画了个直角三角形:"领导您看,大禹治水时发现个秘密——当直角边是3和4的时候,斜边肯定是5。
周公:“所以这就能测天地?”
商高:"没错!当年大禹就是用这个方法,算出了龙门的高度和河道的曲直。
周公:这宇宙级难题你能解?
商高:就是我之前说的祖传黑科技!看这个3-4-5三角形,斜边平方永远等于两边平方和。当年大禹用这招搞定了整个黄河流域的测量。
周公:那要是边长不是3、4、5呢?
商高:…(沉默)目前只测过这些整数组合,…!
商高回答停留在具体数值(3、4、5),属于特殊案例,而非普适性定理。
那时候的人都已经认为形和数是一回事,有关联的。周公与商高的对话在公元前1100年左右的西周时期,大禹都距今4000多年了。
《周髀算经》中记述了(3,4,5)这一组勾股数,例如里面有周公问商高,荣方问陈子等就像子贡问曰一样。商高答周公里面就有3,4,5的事。里面还有赵爽的附录。《九章算术》有勾股定理怎么用的事,刘徽用勾股定理求圆周率。
西方的东西很多来自古希腊,古希腊多么的辉煌,古希腊古老的著作是欧几里得的《几何原本》,再往前就是毕达哥拉斯,在之前就是泰勒斯。西方人的参考来自古希腊所以叫毕达哥拉斯定理,毕达哥拉斯认为数学可以解释世界上的一切事物,同时认为一切真理都可以用比例、平方及直角三角形去反映和证实。但看历史毕达哥拉斯学派是宗教,他害死了发现根号2的学生希帕索斯,跟宗教裁判害死捍卫太阳中心说的布鲁诺是一模一样的,他们研究的很多都是巫术,经过取其精华去其糟粕之后才是数学.
三国时期的赵爽在对《周髀算经》注释中证明了勾股定理,这些是记录在《九章算术》中的.在《九章算术》中看赵爽写那么多字就为了描述勾股定理,还是文言文。
在纸还没流行的东汉时期,数学家赵爽在注解《周髀算经》时要在又窄又长的竹片上刻字,他解释勾股定理时,写下这样一段话:“勾广三,股修四,径隅五。勾自乘,股自乘,并之,开方除之,即弦。” 就是:“直角边 3 和 4,斜边肯定是 5。把两条直角边各自平方后相加,再开根号,就是斜边长度。”
这段话浓缩了赵爽对直角三角形的深刻理解,现代数学只需写成
c
=
a
2
+
b
2
c = \sqrt{a^2 + b^2}
c=a2+b2。
- 加减乘除用“并”“减”“乘”“除”表示;
- 平方叫“自乘”,开根号叫“开方除之”;
- 没有等号“=”,用“即”代替。
后人用字母、数字、符号等记录简单方便了许多。
法国的韦达在研究数学的时候,发现很多资料都是文字叙述的,跟我们看到赵爽用文言文描述勾股定理是一个感觉,太麻烦了,不管描述还是阅读效率很低的。因为伟达觉得麻烦,他就有意识的想解决这个问题,所以他用字母来表示已知数、未知数。他的后辈笛卡尔当然还是法国的笛卡尔用字母表的前几位表示已知数,后几位表示未知数。所以后来的式子abc表示的是已知数,xyz就是用来表示未知数的,如果只有一个未知数那就是x。
《九章算术》里的赵爽发明勾股定理,《几何原本》的毕达哥拉斯也发明了勾股定理, 距今4000多年前的大禹发现的是勾股数,不是证明了勾股定理, 从周公与商高的对话看,商高也没有直面回答周公的问题.猜想商高意思是天高地大没法直接测,需要借助一些人们发现规律去寻找答案,至于天多高,地多大,我现在也不知道.
在发现勾股数的情况下就能应用而不是勾股定理被发现之后才开始应用,古埃及人的金字塔中的墓室就是按照勾股数设计的尺寸。
怎么证明呢?方法有太多种,这里举一例
图片来自wiki
利用相似三角形证明
因为:
b
c
=
d
b
所以:
b
2
=
c
×
d
因为:
a
c
=
e
a
所以:
a
2
=
c
×
e
所以:
b
2
+
a
2
=
(
c
×
d
)
+
(
c
×
e
)
所以:
b
2
+
a
2
=
c
×
(
d
+
e
)
所以:
b
2
+
a
2
=
c
×
c
所以:
b
2
+
a
2
=
c
2
\begin{array}{l}因为: \frac{b}{c}=\frac{d}{b} \quad 所以: b^{2}=c \times d \\ { { 因为: } \frac{a}{c}=\frac{e}{a} \quad 所以: a^{2}=c \times e} \\ {所以: b^{2}+a^{2}=(c \times d)+(c \times e)} \\ {所以: b^{2}+a^{2}=c \times(d+e)} \\ {所以 : b^{2}+a^{2}=c \times c} \\ {所以: b^{2}+a^{2}=c^{2} }\end{array}
因为:cb=bd所以:b2=c×d因为:ca=ae所以:a2=c×e所以:b2+a2=(c×d)+(c×e)所以:b2+a2=c×(d+e)所以:b2+a2=c×c所以:b2+a2=c2
定理是怎样被发现的