《几何原本》命题5.20【夸克欧氏几何】

命题5.20：

有两组量，每组三个，各组中对应的量比值相等，如果第一个量大于第三个量，那么第四个量也大于第六个量，如果第一个量等于第三个量，那么第四个量也等于第六个量，如果第一个量小于第三个量，那么第四个量也小于第六个量

已知：A：B=D：E，C：B=F：E

当A＞C时

求证：D＞F

证：

∵A＞C

（已知）

∴A：B＞C：B

（命题5.8）

∵A：B=D：E，C：B=F：E

（已知）

∴D：E＞F：E

（命题5.13）

∴D＞F

（命题5.10）

同理可证，当A=C时，D=F，

当A＜C时，D＜F

证毕

此命题将在命题5.22中被使用

来都来了，点个关注呗！