Catalanin otaksuma

Catalanin otaksuma on Eugene Charles Catalanin keksimä Diofantoksen yhtälö, jonka mukaan yhtälön

$x^n-y^m=1$

ainoa positiivinen kokonaislukuratkaisu on

$x=3$, $y=2$, $n=2$ ja $m=3$.

Catalanin otaksuman todisti vuonna 2002 Preda Mihailescu syklotomisten kuntien ja Galois'n moduulien teorian avulla.