Tijdemanova věta

V teorii čísel Tijdemanova věta říká, že existuje nanejvýš konečný počet po sobě jdoucích perfektních mocnin. Jinak řečeno, množina řešení v oboru celých čísel x, y, n, m exponenciální diofantické rovnice:

:y^m = x^n + 1,\

pro exponenty n a m větší než jedna je konečná.

Věta byla dokázána nizozemským matematikem Robertem Tijdemanem v roce 1976 a dala silný impuls k eventuálnímu sestavení důkazu Catalanovy věty Predou Mihăilescuem. Catalanova věta říká, že 8 a 9 jsou jediná po sobě jdoucí perfektní mocniny.

Tato sousedící čísla jsou základem Tijdemanova důkazu. Rozdíl 9 - 8 je 1. Pokud tuto jedničku nahradíme nějakým obecným k a následně otážeme-li se na počet řešení rovnice:

:y^m = x^n + k\

s n a m větším než jedna dostaneme nevyřešený problém. Domněnka praví, že množina řešení této rovnice je konečná. +more Její konečnost souvisí s ABC domněnkou.

Reference

Kategorie:Teorie čísel