定理的意思

定理是指在既有命题的基础上证明出来的命题。

在数学里，定理是指在既有命题的基础上证明出来的命题，这些既有命题可以是别的定理，或者广为接受的陈述，比如公理。数学定理的证明即是在形式系统下就该定理命题而作的一个推论过程。定理的证明通常被诠释为对其真实性的验证。

定理是用逻辑的方法判断为正确并作为推理的根据的真命题。定理是根据公理或已知的定理推导出来的真命题。这些真命题都是最基本的和常用的，所以被人们选作定理。

公理和定理都是真命题，但有的真命题既不是公理，也不是定理。公理和定理的区别主要在于：公理的正确性不需要用推理来证明，而定理需要证明。

勾股定理：在任何一个直角三角形中，两条直角边的平方之和一定等于斜边的平方。这个定理在中国又称为“商高定理”，在外国称为“毕达哥拉斯定理”。

勾股定理（又称商高定理，毕达哥拉斯定理）是一个基本的几何定理，早在中国商代就由商高发现。据说毕达哥拉斯发现了这个定后，即斩了百头牛作庆祝，因此又称“百牛定理”。