《幾何原本》命題5.23【夸克歐氏幾何】
2023-07-22 21:10 作者:一??淇?/a> | 我要投稿
命題5.23:
有兩組量,每組三個(gè),各組中對(duì)應(yīng)的量比值相等,如果它們成調(diào)動(dòng)比例,那么它們也成首末比例
已知:A:B=E:F,B:C=D:E
求證:A:C=D:F
解:
作G,H,K,使A:G=B:H=D:K
作L,M,N,使C:L=E:M=F:N

證:
∵A:G=B:H
(已知)
∴A:B=G:H
(命題5.15)
同理可證,E:F=M:N
∵A:B=E:F
(已知)
∴G:H=M:N
(命題5.11)
∵B:C=D:E
(已知)
∴B:D=C:E
(命題5.16)
∵B:H=D:K
(已知)
∴B:D=H:K
(命題5.15)
∴H:K=C:E
(命題5.11)
∵C:L=E:M
(已知)
∴C:E=L:M
(命題5.15)
∴H:K=L:M
(命題5.11)
∴H:L=K:M
(命題5.16)
同理可證,G:H=M:N
∴如果G>L,那么K>N
如果G=L,那么K=N
如果G<L,那么K<N
(命題5.21)
∵A:G=D:K,C:L=F:N
(已知)
∴A:C=D:F
(定義5.5)
證畢

此命題在本卷中未被使用

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