角平分線定理

(内)角平分線定理是一個平面幾何定理三角形一角的内角平分線分割对边为两段,两段的长度之比等于两条邻边的长度之比。反过来,有(内)角平分线逆定理:把三角形一边分割为长度之比等于邻边长度之比的两段,则经过分割点与对角顶点的直线为对角的内角平分线。以上两条定理见于古希腊数学家欧几里得的《几何原本》,属于平面几何最基本的定理之列。

内角平分線定理及逆定理:
外角平分線定理及逆定理:

类似地,存在外角平分線定理外角平分线逆定理。前者指的是:三角形一角的外角平分線与对边所在的直线相交,交点到对边上两顶点的距离之比等于两条邻边的长度之比。后者指的是:三角形一边的延长线上有一点到该边上两顶点的距离之比等于另外两边的长度之比,则经过该点与对角顶点的直线为对角的外角平分线。内、外角平分线定理(及逆定理),合称角平分線定理(及角平分线逆定理),又称角平分線性质

历史

内角平分线定理及其逆定理出现在古希腊数学家欧几里得的《几何原本》的第六卷命题三。至于外角平分线定理及其逆定理,古希腊数学家帕普斯直接采纳了该命题的结论,但没有给出证明。近代苏格兰数学家罗伯特·西姆松英语Robert Simson将内、外角平分线定理视为两个命题,而英国数学家奥古斯塔斯·德摩根苏联数学家德米特里·别列标尔金俄语Перепёлкин, Дмитрий Иванович等则视二者为一统的角平分线定理。[1][2]

證明

内、外角平分线定理及逆定理均有多种证明方法。[3][4][5][6][7][8]以下列出欧几里得《几何原本》采用的思路,以及将该思路推广至外角平分线的证法。[1][2]

内角平分線

 
     

  中,在   边上任取一点   。过点   平行线,与   的延长线相交于点  

 
 
       

證内角平分线定理

     等腰三角形    

證内角平分线逆定理

    为等腰三角形    

外角平分線

 
     

  中,令   。在   的延长线上取一点   。过点    的平行线,与   边相交于点   。在   的延长线上任取一点  

 
 
   

證外角平分线定理

易证得,三角形外角平分线与对边直线的交点,必定落在较短的邻边的一侧。

     等腰三角形    

證外角平分线逆定理

易证得,三角形一边所在直线上符合要求的点,必定落在较短的邻边的一侧。

    为等腰三角形    

应用

角平分线性质有广泛的应用。其中一个关系相当紧密的应用是,证明平面上到两定点的距离之比为定值(不等于1)的点的轨迹是一个圆。该圆即阿波罗尼奥斯圆[1][2]

參見

参考文献

  1. ^ 1.0 1.1 1.2 Heath, Thomas L. The Thirteen Books of Euclid's Elements (PDF) II. Cambridge: Cambridge University Press. 1908: 197 [2023-06-24]. (原始内容存档 (PDF)于2022-02-02) (英语). 
  2. ^ 2.0 2.1 2.2 别列标尔金俄语Перепёлкин, Дмитрий Иванович. 初等几何学教程 上卷. 马忠林 (译). 北京: 高等教育出版社. 1955: 134-136. 
  3. ^ Angle Bisector Theorem. Cut the Knot. [2023-06-24]. (原始内容存档于2023-06-17) (英语). 
  4. ^ Property of Angle Bisectors. Cut the Knot. [2023-06-24]. (原始内容存档于2023-06-17) (英语). 
  5. ^ Property of Angle Bisectors II. Cut the Knot. [2023-06-24]. (原始内容存档于2023-06-17) (英语). 
  6. ^ A Property of Angle Bisectors III. Cut the Knot. [2023-06-24]. (原始内容存档于2023-06-17) (英语). 
  7. ^ Property of Internal Angle Bisector - Hubert Shutrick's PWW. Cut the Knot. [2023-06-24]. (原始内容存档于2023-06-17) (英语). 
  8. ^ Amarasinghe, G. W. I. S. On the standard lengths of angle bisectors and the angle bisector theorem (PDF). Global Journal of Advanced Research on Classical and Modern Geometries. 2012, 1 (1): 15-27 [2023-06-24]. (原始内容存档 (PDF)于2022-06-18) (英语).