勾股定理最早出现于古希腊数学家勒普顿斯（Euclid）的《几何原本》中，公元前300年左右。这本著作提出了许多基本的几何学原理，勾股定理就是其中的一个。它是在两条直线之间有任意多个直角，两个直角边的平方和等于第三条直角边的平方，即a^2+b^2=c^2。因此，勾股定理又被称为“三角形关系定理”，是几何学中重要的定理之一。