若 a=1,则 ab−c=b−c≤0,这与 ab−c=2m≥1 矛盾,所以 a>1。由于 b≤c 且 a≥2,还有 2n=ac−b≥(a−1)c≥2,所以 n≥1。设 a=b≥3。此时 ac−b=a(c−1)=2n,所以 a 与 c−1 都是 2 的幂;特别地,a 为偶数而 c 为奇数。因此 ab−c=a2−c 为奇数,从而 a2−c=1,于是 c+1=a2 也是 2 的幂。但 c−1 与 c+1 是相差 2 的两个 2 的幂:写成 2r 和 2s 得 2r+2=2s,这迫使 r=1、c=3。再由 a≤c 得 a=3,与 a 为偶数矛盾。因此只要 a≥3 就有 a<b。