互逆定理

一个命题是真命题，它的逆命题却不一定是真命题。如果一个定理的逆命题经过证明是真命题，那么它也是一个定理，这两个定理称为互逆定理。直角三角形中，两直角边的平方和等于斜边的平方。（勾股定理）其逆定理：如果一个三角形两边的平方和等于另一边的平方，那么这个三角形是直角三角形。这就是一对典型的互逆定理。定理（英语：Theorem）是经过受逻辑限制的证明为真的陈述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。