关于整除传递性与互整除等价性命题的证明方法咨询

嘿，我来帮你一步步拆解这两个数论命题的证明，核心都是从整除的基本定义出发，逻辑其实非常清晰，咱们慢慢来：

命题1：整除的传递性 #

对于所有整数$a$, $b$, $c$：若$a \mid b$且$b \mid c$，则$a \mid c$

首先得明确整除的核心定义：如果整数$x$能整除整数$y$，等价于存在某个整数$k$，使得$y = k \times x$。这是所有推导的基础，一定要记牢！

证明步骤：

• 由$a \mid b$，根据整除定义，存在整数$m$，使得 b = m * a；
• 由$b \mid c$，同理存在整数$n$，使得 c = n * b；
• 把第一个式子代入第二个式子，得到：c = n * (m * a) = (n * m) * a；
• 因为整数相乘的结果还是整数，所以$n \times m$是一个整数，咱们把它记作$k$，那式子就变成了c = k * a；
• 再次对照整除的定义，这就直接说明$a \mid c$，命题得证。

命题2：双向整除的整数关系 #

对于所有整数$a$和$b$：若$a \mid b$且$b \mid a$，则$a = b$

这里要先补充一句：严格来说在全体整数范围内，结论其实是$a = \pm b$；如果命题限定在正整数范围内，那$a = b$就完全成立。咱们还是从定义出发推导：

证明步骤：

• 由$a \mid b$，存在整数$m$，使得 b = m * a；
• 由$b \mid a$，存在整数$n$，使得 a = n * b；
• 把第一个式子代入第二个式子，得到：a = n * (m * a) = (n * m) * a；
• 整理式子：a - (n*m)*a = 0 → a \times (1 - n*m) = 0；
• 分两种情况讨论：
  1. 当$a = 0$时：由$a \mid b$可知$b = m \times 0 = 0$，所以$a = b = 0$，满足命题；
  2. 当$a \neq 0$时：两边可以同时除以$a$，得到1 - n*m = 0 → n*m = 1；
     • 因为$n$和$m$都是整数，乘积为1的整数对只有$(1,1)$和$(-1,-1)$：
       • 如果$m=1$，则$b = 1 \times a = a$；
       • 如果$m=-1$，则$b = -a$，此时$a = n \times b = n \times (-a)$，因为$a≠0$，所以$n=-1$，即$a = -b$；
• 所以如果是正整数范围，$m$和$n$只能取1，自然$a = b$；如果是全体整数，结论是$a$和$b$互为相反数或相等。

内容的提问来源于stack exchange，提问作者Rick