可惜我只对事情本身感兴趣,好奇心是我学习的动力。你是数学专业的,我抓住机会讨教。
对顶角应如何定义?
我注意到,在欧几里德《几何原本》和希尔伯特的《几何基础》都没有定义对顶角。在〈原本〉里没有“180度”或“平角”的概念,平角就叫两直角。直角的定义:在一平面内,一直线与另一直线相交,如果在其中任一直线同一侧形成的两个角全等,那么这个角叫直角。
我这样定义“对顶角”:平面中相交的两直线,形成的其中两个角,若对其中任一直线,都不在同侧,则这两个角称为对顶角。
那么,我们只剩下最少的不定义概念:直线的同一侧的概念。 那么,是否需要以下公理:“一平面上一直线有两侧”。
这个公理需要吗?回答是:需要。
《几何基础》第一章第4节定理8);平面上的任意一条直线 将该平面上其余的点分为两个区域,有了这个定理,我们才可以定义平面上直线 的同侧或异侧。