[欧几里得几何攻略]欧几里德＜几何原本＞中勾股定理证明详细过程？

大家好，今天小编关注到一个比较有意思的话题，就是关于欧几里得几何攻略的问题，于是小编就整理了6个相关介绍欧几里得几何攻略的解答，让我们一起看看吧。

欧几里德＜几何原本＞中勾股定理证明详细过程？

证法5(欧几里得的证法)　　《几何原本》中的证明　　在欧几里得的《几何原本》一书中提出勾股定理由以下证明后可成立。设△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 = 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节所提出的

几何原本是怎么发现的？

《几何原本》最初是手抄本，以后译成了世界各种文字，它的发行量仅次于《圣经》而位居第二。19世纪初，法国数学家勒让德，把欧几里德的原作，用现代语言写成了几何课本，成为现今通用的几何学教本。

《几何原本》是一部集前人思想和欧几里得个人创造性于一体的不朽之作。并把人们公认的一些事实列成定义和公理，以形式逻辑的方法，用这些定义和公理来研究各种几何图形的性质，从而建立了一套从公理、定义出发，论证命题得到定理的几何学论证方法，形成了一个严密的逻辑体系——几何学。而这本书，也就成了欧式几何的奠基之作。