《幾何原本》命題5.20【夸克歐氏幾何】
命題5.20:
有兩組量,每組三個(gè),各組中對應(yīng)的量比值相等,如果第一個(gè)量大于第三個(gè)量,那么第四個(gè)量也大于第六個(gè)量,如果第一個(gè)量等于第三個(gè)量,那么第四個(gè)量也等于第六個(gè)量,如果第一個(gè)量小于第三個(gè)量,那么第四個(gè)量也小于第六個(gè)量
已知:A:B=D:E,C:B=F:E
當(dāng)A>C時(shí)
求證: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)
同理可證,當(dāng)A=C時(shí),D=F,
當(dāng)A<C時(shí),D<F
證畢

此命題將在命題5.22中被使用

來都來了,點(diǎn)個(gè)關(guān)注唄!