Catalan, congettura di
Catalan, congettura di in teoria dei numeri, congettura formulata da E.-Ch. Catalan nel 1844 e dimostrata nel 2002 da P. Mihăilescu (pertanto è oggi nota anche come teorema di Mihăilescu). Essa afferma che le uniche potenze consecutive di numeri interi positivi consecutivi sono 8 e 9; precisamente, l’equazione diofantea xm − yn = 1 ammette come unica soluzione x = 3, m = 2, y = 2, n = 3.