定理都有逆定理吗-定理皆有逆命题吗

定理这东西，有时候就像人生，有时候是刻在石头上的规矩，有时候只是随口喊出来的口号。你见过一群人围着桌子转圈，手里拿着个粉笔，问他们“要是当初没做这一步，结局会怎么着吗”吗？这行行都是定理，但有人把它当铁律背，有人把它当游戏猜。 大局部定理都有逆定理。
这个规律大约能推演到所有的公理体系里去。
比如勾股定理，我们天天用它算建筑设计师的图纸，要么程序员写代码里的直角三角形。你再拿个逆过来看，那是合法的。直角三角形，斜边平方等于两直角边平方，等号两边互换位置，还是成立。 这种对称性在数学里忒常见了，就连到了让人哭笑不得的地步。有些定理看起来不对称，实际上那是设计陷阱。
比如欧几里得几何里的平行公设，你换前后两个假设，逻辑链条瞬间就断了。
这就像你写诗，一般讲究对仗，但间或故意打破节奏，反而更有趣。有些定理就连能够直接推导出它们自己，比如证明 $1+1=2$ 的逆定理，实际上就是 $2 ne 1$ 这个事实，别看荒诞，但逻辑上彻底自洽。 有时候我们会认定逆定理是定理的“背面”，就像脸和影。但换个角度想，它们也是硬币的另一面。你定义了一个正方形，然后拿来验证它的逆性质，这本身就是一种思维游戏。当你在一个封闭的逻辑圈里绕圈子，你会发现那个圈本身就是一个闭环。
这种结构上的自洽性，在数学里往往比单纯的真值判断更能揭示本质。 不过，并不是所有的定理都有逆定理。有些定理本身就是单向的河流，你堵不住，也拉不上。
比如素数定理，别看你说“要是知道第 n 个素数小于 $x$，那第 $n+1$ 个素数一定小于 $x+2sqrt{x}$"，但这只是一个毛病的猜想，就连不是一个定理，出于它一辈子证不出来。
反之，有些定理严格定义为“要是...那么..."，一旦前件成立，后件必然成立，甭管如何换公式，形式一样，但内容变了。
比如定义“$a$ 是 $b$ 的倍数”，你写改没改，只要逻辑没破，这个定义依然有效。
这种单向性在数学里挺常见，特别是涉及“构造性证明”的时候，你只能构造出这个结局，却不一定能推导出那个结局。 还有些定理，它们的逆命题就连不能好办地说“是”或“否”，而只能说是“无法判断”。
比如算术平均数不等式，说"$(a+b)/2 le sqrt{ab}$"，你反过来改一下，不等号变号，还是成立。但你要是改成“要是 $x+y=1$，那 $sqrt{xy} le (x+y)/2$"，那这就成了错的。数学里这种不清楚地带大量，有时候是设计者的故意留白，有时候是技术实现的限制。 举个例子，凸多边形的内角和公式。公式是 $(n-2) times 180$ 度。你要是拿这个公式去算五边形，结局对不上。但反过来，要是你说“五边形的内角和是 $180$ 度”，那这个命题是假的。
要么说，要是你说“要是多边形有 $n$ 条边，内角和是 $(n-2) times 180$ 度”，那原命题是对的，逆命题也是对的。但有些定理，比如"$x^2 + 1 = 0$ 在实数范围内无解”，你反过来改，$x^2 - 1 = 0$，那就有解了，但原命题本身的逆命题——即"$x^2 + 1 = 0$ 有解”，这是假的。
这就像说“下雨天地面会湿”，逆命题是“地面不湿说明没下雨”，这也是假的。 在数学分类里，有时候我们会把有逆定理的定理叫“可逆的”，把不能的叫“不可逆的”。但这听起来忒像教科书了。
实际上我们更倾向于说，这些定理在逻辑上形成了某种闭环。有的闭环是完美的，有的闭环是残缺的。 自然，说到逆定理，我们得区分“逆命题”和“逆定理”这两个词。逆命题是逻辑上的对调，逆定理则是经过证明、等价于原命题的推论。
比如勾股定理，它的逆命题是成立的，故此它叫逆定理。但有些定理，比如"$a+b=c$"，你随意抄个式子，$a^2+b^2=c^2$，这既不是原命题，也不是逆命题，而是彻底陌生的新命题。 有时候我们会认定，定理忒多了，背不完。但想想看，要是每个定理都能自由地逆推，那数学就会变成一团浆糊。出于每个定理都是建立在之前某些定理之上的。你无法凭空创造一个新的逻辑支点，要不就你证明白它本身就是确实。
故此，所有的定理，本质上都是“有逆定理”的集合，只不过有些是显性的，有些是隐性的。 有时候我们会想，有没有哪条定理确实真得透不透的？比如"$a=0$"这个命题，它是不是有逆定理？你说“要是 $0=0$，那 $a$ 一定是 $0$ 吗”？这显然是错的。
故此"$a=0$"本身没有逆定理。但反过来，要是一个命题本身就是一个好办的陈述句，不依赖其他条件，那它既不是原命题也不是逆命题。 在现代数学里，有些定理就连被证明是“不可逆”的。
比如康托尔对角论证法，有时候人们会问“第 $n$ 位数字要是是 $n$ 如何办”？但这只是一个假设，不是一个定理。
要么像"$mathbb{Q}$ 是代数闭域”这个命题，它的逆命题在算术中是不成立的，但在环论里，你能够说"$mathbb{Q}$ 是域”这个陈述本身，其逆命题就是"$mathbb{Q}$ 是域"，出于它们等价。 实际上，数学里还有一个概念叫“逆否命题”。大量人会混淆逆命题和逆否命题。大量人当作逆定理就是“逆命题”，实际上不是。逆否命题是逻辑上的等价形式，形式是"$neg P to neg Q$"。而逆命题是"$Q to P$"。
只有当这两个命题都成立时，我们才说原命题有逆定理。
故此，定理有逆定理，这并不取决于原命题的形式多么对称，而是取决于其逻辑等价性。 有时候你会认定，要是一个定理挺难证明，那它的逆定理肯定也不难。但这不彻底是。有的定理本身就挺复杂，结构也挺深，但它的逆命题可能贼好办。
比如"$a^2+b^2=c^2$ 是勾股定理”，它的逆命题"$a^2+b^2=c^2$"实际上就是勾股定理本身。有些定理的结构贼脆弱，略微改动一点细节，逆命题就会崩塌。 在数学史里，有些定理的逆命题被证明是错的，后来被修正了。
比如笛卡尔坐标系的定义，实际上本质是一个坐标系。
要是你把定义反过来了，新的定义下，原来的坐标系可能就不再是笛卡尔坐标系，但逻辑上依然是同一个东西。 总而言之，定理和逆定理的关系，就像硬币的两面，要么就像一首诗的前半句和后半句。前半句是原命题，后半句是逆命题。
要是后半句成立，那原命题就有逆定理。
要是后半句不成立，那原命题就没有逆定理。但有些时候，后半句本身就是后半句的前半句，这就变成了循环论证。 在今天的生活中，我们依然在使用着这些定理。
比如物理里的能量守恒，逆着看，能量不会凭空形成，也不会消亡。
这在热力学第二定律里体现得淋漓尽致，熵增原理就是逆否命题的一种形式。
这种逆向思维，不仅存有于数学里，也存有于工程设计和日常生活中。当我们面对一个难题时，往往不是直接问“如何做”，而是问“要是结局反过来，那条件会怎么着”。 故此，定理都有逆定理吗？严格来说，大局部有逆定理的命题都有逆命题，但并不是所有的逆命题都能被称为“逆定理”。逆定理务必是经过验证的逻辑等价形式。而有些命题，比如"$x^2+1=0$"，它的逆命题"$x^2-1=0$"别看也是命题，但并不是原命题的逆定理，出于它不成立。 数学的魅力在于这种不对称和多样性。
有时候我们喜爱对称，认定一样就行。但有时候我们需求不对称，才形成新的思想。
故此，定理有逆定理，这取决于它是否能在逻辑闭环中自洽。
要是它能，那它就有逆定理；要是不能，要么只是单向流动，那它就没有逆定理。
这就像一条河，有的河能够逆流而上，有的只能顺流而下。