在平面几何学中，勾股定理（Pythagorean theorem）是描述直角三角形三边关系的基石性定理。它指出：在一个直角三角形中，两条直角边的平方和等于斜边的平方。这一简洁而深刻的数学规律，不仅构成了三角学的基础，更是连接代数与几何的桥梁。
设直角三角形的两条直角边分别为 a 和 b，斜边为 c，则勾股定理的代数表达式为：
a² + b² = c²
在中国古代数学典籍《周髀算经》中，这一关系被表述为“勾广三，股修四，径隅五”，即著名的勾三股四弦五特例。这里的“勾”指较短的直角边，“股”指较长的直角边，“弦”则指斜边。西方通常称之为毕达哥拉斯定理，以纪念古希腊数学家毕达哥拉斯学派对其进行了系统的研究。
值得注意的是，勾股定理不仅仅是计算长度的工具，它更蕴含了空间结构的本质属性。在欧几里得几何体系中，它是公理体系推导出的必然结果；而在非欧几何（如黎曼几何或罗巴切夫斯基几何）中，由于空间曲率的存在，该定理的形式会发生改变，这进一步凸显了其在经典几何中的普适性与特殊性。
1.1 逆定理的判定意义
除了正向推导，勾股定理的逆定理同样具有极高的实用价值。逆定理指出：如果一个三角形的三边长 a、b、c 满足 a² + b² = c²，那么这个三角形一定是直角三角形，且边 c 所对的角为直角。这一性质常被用于工程测量和建筑实践中，作为判断直角的标准依据。