Vermoeden van Catalan

Het vermoeden van Catalan (nu soms aangeduid als de stelling van Mihăilescu) is een stelling in de getaltheorie, die in 1844 als vermoeden werd opgesteld door de Belgische wiskundige Eugène Catalan en in 2002 werd bewezen door de Roemeense wiskundige Preda Mihăilescu.

Het vermoeden gaat over twee machten van natuurlijke getallen, zoals $2^{3}$ en $3^{2}$ waarvan de respectievelijke waarden 8 en 9 opeenvolgende gehele getallen zijn. Het vermoeden is dat dit het enige geval van twee opeenvolgende machten is. Dat wil zeggen, dat de enige oplossing in de natuurlijke getallen van

x^{a}-y^{b}=1

met $x,y,a,b>1$ is $x=3,a=2,y=2$ en $b=3$ .

Geschiedenis

Al voor Catalan hield men zich bezig met verwante problemen. Omstreeks 1320 bewees Levi ben Gershon dat de enige machten van 2 en van 3 die een verschil van 1 hebben, 8 en 9 zijn.

Leonhard Euler (1707-1783) toonde aan dat de vergelijking $a^{2}-b^{3}=1$ voor gehele $a$ en $b$ , alleen de oplossing $a=3$ en $b=2$ heeft.

Het vermoeden van Catalan werd in 1844 gepubliceerd in het Journal für die reine und angewandte Mathematik als ingezonden brief.^[1]

In april 2002 lukte het Preda Mihăilescu, die toentertijd werkzaam was aan de universiteit van Paderborn, eindelijk het bewijs van het vermoeden van Catalan te geven, waardoor het de status van wiskundige stelling kreeg.

Zie ook

Stelling van Tijdeman
Vermoeden van Fermat-Catalan
Vermoeden van Beal

Externe links

(en) het vermoeden van Catalan op MathWorld
(en) Jeanine Daems, Een cyclotomisch bewijs van het vermoeden van Catalan

Referenties

(fr) Catalan, Eugène, (1844): Note extraite d’une lettre adressée à l’éditeur. J. Reine Angew. Math., 27:192.
(en) Preda Mihăilescu (2004). Primary Cyclotomic Units and a Proof of Catalan's Conjecture. J. Reine angew. Math. 572: 167–195. DOI: 10.1515/crll.2004.048. Gearchiveerd van origineel op 2 juni 2020. Geraadpleegd op 22 mei 2011. .
(en) Robert Tijdeman (1976). On the equation of Catalan. Acta Arith. 29 (2): 197–209.