证明四边形为平行四边形

证明一个给定的四边形是平行四边形有5种标准方法。每种方法检验不同的几何性质——只要满足其中任意一种即可。你不需要验证所有五种；一个有效的证明就足够了。本教程通过具体示例逐一讲解每种方法，解释为什么这五种方法是等价的，并展示如何为特定问题选择最简单的方法。

5种方法概览

上述任一条件均足以判定。它们彼此等价——证明其中一个，其他条件作为推论自然成立。

方法1——两组对边分别平行

这是平行四边形的定义。如果你能证明 AB ∥ CD 且 AD ∥ BC，则该图形按定义即为平行四边形。

如何证明两条边平行：

• 斜率相等（在解析几何中）。
• 内错角相等（当被截线所截时）。
• 同位角相等（当被截线所截时）。
• 同旁内角互补（当被截线所截时）。

方法2——两组对边分别相等

如果 AB = CD 且 BC = AD，则该四边形是平行四边形。

当你拥有边长测量数据但没有平行线信息时，此方法非常有用。该证明依赖于逆定理——证明相等的对边会强制产生平行性（通过SSS全等三角形，进而内错角必须相等）。

方法3——一组对边既平行又相等

如果仅证明一组对边平行且相等，则该四边形是平行四边形。另一组对边随之确定。

这通常是最有效的方法——你只需完全验证一对边，而非两对。

原理： 如果 AB ∥ CD 且 AB = CD，连接 A-D 和 B-C 形成的构型中，三角形 ABD 和 CDB 因 SAS（利用对顶角）而全等。第三边（AD 和 BC）最终也会平行且相等。

方法4——两组对角分别相等

如果 ∠A = ∠C 且 ∠B = ∠D，则该四边形是平行四边形。

当你拥有角度测量数据但没有边长数据时，此方法很有用。证明过程：对角相等强制了邻角互补的关系，从而强制了对边平行。

方法5——对角线互相平分

如果两条对角线 AC 和 BD 相交于点 E，且 E 是两条对角线的中点（即 AE = EC 且 BE = ED），则该四边形是平行四边形。

这是平面几何中最优美的“充要条件”陈述之一。对角线互相平分当且仅当该四边形是平行四边形。

证明： 由 AE = EC 和 BE = ED 加上点 E 处的对顶角可知，三角形 ABE 和 CDE 因 SAS 全等。根据全等三角形对应部分相等（CPCTC），得出 AB = CD 且 ∠ABE = ∠CDE。角度相等及线段关系表明 AB ∥ CD。通过对称论证，AD ∥ BC。因此两组对边分别平行——这是一个平行四边形。

例题1——使用方法2

四边形 ABCD 中，AB = 5，BC = 8，CD = 5，AD = 8。它是平行四边形吗？

AB = CD = 5（一对对边相等）。BC = AD = 8（另一对对边相等）。根据方法2，ABCD 是一个平行四边形。

例题2——使用方法5

四边形 PQRS 的对角线 PR 与 QS 相交于点 E。PE = ER = 4，且 QE = ES = 6。PQRS 是平行四边形吗？

对角线互相平分（每条对角线的中点均为 E）。根据方法5，PQRS 是一个平行四边形。

例题3——解析几何方法

四边形顶点为 A(0, 0)，B(4, 0)，C(6, 3)，D(2, 3)。它是平行四边形吗？

使用方法3（一组对边平行且相等）：

• AB 的斜率为 0（水平），长度为 4。
• DC 的斜率为 0（水平），长度为 4（从 x = 2 到 x = 6）。

AB ∥ DC（均为水平）且 AB = DC = 4。根据方法3，ABCD 是一个平行四边形。

不能证明是平行四边形的条件

有几个条件看起来似乎可行，但实际上不行：

• 仅有一组对边相等（无平行）。等腰梯形有一组对边平行且相等，另一组对边相等但不平行——它不是平行四边形。
• 仅对角线长度相等（不平分）。矩形同时满足这两点，但等腰梯形仅有对角线相等——不是平行四边形。
• 相邻角相等。相邻角相等可能出现在各种非平行四边形的四边形中。

选择最简单的方法

平行四边形的性质（而非判定其为平行四边形）

一旦你证明了某个四边形是平行四边形，你就可以免费获得所有平行四边形的性质：

• 两组对边分别平行。
• 两组对边分别相等。
• 两组对角分别相等。
• 邻角互补（和为 180°）。
• 对角线互相平分。
• 对角线将四边形分为4个小三角形，相对的两个三角形全等。

这五种判定方法本质上就是这些性质的逆命题——任何一个性质都足以证明其他性质。

常见错误

• 将“看起来像平行四边形”当作证明。 图形可以画得像平行四边形，但实际上并非如此。你必须明确验证五个条件中的一个。
• 仅使用一组对边相等（误用方法2）。 方法2要求两组对边均相等。仅一组对边相等是不够的。
• 混淆平行四边形和梯形。 平行四边形有两组对边平行。梯形只有一组对边平行（按美国惯例）。
• 使用“对角线相等”代替“对角线互相平分”。 对角线相等意味着矩形（一种特殊的平行四边形），而不是一般的平行四边形。正确的通用性质是互相平分。