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

Thread 'Trigonometry problem of interest'

Seemingly by some mathematical coincidence, a hexagon of sides 2,2,7,7, 11, and 11 can be inscribed in a circle of radius 7. The other day I saw a math problem on line, which they said came from a Polish Olympiad, where you compute the length x of the 3rd side which is the same as the radius, so that the sides of length 2,x, and 11 are inscribed on the arc of a semi-circle. The law of cosines applied twice gives the answer for x of exactly 7, but the arithmetic is so complex that the...
View full post »

Similar threads

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