Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).
%I #32 Aug 20 2021 00:22:52
%S 4,6,8,18,12,14,24,18,20,32,36,24,42,40,30,32,48,54,38,60,56,42,44,84,
%T 72,48,72,98,54,72,80,90,60,62,96,84,68,126,96,72,74,114,124,140,168,
%U 80,126,84,108,132,120,90,168,128,144,120,98,102,216,104,192,162,108,110
%N Sum of divisors of the numbers with no middle divisors.
%C The characteristic shape of the symmetric representation of a(n) consists in that in the main diagonal of the diagram the width is equal to zero.
%C So knowing this characteristic shape we can know if a number has middle divisors (or not) just by looking at the diagram, even ignoring the concept of middle divisors.
%C Therefore we can see a geometric pattern of the distribution of the numbers with no middle divisors in the stepped pyramid described in A245092.
%C For the definition of "width" see A249351.
%C All terms are even numbers.
%F a(n) = A000203(A071561(n)).
%e a(4) = 18 because the sum of divisors of the fourth number with no middle divisors (i.e., 10) is 1 + 2 + 5 + 10 = 18.
%e On the other hand we can see that in the main diagonal of every diagram the width is equal to zero as shown below.
%e Illustration of initial terms:
%e m(n) = A071561(n).
%e .
%e n m(n) a(n) Diagram
%e . _ _ _ _ _ _ _ _ _ _ _ _ _
%e | | | | | | | | | | | | | | | | | | | | | |
%e _ _|_| | | | | | | | | | | | | | | | | | | | |
%e 1 3 4 |_ _| _|_| | | | | | | | | | | | | | | | | | |
%e _ _ _| _|_| | | | | | | | | | | | | | | | |
%e 2 5 6 |_ _ _| _| _ _| | | | | | | | | | | | | | | |
%e _ _ _ _| | _ _|_| | | | | | | | | | | | | |
%e 3 7 8 |_ _ _ _| _ _|_| _ _|_| | | | | | | | | | | |
%e | _| | _ _ _| | | | | | | | | | |
%e _ _ _ _ _| | _|_| _ _ _|_| | | | | | | | |
%e 4 10 18 |_ _ _ _ _ _| _ _| | _ _ _|_| | | | | | |
%e 5 11 12 |_ _ _ _ _ _| | _| _| | _ _ _ _|_| | | | |
%e _ _ _ _ _ _ _| | _| _ _| | | _ _ _ _|_| | |
%e 6 13 14 |_ _ _ _ _ _ _| | _ _| _| _| | | _ _ _ _ _| |
%e 7 14 24 |_ _ _ _ _ _ _ _| | | | _|_| | _ _ _ _ _|
%e | _ _| _ _|_| | |
%e _ _ _ _ _ _ _ _ _| | _ _| _| _|_|
%e 8 17 18 |_ _ _ _ _ _ _ _ _| | |_ _ _| |
%e _ _ _ _ _ _ _ _ _ _| | _ _| _|
%e 9 19 20 |_ _ _ _ _ _ _ _ _ _| | | _ _|
%e _ _ _ _ _ _ _ _ _ _ _| | _ _ _|
%e 10 21 32 |_ _ _ _ _ _ _ _ _ _ _| | | _ _|
%e 11 22 36 |_ _ _ _ _ _ _ _ _ _ _ _| | |
%e 12 23 24 |_ _ _ _ _ _ _ _ _ _ _ _| | |
%e | |
%e _ _ _ _ _ _ _ _ _ _ _ _ _| |
%e 13 26 42 |_ _ _ _ _ _ _ _ _ _ _ _ _ _|
%e .
%t s[n_] := Module[{d = Divisors[n]}, If[AnyTrue[d, Sqrt[n/2] <= # < Sqrt[n*2] &], 0, Plus @@ d]]; Select[Array[s, 110], # > 0 &] (* _Amiram Eldar_, Aug 19 2021 *)
%o (PARI) is(n) = fordiv(n, d, if(sqrt(n/2) <= d && d < sqrt(2*n), return(0))); 1; \\ A071561 apply(sigma, select(is, [1..150])) \\ _Michel Marcus_, Aug 19 2021
%Y Cf. A000203, A067742, A071090, A071561, A071562, A237591, A237593, A245092, A249351, A262626, A281007, A299777, 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), A346866 (of second hexagonal numbers), A346867 (of numbers with middle divisors).
%K nonn
%O 1,1
%A _Omar E. Pol_, Aug 18 2021