互逆定理

互逆定理是指如果一個定理的逆命題能夠被證明是真命題，那麼它也是一個定理，這兩個定理稱為互逆定理。

互逆定理的特點是原定理的題設和結論在兩個定理中互換，例如，勾股定理（直角三角形中，兩直角邊的平方和等於斜邊的平方）的逆定理是，如果一個三角形的兩邊平方和等於第三邊的平方，那麼這個三角形是直角三角形。