传统上认为是由古希腊的毕达哥拉斯所证明。据说毕达哥拉斯证明这个定理后，即斩了百头牛作庆祝，因此又称“百牛定理”。

但是在中国，《周髀算经》记载了勾股定理的一个特例，相传是在商代由商高发现，故又有称之为商高定理。三国时代的赵爽对《周髀算经》内的勾股定理作出了详细注释，作为一个证明。法国和比利时称为驴桥定理，埃及称为埃及三角形。

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