菱形判定（3 路）

依赖：SAS 全等判定、平行四边形性质（对边相等 / 对角线互相平分）、菱形对角线 ⊥ 平分对角。

陈述

设 $ABCD$ 为四边形（顶点按顺序排列）。下列三条互相等价：

(a) 四边相等：$|AB| = |BC| = |CD| = |DA|$（这是菱形的定义）； (b) 对角线 ⊥ 互相平分：对角线 $AC$、$BD$ 交于 $O$，且 $AC \perp BD$，$|AO| = |OC|$，$|BO| = |OD|$； (c) 一组邻边相等的平行四边形：$ABCD$ 是平行四边形，且 $|AB| = |BC|$。

三条中任一条都可作为 "$ABCD$ 是菱形" 的判定标准。