PRINCIPIA · THEOREM

等腰梯形对角线相等

依赖：SAS 全等判定、等腰梯形底角相等。

陈述

已知： $ABCD$ 是等腰梯形，其中 $AD \parallel BC$ 为两条底（约定 $AD$ 为上底、 $BC$ 为下底）， $AB$ 与 $DC$ 为两条相等的腰，即

AD \parallel BC,\qquad AB = DC.

求证：两条对角线 $AC$ 与 $BD$ 长度相等，即

AC = BD.

$等腰梯形 ABCD：AD \parallel BC（AD 上底、BC 下底），两腰 AB = DC，连出两条对角线 AC、BD。$

10 条基础定理免费 · 其余一次买断

与 GeoSnap 一致，10 条基础定理完整免费；一次性 $10 解锁其余全部定理的证明、动画与即时推论。

帮我把这条定理写得更好