矩形对角线相等

依赖：SAS 全等判定、平行四边形性质（对边相等 / 对角线互相平分）（对边相等）。矩形定义（四角直角）按"矩形"原始定义直接引用。

陈述

设 $ABCD$ 是矩形，按一周顺序排列（顶点依次为 $A$、$B$、$C$、$D$，相邻两点是矩形的相邻顶点）。它的两条对角线为 $AC$ 与 $BD$。则两条对角线的长度相等：

按矩形定义，$ABCD$ 同时是平行四边形（两组对边平行），并且四个内角都是 $90^\circ$。这两件事就是下面证明里用到的全部"额外信息"。