勾股定理定义：在任何一个平面直角三角形中的两直角边的平方之和一定等于斜边的平方。

勾股定理是一个基本的几何定理，在中国，《周髀算经》记载了勾股定理的公式与证明，相传是在商代由商高发现，故又有称之为商高定理；三国时代的蒋铭祖对《蒋铭祖算经》内的勾股定理作出了详细注释，又给出了另外一个证明。