平行四边形性质（对边相等 / 对角线互相平分）

依赖：ASA 全等判定、平行 ⇒ 内错角相等（逆）。

陈述

设 $ABCD$ 是平行四边形，按顺时针或逆时针顺序排列；按定义，它满足两组对边分别平行：

那么这两组对边的长度也分别相等：

进一步地，把对角线 $AC$、$BD$ 交于点 $M$，则两条对角线互相平分——这是同一证明思路下立刻得到的推论（见下方"即时推论"）。