該猜想認為,對於方程
|
(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)
|
對於 、
和
高斯整數,類似的猜想是否成立尚不清楚。已知的解包括