等腰三角形定理计算器

等腰三角形定理（也称为底角定理）是平面几何中最古老的定理之一——它出现在欧几里得《几何原本》第一卷的命题5中（约公元前300年）。该定理指出：如果三角形的两条边相等，那么这两条边所对的角也相等。符号表示如下：

若 AB = AC，则 ∠B = ∠C。

本教程涵盖该定理、其逆定理、著名的“驴桥”历史证明，以及在代数与证明中的应用。

定义“等腰”

等腰三角形是指至少有两条边相等的三角形。这两条相等的边称为腰，它们相交于顶角。第三条边（通常不相等）称为底边，其两端点的两个角称为底角。

有些教科书将“等腰”定义为恰好有两条边相等（排除等边三角形）。另一些则使用“至少两条”（将等边三角形视为特殊情况）。包含性的定义更为现代且方便——所有关于等腰三角形的定理同样适用于等边三角形。

两个定理合述

该定理及其逆定理共同构成了一个强大的“当且仅当”关系：

• 正向： 如果两条边相等，则对角相等。
• 逆向： 如果两个角相等，则对边相等。

因此，你可以通过任一条件来判断是否为等腰三角形：看到两条边相等，或看到两个角相等。

“驴桥”——欧几里得的著名证明

欧几里得《几何原本》中等腰三角形定理的证明在历史上被称为“驴桥”（Pons Asinorum）——能够跨越这座桥的学生被认为已准备好学习更高深的几何；而那些无法通过的学生则被视为“笨驴”。

证明过程：已知 △ABC 中 AB = AC，我们要证明 ∠B = ∠C。

1. 从 A 点作角平分线（记为射线 AD，D 在 BC 上）。
2. AD = AD（自反性）
3. ∠BAD = ∠CAD（角平分线的定义）
4. AB = AC（已知）
5. △ABD ≅ △ACD（根据 SAS 全等判定）
6. ∠B = ∠C（全等三角形的对应部分相等 —— CPCTC）

现代教科书通常使用这确切的六步证明。存在其他替代证明（如使用中点、垂足等），但角平分线法是最简洁的。

例题 1 —— 由顶角求底角

一个等腰三角形的顶角 ∠A = 40°。求底角。

根据定理，两个底角相等。设每个底角为 θ。

40° + θ + θ = 180°（三角形内角和）
2θ = 140° → θ = 70°。

因此 ∠B = ∠C = 70°。

例题 2 —— 由底角求顶角

一个等腰三角形的底角均为 50°。求顶角。

顶角 = 180° − 2(50°) = 80°。

例题 3 —— 使用逆定理

在 △ABC 中，∠B = ∠C = 35°。证明 AB = AC。

根据等腰三角形定理的逆定理：底角相等 ⇒ 对边相等。因此 AB = AC。证毕。

来自顶角的垂线

等腰三角形从顶角到底边的垂线具有三个特殊性质（均位于同一条直线上）：

• 它平分顶角（将其分为两个相等的半角）。
• 它平分底边（落在 BC 的中点上）。
• 它垂直于底边。

这就是为什么等腰三角形有一条穿过顶角的垂直“对称轴”。这条垂线同时也是中线（median）和角平分线——它们重合。这是等腰（及等边）三角形独有的性质；在不等边三角形中，这三条线是截然不同的。

等腰三角形的面积

如果腰长为 L，底边长为 b，则从顶点到底边的高为：

h = √(L² − (b/2)²)

（通过将勾股定理应用于垂线形成的两个全等直角三角形之一得出）。

面积 = ½ × b × h = (b/2) × √(L² − (b/2)²)。

示例：L = 5, b = 6。h = √(25 − 9) = 4。面积 = 3 × 4 = 12。

等边情况

等边三角形是三边均相等的特殊情况。通过对每一对相等边应用等腰定理，可知三个角均相等。根据 180° 内角和：每个角 = 60°。

因此，等边三角形具有 3 条相等的边 AND 3 个相等的角 AND 3 个均为 60° 的角。这三个性质互为充要条件。

在问题中识别等腰三角形

以下任一条件足以判定为等腰三角形：

• 明确给出两条边相等。
• 明确给出两个角相等。
• 三角形具有一条对称轴。
• 从顶点引出的垂线同时也平分对边。
• 从顶点引出的角平分线同时也垂直平分对边。

常见错误

• 混淆等腰与等边。 等腰 = 至少两条边相等（或恰好两条，取决于定义）。等边 = 三条边均相等。等边是包含性等腰三角形的特殊情况。
• 在错误的角上应用定理。 定理指出的是相等边所对的角相等。顶角（两相等边之间的夹角）不一定与其他任何角相等。
• 忘记逆定理也需要证明。 “两角相等 ⇒ 两边相等”需要其自身的证明（或引用逆定理）。它并不自动等同于正向定理。
• 将垂线公式误用于任意三角形。 “从顶角引出的垂线平分底边”这一性质是等腰三角形独有的。在不等边三角形中，垂足落点不同于中点。