邻补角

几何

lín bǔ jiǎo

邻补角是两条直线相交时形成的一对邻角,它们的外侧边构成一条直线,度数之和为 180 度。

Formula

\text{angle } A + \text{angle } B = 180^\circ
Visualization

Definition

邻补角是两个相邻的角,它们合起来构成一条直线,其非公共边是互为反向的射线;邻补角总是互补,和为 $180^\circ$(邻补角公设)。等价地说,它是两个相邻的角,其并集是一个半平面连同其边界射线,在某些公理系统中,这种互补关系是一个公设,而在另一些系统(希尔伯特、伯克霍夫)中,它则是由顺序公理、全等公理或量角器公设推导出的一个定理。

Example

当一条射线落在一条直线上时,会在两侧各产生一个角,构成一对邻补角;如果一个是 $60^\circ$,另一个必是 $120^\circ$。射线 $OC$ 与直线 $AB$ 在 $O$ 相交,形成邻补角 $AOC$ 和 $COB$:若角 $AOC = 130^\circ$,则角 $COB = 50^\circ$。

Key Insight

邻补角依定义互补,它们的和总是 $180^\circ$,因为合起来它们构成一个平(线性)角,这正是"邻补角"(linear pair)一词中包含"线性"(linear)的原因。邻补角公设被用来推导对顶角定理以及平行线的角关系,使其成为一个"入口"公设,尽管不同的公理系统对它的处理方式不同,这说明了公理的选择如何塑造几何学的逻辑结构。