矩形的判定原理深度解析：从定义到几何证明的完整指南

1.1 什么是矩形？

有一个角是直角的平行四边形叫做矩形。这是矩形最基础的定义，也是所有判定定理的出发点。在逻辑上，矩形满足以下两个核心属性：

• 边：对边平行且相等（继承自平行四边形）。
• 角：四个角都是直角（90°）。
• 对角线：对角线互相平分且相等。

1.2 判定逻辑树

要判定一个四边形是矩形，通常遵循以下逻辑路径：

四边形
  ├─ 已知是平行四边形？
  │    ├─ 是 → 找一个直角 OR 找对角线相等 → 【矩形】
  │    └─ 否 → 找三个直角 → 【矩形】
  └─ 已知是直角梯形？
       └─ 否（通常需转化为平行四边形或直接用角度判定）
                            

示例1：中点四边形与矩形

题目：如图，在四边形ABCD中，对角线AC、BD互相垂直，点E、F、G、H分别是AB、BC、CD、DA的中点。求证：四边形EFGH是矩形。

证明过程：

1. 先证平行四边形：
在△ABC中，E、F为中点，∴ EF∥AC，EF=1/2AC。
同理，HG∥AC，HG=1/2AC。
∴ EF∥HG 且 EF=HG。
∴ 四边形EFGH是平行四边形。

2. 再证直角：
在△ABD中，E、H为中点，∴ EH∥BD。
已知 AC⊥BD，且 EF∥AC，EH∥BD。
∴ EF⊥EH，即 ∠HEF = 90°。
∴ 平行四边形EFGH是矩形。

点评：本题综合运用了三角形中位线定理和矩形的定义法，是考察空间想象能力的经典题型。

示例2：动态几何中的矩形判定

题目：在△ABC中，AB=AC，点D是BC的中点，点E是AD上一点，延长BE交AC于F，延长CE交AB于G。当点E运动到什么位置时，四边形AFEG是矩形？

分析：

若四边形AFEG是矩形，则需满足∠FAE=90°（不可能，因为△ABC是等腰三角形，AD是高，∠DAC<90°）或者对角线相等且互相平分。此题更倾向于考察特殊位置。

修正示例：更典型的题目是：已知平行四边形ABCD，对角线交于O。过O作直线EF⊥BD，交AD于E，交BC于F。求证：四边形BFDE是矩形？
解答：首先易证BFDE是平行四边形（对角线互相平分）。若要成为矩形，需∠EBF=90°或EF=BD。题目条件EF⊥BD意味着对角线垂直，这判定的是菱形。因此，若要判定为矩形，需添加条件如∠BED=90°。此例旨在说明判定条件的唯一性，切勿混淆菱形与矩形的判定（垂直对应对角线→菱形，相等对应对角线→矩形）。