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

參考文獻

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

Def 1: 定義點

Def 3: 線至少有兩點

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

...

Postulate 1: 兩點一線

Postulate 2: 直線可任意延伸

...

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

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

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