A Clarification of Mihăilescu's Theorem (Catalan's Conjecture)

Click For Summary
Mihăilescu's theorem confirms that Catalan's conjecture holds true, with the only natural number solution to the equation x^a - y^b = 1 being x=3, a=2, y=2, and b=3. The discussion raises questions about whether Mihăilescu's theorem implies that no other pairs of powers can equal 1 under different conditions. It seeks clarification on whether specific restrictions apply to the integers involved, such as requiring x or y to be prime or if only the conditions x, y > 0 and a, b > 1 are necessary. The conversation references Wikipedia for a more detailed explanation of these restrictions. Understanding these nuances is crucial for comprehending the broader implications of Mihăilescu's theorem.
e2m2a
Messages
354
Reaction score
13
TL;DR
I understand Catalan's conjecture was proven by Preda V. Mihăilescu in 2002. However, I am not sure if it is proved for only certain conditions.
Mihăilescu's theorem proves that Catalan's conjecture is true. That is for x^a - y^b = 1, the only possible solution in naturual numbers for this equation is x=3, a=2, y=2, b=3. What is not clear to me is this. Does Mihăilescu's theorem prove that the difference between any other two powers (not the Catalan expression) will never be equal to 1 but only within certain restrictions? Another words, are there conditions that restrict x or y have to be both prime integers or just one of them must be a prime integer or does a or b have to be both prime integers or just one of them must be a prime integer for Mihăilescu's theorem to be true? Or is the only condition necessary is that x,y >0 and a.b >1?
 
Mathematics news on Phys.org

Similar threads

A Proving Goldbach's conjecture by induction (or why it doesn't seem to work)
  • · Replies 10 ·
Replies
10
Views
2K
I Questions regarding Kurepa's Conjecture
  • · Replies 1 ·
Replies
1
Views
2K
A Prime Number Powers of Integers and Fermat's Last Theorem
  • · Replies 1 ·
Replies
1
Views
2K
I How to start with proving ##a^a + b^b > a^b + b^a##?
  • · Replies 3 ·
Replies
3
Views
2K
A Variation of Catalan Conjecture
  • · Replies 22 ·
Replies
22
Views
2K
B Extending the Fundamental Theorem of Arithmetic to the rationals
  • · Replies 35 ·
2
Replies
35
Views
5K
B Proving Euclid's Lemma: The Role of Primality in Divisibility
  • · Replies 6 ·
Replies
6
Views
2K
MHB Is the Binomial Coefficient Test a Reliable Prime Indicator?
  • · Replies 1 ·
Replies
1
Views
2K
A Is this Recursive Pattern in the Collatz Sequence Known?
  • · Replies 3 ·
Replies
3
Views
580
B On the representation of integers?
  • · Replies 16 ·
Replies
16
Views
2K