加负号不影响 (a,b)=(−a,b)=… 因为最大公因子是正数 (a,b)∣−a,(a,b)∣b⟹(a,b)∣(−a,b) (−a,b)∣(a,b) 整除的性质 得出 (a,b)=(−a,b) 有一个是 0,则是另一个的绝对值