给定b∣(ac−1)，求证(a,b)=1的技术方法问询

好的，咱们一步步拆解这个证明，核心就是利用最大公约数的基本性质：如果一个数是a和b的公约数，那它必然能整除a和b的任何线性组合。

方法一：直接利用公约数性质推导 #

• 设 ( d = \gcd(a,b) )，根据最大公约数的定义，( d \mid a ) 且 ( d \mid b )。
• 已知 ( b \mid (ac - 1) )，这意味着存在某个整数k，使得 ( ac - 1 = bk )，整理后得到线性组合：( ac - bk = 1 )。
• 因为 ( d \mid a )，所以 ( d \mid ac )；又因为 ( d \mid b )，所以 ( d \mid bk )。
• 那么d必然能整除这两个数的差：( d \mid (ac - bk) )，也就是 ( d \mid 1 )。
• 正整数里能整除1的只有1，所以 ( d = 1 )，即 ( \gcd(a,b) = 1 )。

方法二：反证法（换角度强化理解） #

• 假设 ( \gcd(a,b) = d > 1 )，那么d存在一个素因子p（p>1），且 ( p \mid a )、( p \mid b )。
• 因为 ( b \mid (ac - 1) )，根据整除的传递性，( p \mid (ac - 1) )。
• 但 ( p \mid a )，所以 ( p \mid ac )，这样p同时整除ac和ac-1，那p必然整除它们的差：( p \mid (ac - (ac - 1)) = 1 )。
• 这就产生了矛盾——大于1的素数不可能整除1，所以假设不成立，只能是 ( \gcd(a,b) = 1 )。

两种方法本质逻辑一致，都是围绕“公约数能整除线性组合”这个核心展开，选哪种都能把逻辑说透。

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