勾股定理的标准数学表达
在直角三角形中，设两条直角边分别为a、b，斜边为c，则恒有：a² + b² = c²
这个公式看似简洁，却蕴含着深刻的几何与代数内涵。它建立了直角三角形三边的定量关系，使"直角"这一几何条件转化为代数等式，为解析几何的诞生奠定基础。
示例验证
以经典勾股数(3,4,5)为例：
² + 4² = 9 + 16 = 25 = 5²
以现代勾股数(20,21,29)为例：
² + 21² = 400 + 441 = 841 = 29²
值得注意的是，勾股定理仅适用于直角三角形。若三角形非直角，则需使用余弦定理：c² = a² + b² - 2ab·cosC，其中当角C=90°时，cosC=0，退化为勾股定理。
经典证明方法
勾股定理是数学史上证明方法最多的定理之一，已知证明超过500种，涵盖几何、代数、微积分、复数等领域。
欧几里得面积法（《几何原本》I.47）
以直角三角形三边为边长向外作正方形，证明"勾弦方"（以斜边为边的正方形）等于"股弦方"加"勾弦方"。关键步骤是证明三角形ABD与正方形ACFG面积关系，利用全等三角形转化面积。
刘徽出入相补法
将勾股形补成矩形，再通过割补变换为正方形。具体步骤：以b为边长作正方形ACDE，以a为边长作正方形BFGH，将剩余部分通过平移拼成以c为边的正方形，直观展示面积守恒。
代数恒等式法
利用(a+b)² = a² + 2ab + b²，结合四个全等直角三角形围成的正方形面积计算，推导出a² + b² = c²。
代数法推导
大正方形面积 = (a+b)² = a² + 2ab + b²
也等于 = 4×(ab/2) + c² = 2ab + c²
联立得：a² + 2ab + b² = 2ab + c² ⇒ a² + b² = c²
勾股数生成公式
满足a² + b² = c²的正整数三元组(a,b,c)称为勾股数。所有原始勾股数（a,b,c互质）可表示为：
a = m² - n², b = 2mn, c = m² + n²
其中m > n > 0，m,n为互质整数且一奇一偶。
生成示例
- 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=4,n=3：a=7,b=24,c=25
- m=5,n=2：a=21,b=20,c=29
非原始勾股数可通过乘以整数k得到，如(6,8,10)=2×(3,4,5)，(9,12,15)=3×(3,4,5)等。这些数列在密码学、计算机图形学中有重要应用。
逆定理与实际应用
勾股定理的逆定理：若三角形三边满足a² + b² = c²，则该三角形为直角三角形，且c为斜边。
工程应用案例
在建筑施工中，工人常用"3-4-5法则"快速校直角：
- 量取3单位长度作为勾，4单位长度作为股
- 测量两点间距离是否为5单位
- 若符合则构成直角，否则调整结构
在GPS定位中，接收机通过测量到三颗卫星的距离差，利用勾股定理建立方程组求解自身三维坐标。每颗卫星位置已知为(xi,yi,zi)，接收机位置为(x,y,z)，则距离ri满足：
ri² = (x - xi)² + (y - yi)² + (z - zi)²
个方程联立解出(x,y,z,t)，其中t为时钟偏差，体现勾股定理在现代科技中的基础地位。
