角度加法公理计算器

角的加法公理是平面几何的基础公理之一。它指出：如果点 B 位于角 ∠AOC 的内部，那么两个较小的角 ∠AOB 和 ∠BOC 合起来恰好填满较大的角。用等式表示为：

∠AOC = ∠AOB + ∠BOC

这个看似简单的陈述是几何证明中最常用的工具之一——它允许你将一个大角分解为已知的较小部分，或将已知部分组合起来求总和。本教程将精确阐述该公理的内容、"之间"的条件，以及如何在证明中使用它。

设置

三条射线共享一个公共端点（顶点）O：射线 OA、射线 OB 和射线 OC。假设射线 OB 位于射线 OA 和 OC 的"之间"——这意味着 B 位于由 OA 和 OC 形成的角的内部。

那么 ∠AOC 是从 OA 到 OC 的"大"角，而 ∠AOB 和 ∠BOC 是被 OB 分割成的两个"小"角。

该公理指出：大角 = 小部分之和。

"之间"的条件至关重要

角的加法公理仅在射线 OB 位于射线 OA 和 OC 的**之间**时适用。如果 OB 在角的外部（在某条射线的另一侧），则该公理不直接适用——你可能仍然能得到和的关系，但符号或排列方式不同。

"之间"的含义：绘制 OB 始于 ∠AOC 的内部。当你从 OA 扫向 OC 时，你会经过 OB。

使用该公理的三种方式

一旦满足"之间"的条件，该公理为你提供了三个计算捷径：

1. 由部分求总和： 如果已知 ∠AOB 和 ∠BOC，则 ∠AOC = ∠AOB + ∠BOC。
2. 由总和与另一部分求一部分： ∠AOB = ∠AOC − ∠BOC。
3. 分解： 如果有更多射线分割该角，∠AOC = ∠AOB + ∠BOC 可以进一步拆分。

这是计算器的任务：输入三个值中的任意两个，得到第三个。

例题 1 —— 部分之和

射线 OB 位于射线 OA 和 OC 之间。∠AOB = 35°，∠BOC = 50°。求 ∠AOC。

∠AOC = ∠AOB + ∠BOC = 35° + 50° = 85°。

例题 2 —— 由总和求一部分

射线 OB 位于 OA 和 OC 之间。∠AOC = 120°，∠AOB = 45°。求 ∠BOC。

∠BOC = ∠AOC − ∠AOB = 120° − 45° = 75°。

例题 3 —— 使用公理进行证明设置

在几何证明中，你可能会遇到：

已知： ∠AOC = 90°。∠AOB = ∠BOC。求 ∠AOB。

步骤 1：应用角的加法：∠AOC = ∠AOB + ∠BOC。
步骤 2：代入给定的等式（∠AOB = ∠BOC）：90° = 2 × ∠AOB。
步骤 3：求解：∠AOB = 45°。

这个三步证明展示了该公理与代数代入性质的结合——这是入门几何中非常常见的模式。

角平分线与角的加法

角平分线是将一个角分成两个相等部分的射线。根据角的加法公理：

如果射线 OB 平分 ∠AOC，则 ∠AOC = ∠AOB + ∠BOC = 2 × ∠AOB。

因此，每个较小的角恰好是总和的一半。这是讨论角平分线的正式方法——通过将平分性质与角的加法公理相结合。

角的减法公理

一个推论，有时称为"角的减法公理"：如果从相等的角中减去相等的角，其差相等。符号表示如下：

如果 ∠AOC = ∠DEF 且 ∠AOB = ∠DEG（其中 B 在 OA 和 OC 之间，G 在 DE 和 DF 之间），则 ∠BOC = ∠GEF。

这仅仅是应用于角的加法公理的代数运算——但在两栏证明中单独命名它很有用。

多步分解

该公理可推广至更多射线。如果四条射线 OA、OB、OC、OD 共享一个顶点（OB 和 OC 位于 OA 和 OD 之间），则：

∠AOD = ∠AOB + ∠BOC + ∠COD

求和可扩展：只要射线按内部顺序排列，任何"大"角都可以分解为连续较小角之和。

该公理在证明中的应用

• 三角形内角。 当画出塞瓦线（从顶点到对边的线段）时，三角形在顶点处的内角可以分成两个子角。全角 = 部分之和。
• 平行线角度证明。 当截线在顶点处形成多个子角时，角的加法允许你将它们拼凑在一起。
• 多边形分解。 计算内角和通常涉及将多边形顶点角分解为若干部分。
• 角平分线证明。 证明被平分的角的两个半角相等，需要使用角的加法 + 平分线的定义。

常见错误

• 忽略"之间"的条件。 该公理要求射线 OB 必须位于 ∠AOC 的内部。如果 OB 与 OA 或 OC 在同一侧，或者完全在角外部，简单的求和形式就不适用。
• 与邻补角/互补关系混淆。 邻补角（形成直线的角）之和为 180°——这是一个独立的概念。角的加法在 ∠AOC 为平角时可以得出 180°，但这仅在配置如此时才成立。
• 相加不在同一顶点的角。 角的加法要求所有三个角共享顶点 O。不同顶点的角不能通过此公理组合。
• 将"加法"误解为度数相加 AND 射线端点相加。 该公理关注的是角度测量值（以度为单位），而不是构造射线。这里的"加法"是数值上的。