PHp勾股定理,勾股定理

涨势旺盛的韭菜

于 2021-03-20 10:56:24 发布

阅读量280

点赞数

文章标签： PHp勾股定理

这篇博客详细介绍了勾股定理的起源、历史及其多种证明方法，包括中国的《周髀算经》中的商高定理、赵爽弦图的证明，以及国外如欧几里得的证明。文章还提到了美国前总统伽菲尔德对勾股定理的个人探索，展示了数学定理的普遍性和魅力。勾股定理不仅在几何学中占有重要地位，也是数形结合的重要纽带，至今已发现超过500种证明方式。

摘要由CSDN通过智能技术生成

勾股定理

转载自网络总结作者：佚名发布时间：2011-5-26

在我国，把直角三角形的两直角边的平方和等于斜边的平方这一特性叫做勾股定理或勾股弦定理。数学公式中常写作\[ a^2 + b^2 = c^2 \]

简介

勾股定理是余弦定理的一个特例。这个定理在中国又称为“商高定理”，我国古代著名数学家商高说：“若勾三，股四，则弦五。”把直角三角形中较短的直角边叫做勾，较长的直角边叫做股，斜边叫做弦。它被记录在了《九章算术》中。在外国称为“毕达哥拉斯定理”或者“百牛定理“(毕达哥拉斯发现了这个定理后，即斩了百头牛作庆祝，因此又称“百牛定理”)，法国、比利时人又称这个定理为“驴桥定理”，他们发现勾股定理的时间都比我国晚，我国是最早发现这一几何宝藏，也有人根据很多出土泥板记载，认为巴比伦人是世界上最早发现“勾股定理”的。目前初二学生教材的证明方法采用赵爽弦图。勾股定理现发现约有500种证明方法，是数学定理中证明方法最多的定理之一。勾股定理是一个基本的几何定理，它是用代数思想解决几何问题的最重要的工具之一，是数形结合的纽带之一。

勾股数组

满足勾股定理方程\[ a^2 + b^2 = c^2 \] 的正整数组(a,b,c)。例如(3,4,5)就是一组勾股数组。

由于方程中含有3个未知数，故勾股数组有无数多组。勾股数组的通式： \[ \begin{array}{l} a = m^2 - n^2 \\ b = 2mn \\ c = m^2 + n^2 \\ \end{array} \] 常用勾股数组(3,4 ,5)；(6,8,10)；(5,12,13)；(8,15,17)；(7,24,25) 。

《周髀算经》中勾股定理的公式与证明

《周髀算经》算经十书之一。约成书于公元前二世纪，原名《周髀》，它是我国最古老的天文学著作，主要阐明当时的盖天说和四分历法。唐初规定它为国子监明算科的教材之一，故改名《周髀算经》。

首先，《周髀算经》中明确记载了勾股定理的公式：“若求邪至日者，以日下为句，日高为股，句股各自乘，并而开方除之，得邪至日”(《周髀算经》上卷二)

而勾股定理的证明呢，就在《周髀算经》上卷一：

昔者周公问于商高曰：“窃闻乎大夫善数也，请问昔者包牺立周天历度——夫天可不阶而升，地不可得尺寸而度，请问数安从出？”

商高曰：“数之法出于圆方，圆出于方，方出于矩，矩出于九九八十一。故折矩，以为句广三，股修四，径隅五。既方之，外半其一矩，环而共盘，得成三四五。两矩共长二十有五，是谓积矩。故禹之所以治天下者，此数之所生也。”

周公对古代伏羲(包牺)构造周天历度的事迹感到不可思议(天不可阶而升，地不可得尺寸而度)，就请教商高数学知识从何而来。于是商高以勾股定理的证明为例，解释数学知识的由来。

“数之法出于圆方，圆出于方，方出于矩，矩出于九九八十一。”：解释发展脉络——数之法出于圆方，圆出于方(圆形面积=外接正方形*圆周率/4)，方出于矩(正方形源自两边相等的矩)，矩出于九九八十一(长乘宽面积计算依自九九乘法表)。

“故折矩①，以为句广三，股修四，径隅五。”：开始做图——选择一个勾三(圆周率三)、股四(四方) 的矩，矩的两条边终点的连线应为5(径隅五)。

“②既方之，外半其一矩，环而共盘，得成三四五。”：这就是关键的证明过程——以矩的两条边画正方形(勾方、股方)，根据矩的弦外面再画一个矩(曲尺，实际上用作直角三角)，将“外半其一矩”得到的三角形剪下环绕复制形成一个大正方形，可看到其中有边长三勾方、边长四股方、边长五弦方三个正方形。

