勾股定理的100证明方法——100种勾股定理证明法全解析

核心思路：

• 以直角三角形 $ABC$（$angle C = 90^circ$）为基础，向外作正方形 $ABDE$、$ACFG$、$BCHK$；
• 连接 $FC$、$EA$，证明 $triangle ACF cong triangle AEB$（SAS）；
• 由全等得面积关系：$text{矩形 }AIMD = text{正方形 }ACFG$；
• 同理：$text{矩形 }BIMN = text{正方形 }BCHK$；
• 两矩形之和 = 正方形 $ABDE$，即 $AC^2 + BC^2 = AB^2$。

设 $triangle ABC$ 中 $angle C = 90^circ$，$CD perp AB$，垂足为 $D$。

• 由相似性：$triangle ABC sim triangle ACD sim triangle CBD$
• 对应边成比例：
  $frac{AC}{AB} = frac{AD}{AC} Rightarrow AC^2 = AB cdot AD$
  $frac{BC}{AB} = frac{BD}{BC} Rightarrow BC^2 = AB cdot BD$
• 两式相加：
  $AC^2 + BC^2 = AB cdot (AD + BD) = AB cdot AB = AB^2$

斜边向量为 $vec{c} = vec{a} + vec{b}$，则：

因 $vec{a} cdot vec{b} = 0$，故：

即 $c^2 = a^2 + b^2$。

则斜边 $AB$ 长度为：

即斜边 $c = sqrt{a^2 + b^2}$，移项得 $a^2 + b^2 = c^2$。

复数模长定义为：

另一方面，由复平面几何可知，$|z|$ 即点 $(a,b)$ 到原点的距离，对应直角三角形斜边。

若定义模长满足 $|z_1 + z_2|^2 = |z_1|^2 + |z_2|^2$（当 $z_1 perp z_2$），则：

即得勾股定理。

将圆分割为无数个微元扇形，每个微元面积可表示为：

但更直接的方法是利用微分：对 $x^2 + y^2 = c^2$ 两边求导：

斜率 $k = -x/y$，而该点到原点距离为 $c$，构成直角三角形（邻边 $x$，对边 $y$，斜边 $c$）。

由勾股关系得 $x^2 + y^2 = c^2$，反推即为定理本身——故微积分法多用于验证而非独立证明。

设直角三角形 $ABC$，$angle C = 90^circ$，在 $A$、$B$ 处施加力 $F_A = a^2$、$F_B = b^2$，在 $C$ 处支撑。

若系统平衡，则支点 $C$ 到 $A$、$B$ 的力矩相等：

显然不成立——但若设 $F_A = 1/a$、$F_B = 1/b$，则：

仍不直接。更严谨构造见美国数学家 E. S. Loomis 所著《The Pythagorean Proposition》中第117种证法——利用静力学力矩平衡与面积投影。

正交矩阵满足 $R^T R = I$，即：

计算左上角元素：$cos^2theta + sin^2theta = 1$

令 $costheta = a/c$，$sintheta = b/c$（直角三角形定义），则：

将直角三角形嵌入球面（如地球表面），构造由三个直角三角形组成的球面二角形。

球面三角形面积公式：$text{Area} = R^2 (alpha + beta + gamma - pi)$

对直角球面三角形（$gamma = pi/2$），设另两角为 $alpha, beta$，则面积为 $R^2(alpha + beta - pi/2)$。

当球半径 $R to infty$，球面局部趋近平面，$alpha + beta to pi/2$，三角形退化为平面直角三角形。

此时，平面三角形面积公式与勾股定理通过微分几何中的高斯绝妙定理（Theorema Egregium）建立联系：曲率 $K=0$ 时，度规满足欧几里得关系 $ds^2 = dx^2 + dy^2$，即勾股定理。

设水平投影为 $b = 12$ 米，高度为 $a$，斜梁为 $c$。

由三角函数：$tan 30^circ = a/b Rightarrow a = 12 times frac{sqrt{3}}{3} approx 6.928$ 米

再由勾股定理：

若采用5-12-13整数比近似（放大1倍：$5times2.4=12$，$12times2.4=28.8$），则 $c=13times2.4=31.2$，误差较大——故非整数比时需精确计算。

推导：

• 作等边三角形 $ABC$，边长为2，作高 $AD$ 垂直 $BC$；
• 则 $BD = DC = 1$，$angle BAD = 30^circ$；
• 在 $triangle ABD$ 中，$AB=2$，$BD=1$，由勾股定理：
• $AD = sqrt{AB^2 - BD^2} = sqrt{4 - 1} = sqrt{3}$
• 故三边：$BD:AD:AB = 1 : sqrt{3} : 2$

边长为1的正方形，对角线长为：

假设 $sqrt{2} = p/q$（既约分数），则 $p^2 = 2q^2$，故 $p$ 为偶数，设 $p=2k$，代入得 $4k^2 = 2q^2 Rightarrow q^2=2k^2$，故 $q$ 也为偶数，与“既约”矛盾。

因此 $sqrt{2}$ 是无理数——勾股定理直接推动了数系的扩展。

示例：

• $m=2, n=1$：$a=3, b=4, c=5$
• $m=3, n=2$：$a=5, b=12, c=13$
• $m=4, n=1$：$a=15, b=8, c=17$
• $m=5, n=2$：$a=21, b=20, c=29$

此公式可生成所有本原勾股数（$a,b,c$ 互质），非本原数如 $6,8,10$ 是 $3,4,5$ 的倍数。