如果 a 和 b 有一个非平凡的公因子 k >= 2,那么 a = k*a' 且 b = k*b',所以 (ad - bc) = k(a'd - b'c) = ±1。
或者,你必须基本上证明 a 和 b 是互质的;也就是说,分子和分母没有公因子。另一种说法是 g c d ( a , b ) = 1 {\displaystyle gcd(a,b)=1} .
令 g = g c d ( a , b ) {\displaystyle g=gcd(a,b)} . 我们可以将 a d − b c = ± 1 {\displaystyle ad-bc=\pm 1} 写成 ( a g ⋅ g d − b g ⋅ g c ) = g ( a g d − b g c ) = ± 1 {\displaystyle \left({\frac {a}{g}}\cdot gd-{\frac {b}{g}}\cdot gc\right)=g\left({\frac {a}{g}}d-{\frac {b}{g}}c\right)=\pm 1} . 因此 g {\displaystyle g} 必须是 -1 或 1,因此 a 和 b 是互质的。