该猜想认为,对于方程
|
(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)
|
对于 、
和
高斯整数,类似的猜想是否成立尚不清楚。已知的解包括