“两矩共长③二十有五，是谓积矩。”：此为验算——勾方、股方的面积之和，与弦方的面积二十五相等——从图形上来看，大正方形减去四个三角形面积后为弦方，再是大正方形减去右上、左下两个长方形面积后为勾方股方之和。因三角形为长方形面积的一半，可推出四个三角形面积等于右上、左下两个长方形面积，所以勾方+股方=弦方。

注意：

① 矩，又称曲尺，L型的木匠工具，由长短两根木条组成的直角。古代“矩”指L型曲尺，“矩形”才是“矩”衍生的长方形。

② “既方之，外半其一矩”此句有争议。清代四库全书版定为“既方其外半之一矩”，而之前版本多为“既方之外半其一矩”。经陈良佐、李国伟、李继闵、曲安京等学者研究，“既方之，外半其一矩”更符合逻辑。

③ 长指的是面积。古代对不同维度的量纲比较，并没有发明新的术语，而统称“长”。赵爽注称:“两矩者，句股各自乘之实。共长者，并实之数。

由于年代久远，周公弦图失传，传世版本只印了赵爽弦图(造纸术在汉代才发明)。所以某些学者误以为商高没有证明(只是说了一段莫名其妙的话)，后来赵爽才给出证明。

其实不然，摘录赵爽注释《周髀算经》时所做的《句股圆方图》——“句股各自乘，并之为弦实，开方除之即弦。案：弦图又可以句股相乘为朱实二，倍之为朱实四，以句股之差自相乘为中黄实，加差实亦成弦实。”注意“案”中的“弦图又可以”、“亦成弦实”，“又”“亦”二字表示赵爽认为勾股定理还可以用另一种方法证明，于是他给出了新的证明。

下为赵爽证明——三角形为直角三角形，以勾a为边的正方形为朱方，以股b为边的正方形为青方。以盈补虚，将朱方、青方并成弦方。依其面积关系有\[a^2 + b^2 = c^2 \]。由于朱方、青方各有一部分在玄方内，那一部分就不动了。以勾为边的的正方形为朱方，以股为边的正方形为青方。以盈补虚，只要把图中朱方的I移至I′，青方的II移至II′，III移至III′，则刚好拼好一个以弦为边长的正方形．由此便可证得\[a^2 + b^2 = c^2 \]。

伽菲尔德证明勾股定理的故事

1876年一个周末的傍晚，在美国首都华盛顿的郊外，有一位中年人正在散步，欣赏黄昏的美景，他就是当时美国俄亥俄州共和党议员伽菲尔德。他走着走着，突然发现附近的一个小石凳上，有两个小孩正在聚精会神地谈论着什么，时而大声争论，时而小声探讨。由于好奇心驱使，伽菲尔德循声向两个小孩走去，想搞清楚两个小孩到底在干什么。只见一个小男孩正俯着身子用树枝在地上画着一个直角三角形。于是伽菲尔德便问他们在干什么？那个小男孩头也不抬地说：“请问先生，如果直角三角形的两条直角边分别为3和4，那么斜边长为多少呢？”伽菲尔德答道：“是5呀。”小男孩又问道：“如果两条直角边分别为5和7，那么这个直角三角形的斜边长又是多少？”伽菲尔德不加思索地回答到：“那斜边的平方一定等于5的平方加上7的平方．”小男孩说：“先生，你能说出其中的道理吗？”伽菲尔德一时语塞，无法解释了，心里很不是滋味。，伽菲尔德不再散步，立即回家，潜心探讨小男孩给他出的难题。他经过反复思考与演算，终于弄清了其中的道理，并给出了简洁的证明方法。

欧几里得的证法

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

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

如果两个三角形有两组对应边和这两组边所夹的角相等，则两三角形全等。(SAS定理)三角形面积是任一同底同高之平行四边形面积的一半。任意一个正方形的面积等于其二边长的乘积。任意一个四方形的面积等于其二边长的乘积(据辅助定理3)。证明的概念为：把上方的两个正方形转换成两个同等面积的平行四边形，再旋转并转换成下方的两个同等面积的长方形。

其证明如下：

设△ABC为一直角三角形，其直角为CAB。其边为BC、AB、和CA，依序绘成四方形CBDE、BAGF和ACIH。画出过点A之BD、CE的平行线。此线将分别与BC和DE直角相交于K、L。分别连接CF、AD，形成两个三角形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 =AB2。同理可证，四边形CKLE必须有相同的面积ACIH= AC2。把这两个结果相加，AB2+ AC2= BD×BK+KL×KC。由于BD=KL，BD×BK+KL×KC = BD(BK+KC) =BD×BC，由于CBDE是个正方形，因此AB2+AC2=BC2。此证明是于欧几里得《几何原本》一书第1.47节所提出的。