login
Table read by rows: T(n,k) is the smallest triangular number that begins a run of exactly k consecutive triangular numbers with n divisors, or 0 if no such run exists.
2

%I #24 Feb 02 2021 22:52:21

%S 1,3,55,0,0,6,28,153,105,66,406,36,496,276,3916,11175,8128,1631432881,

%T 120,1770,17205,106030,457062495,240119995521,300,2556,528,327645,

%U 12607731,38009927549623740385753,630,1540,29646,181503,3181503,18542914232391,584426575442663305723408463937454358857690

%N Table read by rows: T(n,k) is the smallest triangular number that begins a run of exactly k consecutive triangular numbers with n divisors, or 0 if no such run exists.

%C The number of terms in the n-th row is A319037(n). Row n has no terms here iff A081978(n) = 0 (i.e., there is no triangular number with n divisors; this is the case for n = 3, 5, 7, 11, 13, 17, 19, 21, 23, 25, 29, 31, 33, 35, 37, 39, 41, 43, 47, 49, 51, 53, 55, 57, 59, 61, ...).

%e Row 4 has A319037(4) = 4 terms: 55, 0, 0, 6. T(4,4) = 6 because 6 is the smallest triangular number that begins a run of exactly 4 consecutive triangular numbers with 4 divisors; T(4,1) = 55 because T(10)=55 is the smallest triangular number whose predecessor T(9)=45 and successor T(11)=66 each have a number of divisors other than 4 (so 55 constitutes a "run" of only a single triangular number); and T(4,2) = T(4,3) = 0 because no triangular numbers with 4 divisors are in runs of exactly 2 or 3 successive triangular number with 4 divisors. (In other words, every triangular number with 4 divisors that is not in the run {6, 10, 15, 21} is isolated.)

%e Every triangular number can be represented as the product of an integer m and one of the two odd integers 2m-1 and 2m+1; graphically, if we represent the integers m and the odd integers 2m-1 and 2m+1 in two rows, with each m connected to 2m-1 and 2m+1 by diagonal lines as

%e .

%e 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

%e /\ /\ /\ /\ /\ /\ /\ /\ /\ /\ /\ /\ /\ /\ /\

%e / \/ \/ \/ \/ \/ \/ \/ \/ \/ \/ \/ \/ \/ \/

%e 1 3 5 7 9 11 13 15 17 19 21 23 25 27 29

%e .

%e then each triangular number is the product of two connected factors f1 and f2 as follows:

%e .

%e f1: 1 2 3 4 5 6

%e /\ /\ /\ /\ /\ /\

%e / \ / \ / \ / \ / \ / \

%e 1 3 6 10 15 21 28 36 45 55 66

%e / \ / \ / \ / \ / \ /

%e / \/ \/ \/ \/ \/

%e f2: 1 3 5 7 9 11

%e .

%e Writing tau() as the number-of-divisors function, since gcd(m, 2m-1) = gcd(m, 2m+1) = 1, we have tau(f1*f2) = tau(f1)*tau(f2) for each triangular number f1*f2. Showing the number of divisors of each factor f1 and f2 and each triangular number in parentheses, we have

%e .

%e f1: 1 2 3 4 5

%e (1) (2) (2) (3) (2)

%e /\ /\ /\ /\ /\

%e / \ / \ / \ / \ / \

%e 1 3 6 10 15 21 28 36 45

%e (1) (2) (4) (4) (4) (4) (6) (9) (6)

%e / \ / \ / \ / \ /

%e / \/ \/ \/ \/

%e f2: 1 3 5 7 9

%e (1) (2) (2) (2) (3)

%e .

%e A run of consecutive triangular numbers T with a constant tau(T) thus requires a constant tau(f1)=tau1 and a constant tau(f2)=tau2 for all f1 and all f2 that appear as factors in the run. Thus, e.g., a run of 3 consecutive triangular numbers with 12 divisors requires 3 successive connections, hence 4 factors consisting of 2 consecutive integers f1, with tau=tau1, overlapping in the above graphic representation with 2 consecutive odd numbers f2, with tau=tau2, such that tau1*tau2=12. The divisors of 12 are {1, 2, 3, 4, 6, 12}. Neither tau1 nor tau2 can be 1 (only one integer, 1, has tau=1), so neither can be 12/1=12. Neither tau1 nor tau2 can be 3 (every number with 3 divisors is the square of a prime, and no two consecutive integers are squares of primes, nor are any two consecutive odd numbers), so neither can be 12/3=4. Thus tau1 and tau2 must be 2 and 6, in some order. Since tau=2 only for primes, and the only two consecutive integers f1 that are prime are 2 and 3, and the f2 to which they would both connect is 5 (which does not have 6 divisors), tau1 cannot be 2; thus tau1=6, so tau2=2. The two consecutive odd numbers f2 are twin primes, and are not (3,5), so their average is a multiple of 6, so the integer f1 connected to them, being half of that average, is a multiple of 3, and since it has 6 divisors, it must be 3^5 = 243 or a number of the form 3^2*p or 3*p^2 where p is a prime other than 3. As it turns out, the smallest such f1 yielding a run of three consecutive triangular numbers with 12 divisors is 3*5^2 = 75:

%e .

%e 74 75 76

%e (2*37: tau=4) (3*5^2: tau=6) (2^2*19: tau=6)

%e . /\ /.

%e . / \ / .

%e . / \ / .

%e . 11175= 11325= 11476= .

%e (tau=8) 75*149 75*151 76*151 (tau=36)

%e . tau=12 tau=12 tau=12 .

%e . / \ / .

%e . / \ / .

%e ./ \/ .

%e 149 151 153

%e (prime: tau=2) (prime: tau=2) (3^2*17: tau=6)

%e .

%e This first run of exactly three consecutive triangular numbers with 12 divisors begins with 11175, so T(12,3) = 11175.

%e The table begins as follows:

%e .

%e row terms

%e --- --------------------------------------------------

%e 1 1;

%e 2 3;

%e 3 (no terms)

%e 4 55, 0, 0, 6;

%e 5 (no terms)

%e 6 28, 153;

%e 7 (no terms)

%e 8 105, 66, 406;

%e 9 36;

%e 10 496;

%e 11 (no terms)

%e 12 276, 3916, 11175;

%e 13 (no terms)

%e 14 8128;

%e 15 1631432881;

%e 16 120, 1770, 17205, 106030, 457062495, 240119995521;

%e 17 (no terms)

%e 18 300, 2556;

%e 19 (no terms)

%e 20 528, 327645, 12607731;

%e 21 (no terms)

%e 22 38009927549623740385753;

%e 23 (no terms)

%e 24 630, 1540, 29646, 181503, 3181503, 18542914232391, 584426575442663305723408463937454358857690

%Y Cf. A000005, A000217, A081978, A276542, A319035, A319036, A319037.

%K nonn,tabf,hard

%O 1,2

%A _Jon E. Schoenfield_, Dec 08 2018

%E T(22,1), T(24,1)-T(24,7) added to Data, and Comments updated, by _Jon E. Schoenfield_, Jan 29 2021 [T(24,7) from _Jinyuan Wang_'s Example section entry at A319037]