将 c=2m−bc=2^m-bc=2m−b 与 d=2k−ad=2^k-ad=2k−a 代入 bc=adbc=adbc=ad,得到 b2−a2=2m(b−2k−ma)b^2-a^2=2^m(b-2^{k-m}a)b2−a2=2m(b−2k−ma)。