OFFSET
1,2
COMMENTS
a(n) is the smallest number m such that tau(m) = tau(m+1) - 1 = n, where tau(m) = the number of divisors of m (A000005).
Other terms: a(32) = 1476224, a(48) = 7529535, a(80) = 27709695. There are no other positive terms <= 10^8.
Next terms: a(44) = 358913024, a(63) = 288422289, a(64) = 116985855, a(224) = 10702937024. - Vaclav Kotesovec, Apr 07 2021
The number m = 27285093123 is the first start of run of 3 consecutive integers m, m+1 and m+2 with triplet [tau(m), tau(m+1), tau(m+2)] = [tau(m), tau(m) + 1, tau(m) + 2]: [tau(27285093123), tau(27285093124), tau(27285093125)] = [8, 9, 10].
From Amiram Eldar, Apr 08 2021: (Start)
a(5) = 0. Proof: If tau(m) = 5 then m = p^4, where p is an odd prime. Then m+1 is even and tau(m+1) = 6.
There are 3 possible forms of m+1 = p^4+1 that we have to consider:
1) m+1 = 2^5 which is not a solution since tau(31) = 2.
2) m+1 = 4*q, where q is an odd prime, which is impossible since p^4 + 1 = 4*q has no solution as p^4 == 1 (mod 4) for an odd prime p.
3) m+1 = 2*q^2, where q is an odd prime, which is impossible since p^4 + 1 = 2*q^2 has no solution with p and q primes (see Cohn, 1997). (End)
From David A. Corneth, Apr 09 2021: (Start)
a(10) = 0. Proof: if m has 10 divisors and m + 1 has 11 divisors then m + 1 = p^10 for some prime p. Then m = p^10 - 1 = (p - 1)*(p + 1)*(p^4 - p^3 + p^2 - p + 1)*(p^4 + p^3 + p^2 + p + 1) which has as least 16 divisors for p > 2. Case p = 2 does not give a solution.
a(12) = 0. Proof: if m has 12 divisors and m + 1 has 13 divisors then m + 1 = p^12 for some prime p. Then m = p^12 - 1 = (p - 1)*(p + 1)*(p^2 - p + 1)*(p^2 + 1)*(p^2 + p + 1)*(p^4 - p^2 + 1) which has at least 24 divisors for p >= 2. So m cannot have 12 divisors. (End)
From Jon E. Schoenfield, Apr 21 2021: (Start)
For each n (except where a(n) = 0), since m and m+1 have n and n+1 divisors, respectively, and either n or n+1 is odd, it follows that either m or m+1 is a square; i.e., each term is either a square or one less than a square.
The only terms <= 10^16 not listed above are a(39) = 5633825050624, a(56) = 8601122276288, a(95) = 281354730471424, a(104) = 9274308890624, a(128) = 2326566604374015, a(144) = 5409275354546175, a(255) = 1778655385595664, a(384) = 357507737015624, and a(512) = 14765267353599. (Two additional known terms and one known upper bound are far larger; see below.)
For each prime p, a(p) = q^(p-1) where q is the smallest prime such that q^(p-1) + 1 has p+1 divisors (or, if no such prime q exists, a(p) = 0). At present, the only primes p for which such a prime q is known to exist are p = 2, 3, 7, 11, 23, 31, and 47, yielding the terms a(2) = 3^1 = 3, a(3) = 3^2 = 9, a(7) = 3^6 = 729, a(11) = 3^10 = 59049, a(23) = 41^22 = 302862043149743582494593171234930481, a(31) = 2183431^30 (a 191-digit number), and the upper bound a(47) <= 1483^46, respectively. (a(47) is 1459^46 or 1483^46, depending on whether 1459^46+1 has 48 divisors.) (Observation: for each prime p in {2, 3, 7, 11, 23, 31, 47}, p+1 is 3-smooth.)
Conjecture: a(n) = 0 for more than 95% of the indices n in 1..1000. (End)
LINKS
J. H. E. Cohn, The Diophantine equation x^4 + 1 = Dy^2, Mathematics of Computation, Vol. 66, No. 219 (1997), pp. 1347-1351.
FORMULA
a(n) = |A341654(n,n-1)|.
EXAMPLE
a(4) = 15 because 15 is the smallest number m such that tau(m) = tau(15) = 4 and tau(16) = tau(m) + 1 = 5.
PROG
(Magma) Ax:=func<n|exists(r){m: m in[1..10^6] | #Divisors(m) eq #Divisors(m + 1) - 1 and #Divisors(m) eq n} select r else 0>; [Ax(n): n in [1..4]]
CROSSREFS
KEYWORD
nonn
AUTHOR
Jaroslav Krizek, Apr 06 2021
EXTENSIONS
a(10), a(12) from David A. Corneth, Apr 09 2021
a(13)-a(14) from Jinyuan Wang, Apr 18 2021
a(17)-a(19) from Jon E. Schoenfield, Apr 19 2021
a(21)-a(22), a(25)-a(26), a(28)-a(30) from Jinyuan Wang, Apr 23 2021
STATUS
approved