構建線的操作流程大致是這樣的

參考文獻

http://aleph0.clarku.edu/~djoyce/java/elements/bookI/bookI.html#defs

Def 1: 定義點

Def 3: 線至少有兩點

Def 4: 整個線是由點組成的

...

Postulate 1: 兩點一線

Postulate 2: 直線可任意延伸

...

應該還有別的解釋方法吧，但線是點鋪成的應該不會錯。

注意這些都是給定的，即不用證明的。

感謝討論，把以前漏的補了一下。幸好還沒叫做幾何證明：）

所有跟帖： 

• "線是點鋪成的應該不會錯", 謝謝J老師肯定歐老師：） -stonebench- ♂ (167 bytes) () 12/21/2023 postreply 21:59:28

• 可以重新定義一套，隻要能有類似功能也行。象非歐幾何就改了P 5。 -JSL2023- ♂ (0 bytes) () 12/21/2023 postreply 22:43:57