cp's OEIS Frontend

A265652 Triangle read by rows: T(n,k) is the sum of the union of the divisors of n and k.

%I A265652 #27 Dec 18 2015 11:27:42
%S A265652 1,3,3,4,6,4,7,7,10,7,6,8,9,12,6,12,12,12,16,17,12,8,10,11,14,13,19,8,
%T A265652 15,15,18,15,20,24,22,15,13,15,13,19,18,21,20,27,13,18,18,21,22,18,27,
%U A265652 25,30,30,18,12,14,15,18,17,23,19,26,24,29,12,28,28,28,28,33,28,35,36,37,43,39,28
%N A265652 Triangle read by rows: T(n,k) is the sum of the union of the divisors of n and k.
%C A265652 Does every positive integer except 2 and 5 occur here? The stronger form of Goldbach's conjecture (every even integer > 6 is the sum of two distinct primes) suffices to show that every odd integer (except 5) is in the sequence, since T(p,q) = p + q + 1.
%H A265652 Reinhard Zumkeller, <a href="/A265652/b265652.txt">Rows n = 1..125 of triangle, flattened</a>
%F A265652 T(n,k) = sigma(n) + sigma(k) - sigma(gcd(n,k)).
%F A265652 T(n,k) = A000203(n) + A245093(n,k) - A132442(n,k). - _Reinhard Zumkeller_, Dec 12 2015
%e A265652 Triangle begins:
%e A265652    1
%e A265652    3  3
%e A265652    4  6  4
%e A265652    7  7 10  7
%e A265652    6  8  9 12  6
%e A265652   12 12 12 16 17 12
%e A265652   ...
%e A265652 The divisors of 3 are {1, 3}; the divisors of 4 are {1, 2, 4}. The union is {1, 2, 3, 4}, summing to 10; so T(4,3) = 10.
%p A265652 seq(seq(numtheory:-sigma(n) + numtheory:-sigma(k) - numtheory:-sigma(igcd(n,k)), k=1..n), n=1..10); # _Robert Israel_, Dec 17 2015
%t A265652 Table[Total@ Union[Divisors@ n, Divisors@ k], {n, 12}, {k, n}] // Flatten (* _Michael De Vlieger_, Dec 18 2015 *)
%o A265652 (PARI) T(n,k) = sigma(n) + sigma(k) - sigma(gcd(n,k))
%o A265652 (Haskell)
%o A265652 a265652 n k = a265652_tabl !! (n-1) !! (k-1)
%o A265652 a265652_row n = a265652_tabl !! (n-1)
%o A265652 a265652_tabl = zipWith (zipWith (-))
%o A265652    (zipWith (map . (+)) a000203_list a245093_tabl) a132442_tabl
%o A265652 -- _Reinhard Zumkeller_, Dec 12 2015
%Y A265652 Cf. A000203 (first column and main diagonal).
%Y A265652 T(2n,n) gives A062731.
%Y A265652 Cf. A132442, A245093.
%K A265652 nonn,tabl,look
%O A265652 1,2
%A A265652 _Franklin T. Adams-Watters_, Dec 11 2015