平面分离公理的几个相关命题.pdf

第1I卷第2期 重废师范学院学报(自然科学版) 1094#-6~ vo1．Il No．2 J0urnaIo￡Chongqin~TeachersCollege(NmturM ScienceEdition) June．1994 平面分离公理的几个相关命题 何 多 敏 0f／ (重庆师范学院数学系，重庆，630047) 摘 要 本文用平面分 离公理推导几个与顺序有关的几何命题 。 关键词 亘坌塑竺垄：_l的定义， 中图法分类号 O181 1 概念及公理 结合公理 Il～}Eli 直线顺序公理 I。～3Ⅱ 内点，两点在直线 的同侧 ，异侧 记号；若 A、B、 为同一直线上三个相异点 ，日在 、 之间，记为 ． 平面分离公理 I：平面上每一直线4将平面分为两侧，若点A、口在 a同侧(或异侧)，B、 在 同侧 ，则 A、在 a的同侧 (异侧)。 半平面：在平面a上直线 的同侧所有点的集合，称为 以 为边缘的半平面，记为 l ( 是此半平面上一点) 2 几个顺序命题及证 明 定理l 对于任意两点 、，直线AC上至少有一点 日在A,C之间，即存在点 日，使 再c 成立 证明 由 【 知 ，对于直线AC，平面上存在点D不在 上，由 l：可知在直线AD上存在点 ，使 成立．在直线肼 上取点州吏肪 成立 ．且 与 D是相异点 (否则因 ，月川司 时成立．必有A、均在直线 上 ，即D在直线A 上与D的取 法矛盾)。 由，和 ，知，恰有一直线过D、两点，且可知 不在直线 A ,91e上(否则由，知．直线A9与Db只有唯一公共点D，则D与F必重 台，与 矛盾)由此可 知 ．A、C也不在 D 上 。 困 ^而 ．FP 成立 ．即 、日在直线 D 的异侧 ．F、在直线DI的同侧 。运 用公理 1知，A、 (在T)le的异侧 故 D 与线段 AC交于 内点 ．即存在 使 敏 成立 · I993一II—10 收犒 8d 重庆师范学院学报 (自然科学版) 第 11卷 定理 2 在一条直线上的三个相异点中，必有且只有一点在另两点之间。 证明 设A，B、C为共线三点，由 I知，至多有一点 在 另两点之间，不妨设A、C都不在另两点之间，记为 ～ C，～ B现其需证 c成立 。 如 图，由 ， 知，存在 点D不在直线AC上 ，由 I：知， 存在G使B 成立 ，即 、两点在 ^D异侧，也在CD异侧 。 现证 C、0在直线 ^D异侧。若不然 ，设 C、 在 dD同 侧，由公理 I 及 瓦G知，B、C在AD异侧 ，则AD必与线段 A B C 肌 交于内点。但直线AD与BC还有交点 ，则必有 确C成 图 2 立 ．与题设 ～ 腑C矛盾 。 由于C、在 AD异侧，则直线AD与线段 ∞ 必交于内点 ，即存在 曰，使 c成立 。 同理可得，0A在 CD的异侧 ，故直线 cD与线段G 交于内点 ，又 由c 知 ．直线CD与 c0的交点C不是线段 0 的内点。由侧的定义，0、曰在直线 cD同侧，又困0、A在 ∞ 异侧，故 E、A在直线 Ⅸ}异侧 由G 知，直线肼 与c 交点 不是线段 的内点，故C、E在肼 的同侧 ，再 由公理 I 和 A、日在 BG异侧知 A、C在 船 异侧 ，即直线 日与线段 AC交于内点 B，故 成立 。 定理 3 若 再 ，^ I同时成立，则有 勘 、BCD同时成立 。 证 明 因 霄c、ACD同时成立 ，由 It知 ．、B、C是 三个相异点，、C、D也是三个相异点，且B、D也是相异 —