%I #52 Dec 10 2021 11:19:17
%S 4,18,32,91,72,168,192,270,260,576,288,868,560,720,768,1488,864,1482,
%T 1120,1764,1408,2808,1152,3420,2232,2268,2880,4480,1800,4464,3328,
%U 5292,3264,5184,3456,6734,4712,5760,4480,10890,3528,10368,5280,7560,8736,9216,5760,12152
%N Sum of divisors of the n-th second hexagonal number.
%C The characteristic shape of the symmetric representation of a(n) consists in that in the main diagonal of the diagram the smallest Dyck path has a peak and the largest Dyck path has a valley.
%C So knowing this characteristic shape we can know if a number is a second hexagonal number (or not) just by looking at the diagram, even ignoring the concept of second hexagonal number.
%C Therefore we can see a geometric pattern of the distribution of the second hexagonal numbers in the stepped pyramid described in A245092.
%F a(n) = A000203(A014105(n)).
%e a(3) = 32 because the sum of divisors of the third second hexagonal number (i.e., 21) is 1 + 3 + 7 + 21 = 32.
%e On the other hand we can see that in the main diagonal of every diagram the smallest Dyck path has a peak and the largest Dyck path has a valley as shown below.
%e Illustration of initial terms:
%e ----------------------------------------------------------------------------
%e n h(n) a(n) Diagram
%e ----------------------------------------------------------------------------
%e _ _ _
%e | | | | | |
%e _ _|_| | | | |
%e 1 3 4 |_ _| | | | |
%e | | | |
%e _ _| | | |
%e | _ _| | |
%e _ _|_| | |
%e | _| | |
%e _ _ _ _ _| | | |
%e 2 10 18 |_ _ _ _ _ _| | |
%e _ _ _ _|_|
%e | |
%e _| |
%e | _|
%e _ _|_|
%e _ _| _|
%e |_ _ _|
%e |
%e |
%e _ _ _ _ _ _ _ _ _ _ _| \
%e 3 21 32 |_ _ _ _ _ _ _ _ _ _ _| _ _\
%e | \
%e _| _\
%e | | \
%e _ _| _| \
%e _ _| _|
%e | _|
%e _ _ _| _ _|
%e | |
%e | _ _ _ _|
%e | |
%e | |
%e | |
%e | |
%e _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _| |
%e 4 36 91 |_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _|
%e .
%e Column h gives the n-th second hexagonal number (A014105).
%e The widths of the main diagonal of the diagrams are [0, 0, 0, 1] respectively.
%e a(n) is the area (and the number of cells) of the n-th diagram.
%e For n = 3 the sum of the regions (or parts) of the third diagram is 11 + 5 + 5 + 11 = 32, so a(3) = 32.
%e For n = 4 the symmetric representation of a(4) = sigma(36) = 91 is partially illustrated because it is too big to include totally here.
%t a[n_] := DivisorSigma[1, n*(2*n + 1)]; Array[a, 50] (* _Amiram Eldar_, Aug 18 2021 *)
%o (PARI) a(n) = sigma(n*(2*n + 1)); \\ _Michel Marcus_, Aug 18 2021
%Y Bisection of A074285.
%Y Cf. A000203, A000384, A014105, A237591, A237593, A245092, A262626, A346864.
%Y Some sequences that gives sum of divisors: A000225 (of powers of 2), A008864 (of prime numbers), A065764 (of squares), A073255 (of composites), A074285 (of triangular numbers, also of generalized hexagonal numbers), A139256 (of perfect numbers), A175926 (of cubes), A224613 (of multiples of 6), A346865 (of hexagonal numbers), A346867 (of numbers with middle divisors), A346868 (of numbers with no middle divisors), A347155 (of nontriangular numbers).
%K nonn
%O 1,1
%A _Omar E. Pol_, Aug 17 2021