# Catalan's Conjecture

(Redirected from Mihăilescu's Theorem)

## Theorem

The only solution to the Diophantine equation:

$x^a - y^b = 1$

for $a, b > 1$ and $x, y > 0$, is:

$x = 3, a = 2, y = 2, b = 3$

## Also known as

This result is also known as Mihăilescu's Theorem, for Preda V. Mihăilescu.

## Source of Name

This entry was named for Eugène Charles Catalan.

## Historical Note

Catalan's Conjecture was first put forward by Eugène Charles Catalan in $1844$.

It was proven in $2002$ by Preda V. Mihăilescu.