互逆定理的定义-互逆定理定义

互逆定理，说白了就是看错了“哪位在往哪个角落里跑”。在逻辑讲话的时候，原命题和它的逆命题是两码事，就像你往北走，它可能直接倒着就掉进海里了；但要是是互逆，那就是哪位在往哪边走，都得反过来看，是不是也能走到终点。 大量人刚接触就认定高深莫测，实际上哈，这玩意儿就俩字：对调。原命题说“要是 A 形成，那么 B 一定形成”，互逆定理就是把“要是 B 形成，那么 A 一定形成”给抠出来，倒着说一遍。
这就好比两个选项，一个说“先吃苹果再喝牛奶”，另一个就是“先喝牛奶再吃苹果”，逻辑结构倒过来，但结论往往能反过来成立。 举个最好办的例子，数学里的“真分数”和“假分数”。原命题是“真分数一定小于 1"，互逆定理就是“小于 1 的数一定是真分数”。
这就有意思了，出于 0.5 是真分数，但 0.9 比它大，故此互逆这个命题就错了，但并不意味着互逆彻底不成立，只是在这个特定语境下，逆命题不一定真。 再回到逻辑学，那叫“原命题和逆命题的区别”。原命题是“出于下雨，故此地湿”，互逆就是“出于地湿，故此下雨了”。哪位也别信哪位，地湿可能是洒水车施了工，地也湿可能是天没下雨。原命题是真，逆命题未必是真，互逆定理也没法保证逆命题一定成立。 举个生活中的例子，比如“三角形内角和是 180 度”。原命题说“三个角加起来等于 180 度”，互逆定理就是“三个角加起来等于 180 度的三角形一定是三角形”。
这倒是真命题，出于反过来一想，只要三个角加起来 180 度，那它就是个三角形，互逆成立。但要是是“要是三角形是直角三角形，那么内角和是 180 度”，这互逆就不对了。出于直角三角形自然内角和才是 180 度，但内角和是 180 度的不一定是直角三角形，那可能是钝角三角形，也可能是锐角三角形。 这里有个关键点，互逆定理一般是在“互为逆命题且都成立”的时候才叫真。
比如“所有偶数都能被 2 整除”和“所有能被 2 整除的数都是偶数”，这两个互逆了，逻辑结构彻底一样，都真。但要是一个是“有理数都能被 2 整除”（真），另一个是“能被 2 整除的数都是有理数”（假），那它们就不是互逆定理适用的场景，出于逆命题不成立。 互逆定理的应用场景挺多的，比如几何里的“对顶角相等”和“角平分线”相关定理，还有代数里的整除性判断。
有时候我们只需求看逆命题真假，不需求原命题真。
比如“平方等于 4 的数一定是 2"，这是错的，但它的互逆“等于 2 的平方是 4"就是对的。 在数学证明里，互逆定理时常用来换一种思路。原命题难证，就找互逆命题，看能不能证出来。
比如要证“若 a 大于 b，则 a 的平方大于 b 的平方”，这时候原命题是正数区间成立的，但互逆命题“若 x 的平方大于 y 的平方，则 x 大于 y"在负数区间就不成立了。
这时候要是题目只限定正数，那互逆定理就能帮证明；要是没限定，那互逆定理就得小心用，不能随意往负数里钻。 另外，互逆定理有时候会引出“逆否命题”这个概念。原逆和逆逆实际上是互逆的。
比如“要是明天不下雨，今天就不必带伞”，互逆就是“要是今天带伞，明天就会下雨”。
这两个是互逆的，原命题和逆命题都没错，互逆也没错。但要是原命题是“要是不下雨，就带伞”，这互逆就是“带伞，就下雨”，这明显是错的，出于可能下雨却没下雨，逻辑结构倒过来，但结论不一定真。 在统计学里，互逆定理也会看到样本和总体。
比如“样本均值大于总体均值，这个组别成绩突出”，互逆就是“成绩突出的组，样本均值一定大于总体均值”。
这不一定真，可能是样本偏差大。但要是是“样本方差大于总体方差，这组数据波动大”，互逆定理就是“波动大的组，方差一定大于总体方差”，这倒是一般成立的。 互逆定理最让人头晕的是，它不像定理那样有“真”的标签。原命题能够真，逆命题能够真，也能够假。
只有当两者都真，要么都不真时，互逆定理才算成立。
有时候原命题真，逆命题假，互逆定理直接废掉；有时候原命题假，逆命题真，互逆定理也废掉；只有两个都真，要么两个都假，互逆才成立。 在实际做题时，遇到互逆定理，得先自己把原命题和逆命题读一遍，看看逻辑结构是不是彻底倒过来的。
要是是，再判断真假。
要是互逆都真，那互逆定理成立；要是互逆一真一假，互逆定理不成立。
要是都不真，互逆定理也不成立。 互逆定理在初中几何里应用顶多，比如全等三角形的判定，要么垂直关系的证明。
有时候题目给不出来角度关系，就给角度关系，这时候用互逆定理能够打通思路。
比如要证两直线平行，用“同位角相等”，互逆就是“要是同位角不相等，两直线平行”，这实际上是错的，但用互逆去反证，有时候会突然冒出个新的证明路径。 互逆定理不是万能钥匙，它只是逻辑工具箱里的一把锤子。
有时候换个角度，发现这个角度，难题就解决了。
有时候发现不是这个角度，那就要质疑互逆定理本身。在写论文要么做报告时，提到互逆定理，得小心别写成教科书里那种“起初、其次”的流水账，直接说“看错了哪位在往哪边走”可能更通俗，也更生动。