カタラン予想

3行要約

1. 8と9のように、連続する累乗数が他に存在しないという数学上の予想。
2. x^a - y^b = 1 の自然数解は 3^2 - 2^3 = 1 のみであるというもの。
3. 1844年に提唱され、2002年にプレダ・ミハイレスクによって証明された。