Tijdeman's theorem

Tijdeman's theorem

In number theory, Tijdeman's theorem states that there are at most a finite number of consecutive powers. Stated another way, the set of solutions in integers x, y, n, m of the exponential diophantine equation

y^m = x^n + 1,\

for exponents n and m greater than one, is finite.

The theorem was proven by Dutch number theorist Robert Tijdeman in 1976, and provided a strong impetus towards the eventual proof of Catalan's conjecture by Preda Mihăilescu. Mihăilescu's theorem states that there is only one member to the set of consecutive power pairs, namely 9=8+1.

That the powers are consecutive is essential to Tijdeman's proof; if we replace a difference of one by any other difference k and ask for the number of solutions of

y^m = x^n + k\

with n and m greater than one we have an unsolved problem. It is conjectured that this set also will be finite; its finiteness would follow, for instance, from the abc conjecture.

References

  • Tijdeman, Robert (1976). "On the equation of Catalan". Acta Arithmetica 29 (2): 197–209.