Goormaghtigh conjecture

(Redirected from Goormaghtigh Conjecture)

In mathematics, the Goormaghtigh conjecture is a conjecture in number theory named for the Belgian mathematician René Goormaghtigh. The conjecture is that the only non-trivial integer solutions of the exponential Diophantine equation

satisfying and are

and

Partial results

edit

Davenport, Lewis & Schinzel (1961) showed that, for each pair of fixed exponents   and  , this equation has only finitely many solutions. But this proof depends on Siegel's finiteness theorem, which is ineffective. Nesterenko & Shorey (1998) showed that, if   and   with  ,  , and  , then   is bounded by an effectively computable constant depending only on   and  . Yuan (2005) showed that for   and odd  , this equation has no solution   other than the two solutions given above.

Balasubramanian and Shorey proved in 1980 that there are only finitely many possible solutions   to the equations with prime divisors of   and   lying in a given finite set and that they may be effectively computed. He & Togbé (2008) showed that, for each fixed   and  , this equation has at most one solution. For fixed x (or y), equation has at most 15 solutions, and at most two unless x is either odd prime power times a power of two, or in the finite set {15, 21, 30, 33, 35, 39, 45, 51, 65, 85, 143, 154, 713}, in which case there are at most three solutions. Furthermore, there is at most one solution if the odd part of x is squareful unless x has at most two distinct odd prime factors or x is in a finite set {315, 495, 525, 585, 630, 693, 735, 765, 855, 945, 1035, 1050, 1170, 1260, 1386, 1530, 1890, 1925, 1950, 1953, 2115, 2175, 2223, 2325, 2535, 2565, 2898, 2907, 3105, 3150, 3325, 3465, 3663, 3675, 4235, 5525, 5661, 6273, 8109, 17575, 39151}. If x is a power of two, there is at most one solution except for x=2, in which case there are two known solutions. In fact, max(m,n)<4^x and y<2^(2^x).

Application to repunits

edit

The Goormaghtigh conjecture may be expressed as saying that 31 (111 in base 5, 11111 in base 2) and 8191 (111 in base 90, 1111111111111 in base 2) are the only two numbers that are repunits with at least 3 digits in two different bases.

See also

edit

References

edit