它被称为 定理 对此 可以从一个公理出发，或者从其他已经证明的定理出发，可以从逻辑上证明的命题同时，事实证明需要遵守某些推理规则才能实现上述证明。
在你身边， 萨摩斯的毕达哥拉斯 曾经是一个 流行的哲学家和数学家 住在的希腊人 希腊 年间 公元前 582 年和 507 年 虽然以他的名字为他提供了最终找到证明的必要条件而以他的名字命名，但勾股定理并不是由毕达哥拉斯直接创造的，但实际上它在两者之前很长一段时间就得到了发展和应用。 巴比伦和印度一样然而，正是毕达哥拉斯学派设法找到了关于定理的正式而有力的答案。
同时，上述定理认为 在直角三角形中，斜边的平方等于两条腿的平方和.为了更好地理解这个问题，有必要考虑到直角三角形是一个直角为 90° 的三角形，那么斜边是三角形的长度更大的那一边，并且与直角，最后是腿是直角三角形的两个较小的边。
应该注意的是，我们关注的定理是证明数量最多的定理，它们是使用非常不同的方法实现的。
在二十世纪，更准确地说是在这一年 1927， 一种 数学家，E.S. Loomis 编译了 350 多个勾股定理的证明，这种情况给这个主题带来了更多的秩序，，他们分为四组： 几何证明 （它们是根据区域的比较制作的）， 代数证明 （它们是根据三角形的边和线段之间的关系开发的）， 动态演示 （它们调用了力的属性）和 四元数证明 （它们通过使用向量出现）。
