如果 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 是互質的。