勾股逆定理证明方法全解：从逻辑构建到多维应用

🔄 方法二：反证法（逻辑严密性）

反证法是数学证明中强有力的工具，通过假设结论不成立来导出矛盾。

1. 假设： 在 △ABC 中，a² + b² = c²，但 ∠C ≠ 90°。
2. 推导：
   • 若 ∠C < 90°，根据余弦定理 c² = a² + b² - 2ab cosC。因为 cosC > 0，所以 c² < a² + b²，与已知矛盾。
   • 若 ∠C > 90°，则 cosC < 0，所以 c² > a² + b²，与已知矛盾。
3. 矛盾： 假设导致 c² ≠ a² + b²，这与题目给定的 a² + b² = c² 相矛盾。
4. 结论： 假设不成立，因此 ∠C 必须等于 90°。

点评： 虽然反证法逻辑严密，但在初中阶段，通常更推荐使用构造法，因为它更直观且依赖于更基础的公理。

🔢 方法三：余弦定理法（代数推导）

利用三角函数工具，这是高中数学中常见的证明思路。

1. 公式： 根据余弦定理，c² = a² + b² - 2ab cosC。
2. 代入： 已知 a² + b² = c²，将其代入上式。
3. 化简：

   a² + b² = a² + b² - 2ab cosC
   0 = -2ab cosC
                           

4. 求解： 因为 a, b 为三角形边长，a≠0, b≠0，所以 cosC = 0。
5. 结论： 在三角形内角范围 (0°, 180°) 内，cosC = 0 意味着 C = 90°。

➡️ 方法四：向量法（解析几何视角）

利用向量的数量积（点积）性质，这是现代数学处理几何问题的通用语言。

1. 设定： 设向量 (vec{CA} = vec{b}), (vec{CB} = vec{a})，则 (vec{AB} = vec{c} = vec{b} - vec{a})（注意方向，这里简化为模长关系）。
2. 计算模长平方：

   |c|² = |vec{b} - vec{a}|²
        = (vec{b} - vec{a}) · (vec{b} - vec{a})
        = |vec{b}|² + |vec{a}|² - 2vec{a}·vec{b}
        = b² + a² - 2ab cosC
                           

3. 结合已知： 已知 c² = a² + b²。
4. 推导： 所以 a² + b² = a² + b² - 2ab cosC ⇒ 2ab cosC = 0。
5. 结论： 因 a,b ≠ 0，故 cosC = 0，即 (vec{a} perp vec{b})，∠C = 90°。