一个命题是真命题，它的逆命题却不一定是真命题。如果一个定理的逆命题经过证明是真命题，那么它也是一个定理，这两个定理称为互逆定理。

直角三角形中，两直角边的平方和等于斜边的平方。（勾股定理）其逆定理：如果一个三角形两直角边的平方和等于斜边的平方，那么这个三角形是直角三角形。这就是一对典型的互逆定理。