20/03/14 14:55:15 iH59lf4s.net
>>784
A = {1, c, c^2, c^3, ・・・・| c>2}
c^n - c^m = (c^m) {c^(n-m) - 1},
c^(n-m) > 1, (n>m)
カタラン予想(ミハイレスクの定理) により
c^(n-m) - d^2 = 1 となる d >1 は存在しない。
∴ c^(n-m) - 1 は平方数でない。
c^m と c^(n-m) -1 は互いに素だから | c^n - c^m | は平方数でない。
A = {2, 8, 32, 128, 512, ・・・・} も同様?