Catalan's conjecture: Difference between revisions
(Created page with '==Statement== This conjecture states that the solution set to Catalan's Diophantine problem: <math>x^p - y^q = 1</math>, for <math>x,y \ne 0,1</math> and <math>p,q</math> ...') |
No edit summary |
||
(One intermediate revision by the same user not shown) | |||
Line 5: | Line 5: | ||
<math>x^p - y^q = 1</math>, | <math>x^p - y^q = 1</math>, | ||
for <math>x,y | for <math>x,y</math> positive integers not equal to <math>0,1</math> and <math>p,q</math> positive integers greater than one, has ''precisely'' one solution: <math>x = 3, y = 2, p = 2, q = 3</math>. | ||
The conjecture has been proved. | The conjecture has been proved. | ||
==Relation with other facts/conjectures== | |||
{| class="sortable" border="1" | |||
! Conjecture !! Statement of conjecture !! Status | |||
|- | |||
| [[Fermat-Catalan conjecture]] || <math>a^m + b^n = c^k</math> has only finitely many solutions for <math>a,b,c</math> positive integers and <math>\frac{1}{m} + \frac{1}{n} + \frac{1}{k} < 1</math> || open | |||
|- | |||
| [[abc conjecture]] || For every <math>\epsilon</math>, there exists <math>C_{\epsilon}</math> such that if <math>a + b = c</math>, then <math>\max \{ |a|, |b|, |c| \} \le C_\epsilon \prod_{p | abc} p^{1 + \epsilon}</math>, the product over <math>p</math> prime || | |||
|} |
Latest revision as of 17:14, 13 August 2010
Statement
This conjecture states that the solution set to Catalan's Diophantine problem:
,
for positive integers not equal to and positive integers greater than one, has precisely one solution: .
The conjecture has been proved.
Relation with other facts/conjectures
Conjecture | Statement of conjecture | Status |
---|---|---|
Fermat-Catalan conjecture | has only finitely many solutions for positive integers and | open |
abc conjecture | For every , there exists such that if , then , the product over prime |