在几何学中，角平分线是一个非常重要的概念，它不仅能够帮助我们理解和解决各种几何问题，而且在证明几何定理时也扮演着关键角色。本文将深入解析角平分线的四大经典模型，帮助读者更好地理解和应用这一概念。
模型一：角平分线垂两边
模型概述
角平分线垂两边模型是指，在角的平分线上任意取一点，从这个点向角的两边分别作垂线，这两条垂线段长度相等。
模型分析
这个模型基于角平分线的性质：角平分线上的点到角的两边距离相等。通过构造垂线，我们可以利用全等三角形的性质来证明一些结论。
模型应用
例如，在三角形ABC中，若AD是∠BAC的平分线，且点E在AD上，过E分别作EF⊥AB于F，EG⊥AC于G，则EF=EG。
证明
由于AD是∠BAC的平分线，根据角平分线性质，我们有AE=AE。又因为EF⊥AB，EG⊥AC，所以∠FEA=∠GEA=90°。在ΔAEF和ΔAEG中，有：
- ∠EAF=∠EAG（角平分线的定义）
- AE=AE（公共边）
- ∠FEA=∠GEA（垂直线的性质）
根据SAS全等条件，ΔAEF≌ΔAEG，从而EF=EG。
模型二：角平分线垂中间
模型概述
角平分线垂中间模型是指，在角的平分线上任意取一点，从这个点向角的两边分别作垂线，这两条垂线段的交点即为角平分线的垂足。
模型分析
这个模型同样基于角平分线的性质，通过构造垂线，我们可以得到一些有趣的几何关系。
模型应用
例如，在三角形ABC中，若AD是∠BAC的平分线，且点E在AD上，过E分别作EF⊥AB于F，EG⊥AC于G，则点H（EF和EG的交点）在BC上。
证明
由于AD是∠BAC的平分线，根据角平分线性质，我们有∠BAD=∠CAD。又因为EF⊥AB，EG⊥AC，所以∠FEA=∠GEA=90°。在ΔAEF和ΔAEG中，有：
- ∠EAF=∠EAG（角平分线的定义）
- AE=AE（公共边）
- ∠FEA=∠GEA（垂直线的性质）
根据SAS全等条件，ΔAEF≌ΔAEG，从而EF=EG。由于EF⊥AB，EG⊥AC，所以H是EF和EG的交点，也是角平分线的垂足，因此H在BC上。
模型三：角平分线构造轴对称
模型概述
角平分线构造轴对称模型是指，在角的平分线上任意取一点，从这个点向角的两边分别作垂线，这两条垂线段的交点即为轴对称的对称中心。
模型分析
这个模型利用了角平分线的对称性，通过构造垂线，我们可以得到一些有趣的几何关系。
模型应用
例如，在三角形ABC中，若AD是∠BAC的平分线，且点E在AD上，过E分别作EF⊥AB于F，EG⊥AC于G，则EF和EG关于AD对称。
证明
由于AD是∠BAC的平分线，根据角平分线性质，我们有∠BAD=∠CAD。又因为EF⊥AB，EG⊥AC，所以∠FEA=∠GEA=90°。在ΔAEF和ΔAEG中，有：
- ∠EAF=∠EAG（角平分线的定义）
- AE=AE（公共边）
- ∠FEA=∠GEA（垂直线的性质）
根据SAS全等条件，ΔAEF≌ΔAEG，从而EF=EG。由于EF⊥AB，EG⊥AC，所以EF和EG关于AD对称。
模型四：角平分线平行线
模型概述
角平分线平行线模型是指，在角的平分线上任意取一点，从这个点向角的一边作平行线，这条平行线与角平分线相交于另一边。
模型分析
这个模型利用了角平分线的平行性，通过构造平行线，我们可以得到一些有趣的几何关系。
模型应用
例如，在三角形ABC中，若AD是∠BAC的平分线，且点E在AD上，过E作EF∥BC，则F在AB上。
证明
由于AD是∠BAC的平分线，根据角平分线性质，我们有∠BAD=∠CAD。又因为EF∥BC，所以∠AEF=∠BAC。在ΔAEF和ΔABC中，有：
- ∠AEF=∠BAC（平行线的性质）
- ∠EAF=∠CAD（角平分线的定义）
- AE=AE（公共边）
根据SAS全等条件，ΔAEF≌ΔABC，从而F在AB上。