PRINCIPIA · THEOREM
内角平分线分对边 = 邻边比
依赖:平行线分线段成比例(基本比例定理)(BPT)、平行 ⇒ 同位角相等、平行 ⇒ 内错角相等、等腰三角形判定(等角⇒等腰)、过直线外一点存在唯一平行线(Playfair)。
陈述
设 , 是 的内角平分线, 在边 上(即 、)。则
也就是说:内角平分线把对边按两条邻边的长度比分割。

帮我把这条定理写得更好
依赖:平行线分线段成比例(基本比例定理)(BPT)、平行 ⇒ 同位角相等、平行 ⇒ 内错角相等、等腰三角形判定(等角⇒等腰)、过直线外一点存在唯一平行线(Playfair)。
设 , 是 的内角平分线, 在边 上(即 、)。则
也就是说:内角平分线把对边按两条邻边的长度比分割。
