该猜想认为,对于方程
(1)
|
仅存在有限个互素的整数幂三元组 , , ,其中
(2)
|
且满足
(3)
|
Darmon 和 Merel (1997) 已经证明,不存在互素解 且 。目前已知十个解,
(4)
| |||
(5)
| |||
(6)
| |||
(7)
| |||
(8)
| |||
(9)
| |||
(10)
| |||
(11)
| |||
(12)
|
对于 ,以及
(Mauldin 1997)。
下表总结了已知的解 (Poonen et al. 2005)。任何剩余的解都将满足 Tijdeman-Zagier 猜想,也通俗地称为 Beal 猜想 (Elkies 2007)。 | 指数 |
(2, 3, 7) | 参考文献 |
Poonen 等人 (2005) | |
(2, 3, 8), (2, 3, 9), (2, 4, 5), | Wiles |
(2, 4, 6), (3, 3, 4), (3, 3, 5) | |
(2, 4, 7) | Bruin (2004) |
, | Ghioca |
Darmon-Merel | |
Bennett |
Bennett-Skinner
(13)
| |||
(14)
|
对于 、 和 高斯整数,类似的猜想是否成立尚不清楚。已知的解包括