PRINCIPIA · THEOREM
等腰三线合一
依赖:SAS 全等判定、邻补角和等于 180°、以及 量角器公理(角平分线唯一)。
陈述
已知: 中 (等腰, 为顶角顶点, 为底边)。 是顶角 的角平分线(即 ),交底边 于点 。
求证: 同时是底边 上的中线与高,即

帮我把这条定理写得更好
依赖:SAS 全等判定、邻补角和等于 180°、以及 量角器公理(角平分线唯一)。
已知: 中 (等腰, 为顶角顶点, 为底边)。 是顶角 的角平分线(即 ),交底边 于点 。
求证: 同时是底边 上的中线与高,即
