PRINCIPIA · THEOREM
等腰三线合一
依赖:SAS 全等判定、邻补角和等于 180°、以及 量角器公理(角平分线唯一)。
陈述
设 满足 (即等腰, 为顶角顶点, 为底边)。则从 出发,顶角的角平分线、底边上的中线、底边上的高——这三条线段是同一条线段;记其落在底边上的端点为 ,则 同时满足

帮我把这条定理写得更好
依赖:SAS 全等判定、邻补角和等于 180°、以及 量角器公理(角平分线唯一)。
设 满足 (即等腰, 为顶角顶点, 为底边)。则从 出发,顶角的角平分线、底边上的中线、底边上的高——这三条线段是同一条线段;记其落在底边上的端点为 ,则 同时满足
