Fermat–katalansk gissning
I talteorin är den Fermat-katalanska gissningen en generalisering av Fermats sista sats och av katalanska gissningar , därav namnet. Gissningen säger att ekvationen
-
()
-
har bara ändligt många lösningar ( a , b , c , m , n , k ) med distinkta trillingar av värden ( a m , b n , c k ) där a , b , c är positiva coprime heltal och m , n , k är positiva heltal uppfyller
-
()
-
Olikheten på m , n och k är en nödvändig del av gissningen. Utan olikheten skulle det finnas oändligt många lösningar, till exempel med k = 1 (för alla a , b , m , och n och med c = a m + b n ) eller med m , n och k alla lika med två ( för de oändligt många kända Pythagoras trippel ).
Kända lösningar
Från och med 2015 är följande tio lösningar till ekvation (1) som uppfyller kriterierna för ekvation (2) kända:
- (för för att uppfylla ekv. 2)
Den första av dessa (1 m + 2 3 = 3 2 ) är den enda lösningen där en av a , b eller c är 1, enligt den katalanska gissningen , bevisad 2002 av Preda Mihăilescu . Även om detta fall leder till oändligt många lösningar av (1) (eftersom man kan välja valfri m för m > 6), ger dessa lösningar bara en enda triplett av värden ( a m , b n , c k ).
Delvis resultat
Det är känt av Darmon–Granville-satsen, som använder Faltings sats , att för alla fasta val av positiva heltal m , n och k som uppfyller (2) existerar endast ändligt många coprime-trippel ( a , b , c ) som löser (1) . Den fullständiga Fermat-katalanska gissningen är dock starkare eftersom den tillåter exponenterna m , n och k att variera.
Abc -förmodan antyder den Fermat-katalanska förmodan.
För en lista över resultat för omöjliga kombinationer av exponenter, se Beal conjecture#Partial results . Beals gissning är sann om och bara om alla Fermat-katalanska lösningar har m = 2, n = 2 eller k = 2.
Se även
- Summor av potenser , en lista över relaterade gissningar och satser