PRINCIPIA · THEOREM

等腰梯形对角线相等

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

陈述

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

AD \parallel BC,\qquad AB = DC.

则两条对角线长度相等：

AC = BD.

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

前 20 条免费 · 第 21 条起需要登录

前 20 条定理可匿名阅读；这条以及其后的所有定理需要登录后查看完整证明、动画与即时推论。注册免费，邮箱验证码登录即可。

帮我把这条定理写得更好