作者NASAlion (最爱健身小刺蝟)
看板Math
标题[中学] 互质的证明
时间Wed Dec 2 10:19:13 2020
请教先进一个证明
若a,b互质，则a+b和a×b必互质
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 180.217.195.92 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1606875555.A.4BD.html
1F：→ suker : 令(a+b,ab)=d, d│a+b且d│ab 12/02 10:37
2F：→ suker : 则d│(a+b)*(b)+ a*b(-1)=b^2 12/02 10:38
3F：→ suker : d│(a+b)(a)+a*b(-1)=a^2 12/02 10:38
4F：→ suker : 得d│(a^2,b^2);(a,b)=1 a,b互质 d=1 12/02 10:39
5F：→ Sfly : Gcd(a+b,a)=gcd(a+b,b)=gcd(a,b)=1. Hence gcd(a+b, 12/02 15:29
6F：→ Sfly : ab)=1. 12/02 15:29
7F：→ yyc2008 : 请问gcd(a+b,a)=gcd(a+b,b)怎麽得到? 12/02 15:37
8F：→ yyc2008 : gcd(a,b)|(a+b),怎麽确定gcd(a,b)也是a+b和a的最大 12/02 16:16
9F：→ yyc2008 : 公因数呢? 12/02 16:16
10F：推 matsunaga : 辗转相除法就可以说明了 12/02 16:25
11F：→ matsunaga : 回yuck的留言 12/02 16:25
12F：推 LPH66 : 写成 gcd(a+b,a)=gcd(a,b)=gcd(a+b,b) 应该清楚些 12/02 17:30
13F：推 yyc2008 : 谢谢LPH大 好像懂了 12/02 19:18
14F：→ yyc2008 : 等一下a=qr+k k>q时 gcd(a,q)=gcd(q,k)也成立吗? 12/02 19:56
15F：→ LiquidTLO : gcd(a,q)=gcd(q, a mod q)=gcd(q,k) 12/02 20:20
16F：→ yyc2008 : 假设a>b gcd(a+b,a)=gcd(a,b)可以了解但是gcd(a+b,b 12/03 00:17
17F：→ yyc2008 : gcd(b+a,b)=gcd(a,b)这一步就不知道怎麽得 当a>b 12/03 00:18
18F：推 ERT312 : Let A={n∈N:n|a & n|b}, B={n∈N:n|a+b & n|b} 12/03 00:56
19F：→ ERT312 : 易证 A=B, 所以若 Max A 存在, Max A = Max B 12/03 00:57
20F：→ TimcApple : 设 c = gcd(b+a,b), d = gcd(a,b) 12/03 01:37
21F：→ TimcApple : c | a+b, c | b, 因此 c | a, 於是 c | d 12/03 01:37
22F：→ TimcApple : d | a, d | b, 因此 d | b+a, 於是 d | c 12/03 01:37
23F：→ TimcApple : 得到 c = d 12/03 01:37
24F：→ TimcApple : 不要光只会用 gcd(a, b) = gcd(b, r) 12/03 01:37
25F：→ TimcApple : 多用 gcd 原本的定义ow o 12/03 01:37
26F：推 yyc2008 : 谢谢E, T大, 我懂了 以後自己多想想 12/04 13:50