角平分线的逆定理是什么
在几何世界里，角平分线的逆定理常常被误解为简单的“两边相等”，实际上它是一道精密的逻辑开关。当角平分线长度恰好等于角的两条邻边时，两边必然相等——这个命题构成了大量竞赛题的底层密码。
? 正定理回顾
等腰三角形中，角平分线分对边成比例，且若两腰相等，则角平分线也是中线和高。
? 逆定理核心
若角平分线的长度等于角的两条邻边，则这两条邻边必定相等。即 AD = AB = AC ⇒ AB = AC。
? 网民关注点
角平分线逆定理怎么用？和性质定理区别？能否直接用于证明等腰？下文逐一拆解。
角平分线逆定理的严格定义
许多学习者第一次听到角平分线的逆定理时，会脱口而出“就是两边相等”。但严谨表述是：在一个三角形中，如果某个角的平分线长度恰好等于该角的两条邻边，那么这两条邻边长度相等。换句话说，若 AD 平分 ∠BAC，且 AD = AB = AC，则 AB = AC。这并非循环论证，而是基于全等三角形的必然结果。
逆定理证明与深度拆解
? 基于全等三角形的证明
已知：△ABC 中，AD 平分 ∠BAC，且 AD = AB = AC。
在 △ABD 与 △ACD 中：
① AD = AD（公共边）
② AB = AC（已知条件）
③ ∠BAD = ∠CAD（角平分线定义）
∴ △ABD ≅ △ACD (SAS)。
因此 BD = CD，且 ∠B = ∠C，进一步推出 AB = AC。这证明了若角平分线长度与两边相等，则两边必然相等。
? 数值反证：当两边不等时角平分线长度如何？
设 ∠A = 90°，AB = 5，AC = 3。根据角平分线长公式：
AD = (2·AB·AC·cos(∠A/2)) / (AB+AC) = (2·5·3·cos45°)/(8) ≈ (30×0.7071)/8 ≈ 2.65。
此时 AD=2.65，远小于 AB 和 AC。若强行令 AD=5，则反推 AC≈12.07，两边仍不相等。只有当 AB=AC=6 时，AD≈5.17，接近边长。这组数据强力支撑角平分线的逆定理。
? 分蛋糕比喻
想象你切一块三角形蛋糕，刀口沿着角平分线切下。如果刀口长度恰好等于蛋糕的两条侧边长度，那么这两条侧边必定一样长。否则刀口要么太短够不着边，要么比例失调。几何中的角平分线逆定理正是这个“恰好相等”的守门员。
典型示例与数据对比
? 示例一：等腰直角三角形
∠C=90°, AC=BC=4。角A平分线AD长度？
AD = (2·4·4·cos45°)/(8) ≈ 2.83。
此时AD≠AB，但若题目给出AD=4，则必然AB=AC=4。
? 示例二：一般三角形
AB=7, AC=7, ∠A=60°。AD= (2·7·7·0.866)/14 ≈6.06。
若AD=7，则违反公式，故两边必须相等才能满足角平分线逆定理。
- 角平分线的逆定理常用于判定等腰三角形：若角平分线长度等于腰长，直接得等腰。
- 与角平分线性质定理区别：性质定理是“等腰⇒平分线特殊”，逆定理是“平分线长度条件⇒等腰”。
- 实际解题中，结合角平分线公式与余弦定理可快速验证。
角平分线逆定理推导时间轴
观察条件
已知AD平分∠BAC，且AD = AB = AC。目标证明AB=AC。
构建全等三角形
利用公共边AD与已知相等边，结合角平分线定义，得到△ABD≅△ACD。
推出对应边相等
由全等得BD=CD，∠B=∠C，故AB=AC成立。
逆定理应用
在复杂图形中，只要捕捉到角平分线长度等于邻边，立即锁定等腰三角形。
角平分线逆定理的常见误区
不少人误以为“只要角平分线分对边相等，则两边相等”。这其实是角平分线性质的逆否命题，而非逆定理。真正的角平分线逆定理聚焦于长度条件。例如在△ABC中，若AD平分∠A且AD=AB，并不能直接推出AB=AC，必须同时满足AD=AC。因此审题时务必看清“角平分线长度等于两边”这一完整条件。
另外，角平分线的逆定理在非欧几何中形式不同，但在初中平面几何范围内，它是等腰三角形判定的有力补充。配合角平分线长公式与三角函数，可设计出极具区分度的考题。
实战应用：一道综合题拆解
题目：在△ABC中，AD平分∠BAC，且AD=AB=AC=5，求BC长度。
解析：由角平分线逆定理立即得AB=AC，故△ABC等腰。设AB=AC=5，AD=5。利用角平分线长公式反推角度：5=(2·5·5·cos(A/2))/(10) → 5=5·cos(A/2) → cos(A/2)=1 → A/2=0° 不合理？这说明需调整角度。实际上当AD=AB=AC时，三角形必为等边三角形？通过计算发现若AB=AC=AD，则∠A=60°左右。详细过程可参考相关角平分线逆定理专题。
此类问题在竞赛中常出现，核心就是识别角平分线的逆定理条件。