幾何/中性幾何/歐幾里得前四個公設
外觀
對於每一點 P 和對於每一點 Q 不等於 P,存在一條唯一的直線透過 P 和 Q
非正式地說,這個公設說兩點決定一條唯一的直線。
對於每一段 AB 和對於每一段 CD,存在一條唯一的點 E 在直線 AB 上(需要 LaTeX 格式)使得 B 在 A 和 E 之間,並且線段 CD 與線段 BE 全等
[待續]
對於每一點 O 和對於每一點 A 不等於 O,存在一個以 O 為圓心,OA 為半徑的圓
[待續]
所有直角都彼此全等
[待續]
對於每一點 P 和對於每一點 Q 不等於 P,存在一條唯一的直線透過 P 和 Q
非正式地說,這個公設說兩點決定一條唯一的直線。
對於每一段 AB 和對於每一段 CD,存在一條唯一的點 E 在直線 AB 上(需要 LaTeX 格式)使得 B 在 A 和 E 之間,並且線段 CD 與線段 BE 全等
[待續]
對於每一點 O 和對於每一點 A 不等於 O,存在一個以 O 為圓心,OA 為半徑的圓
[待續]
所有直角都彼此全等
[待續]