文化伟人代表作图释书系:几何原本
上QQ阅读APP看书,第一时间看更新

命题II.8

任意两分一个线段,用原线段和一个小线段构成的矩形的四倍与另一小线段上的正方形面积的和,等于原线段与前一个小线段之和上的正方形的面积。

设:线段AB被任意一点C所切分。

求证:以ABBC构成的矩形的四倍与AC线为边的正方形的和等于ABBC之和上的正方形。

令:延长AB线至D,使BD等于CB;作AD为边的正方形AΕFD,连接该图形的各点。

那么,因为CB等于BD,同时CB等于GK,BD等于KN,所以:GK也等于KN

同理可证:QR也等于RP

又,因为BC等于BD,GK等于KN,所以:CK也等于KD,GR也等于RN(命题I.36)

又,CKRN皆为平行四边形CP的补形,故:CK等于RN(命题I.43)。所以:KD也等于GR

所以:4个区DK、CK、GR、RN相互相等,所以其和是CK的四倍。

又,因为CB等于BD,同时BD等于BK(以及CGCB等于GK(以及GQ,所以CG也等于GQ

又,因为CG等于GQ,QR等于RP,故:AG也等于MQ,QL也等于RF(命题I.36)

又,因为MQQL是平行四边形ML的补形,所以:MQ等于QL(命题I.43)。所以AG也等于RF。所以:四个区AG、MQ、QL、RF相互相等。所以:其和是AG的四倍。

又,四个区CK、KD、GR、RN也可以被证明是CK的四倍,所以:包含折尺形STU的八个区是AK的四倍。

又,因为BK等于BD,所以AKAB、BD为边的矩形。所以:以AB、BD为边的矩形的四倍是AK的四倍。

又,折尺形STU也能被证明为AK的四倍,所以:以AB、BD为边的矩形的四倍等于折尺形STU

令:OH(等于AC为边的正方形)与各个相加。于是:AK的四倍与以AC为边的正方形之和等于折尺形STUOH之和。

又,折尺形STUOH之和等于正方形AΕFDAD为边的正方形),所以:以AB、BD为边的矩形的四倍与以AC为边的正方形之和等于以AD为边的正方形。

又,BD等于BC,所以:AB、BC围成的矩形的四倍与AC上的正方形之和等于AD上的正方形——也是AB、BC之和上的正方形。

所以:任意两分一个线段,用原线段和一个小线段构成的矩形的四倍与另一小线段上的正方形面积的和,等于原线段与前一个小线段之和上的正方形的面积。

证完