A319796 Even numbers that have middle divisors, where "middle divisor" means a divisor in the half-open interval [sqrt(n/2), sqrt(n*2)).

2, 4, 6, 8, 12, 16, 18, 20, 24, 28, 30, 32, 36, 40, 42, 48, 50, 54, 56, 60, 64, 66, 70, 72, 80, 84, 88, 90, 96, 98, 100, 104, 108, 110, 112, 120, 126, 128, 130, 132, 140, 144, 150, 154, 156, 160, 162, 168, 170, 176, 180, 182, 190, 192, 196, 198, 200, 204, 208, 210, 216, 220, 224, 228, 234, 238, 240, 242, 252, 256

Offset: 1

Author

Omar E. Pol, Sep 28 2018

Keywords

• nonn

Comments

Even numbers k such that the symmetric representation of sigma(k) has an odd number of parts.

An even number A005843 is in this sequence iff A067742(t) != 0.

For the definition of middle divisors, see A067742.

For more information about the symmetric representation of sigma(k) see A237593.

From Hartmut F. W. Hoft, Mar 28 2023: (Start)

By Theorem 1 (iii) in A067742, the number of middle divisors of a(n) equals the width of the symmetric representation of sigma(a(n)), SRS(a(n)), on the diagonal which equals the triangle entry A249223(n, A003056(n)). The maximum widths of the center part of SRS(a(n)) need not occur at the diagonal.

For example, a(7) = 2 * 3^2 = 18, SRS(18) has a single part with maximum width 2 while its width at the diagonal equals 1 = A067742(18), and divisor 3 is the only middle divisor of a(7). (End)

Examples

			6 is in the sequence because it's an even number and the symmetric representation of sigma(6) = 12 has an odd number of parts (more exactly only one part), as shown below:
.    _ _ _ _
.   |_ _ _  |_ 12
.         |   |_
.         |_ _  |
.             | |
.             | |
.             |_|
.
Also 50 is in the sequence because it's an even number and the symmetric representation of sigma(50) = 93 has an odd number of parts (more exactly three parts), they are [39, 15, 39].
a(34) = 110 = 2 * 5 * 11 has 10 and 11 as its middle divisors, and SRS(a(34)) has 3 parts and width 2 at the diagonal. -  _Hartmut F. W. Hoft_, Mar 28 2023
		

Links

• Michael De Vlieger, Table of n, a(n) for n = 1..10000

Crossrefs

Intersection of A005843 and A071562.

Cf. A000203, A067742, A071090, A236104, A237270, A237271, A237593, A239932, A239934, A240542, A245092, A280919, A281007, A296508, A299761, A299777, A303297, A319529, A319801, A319802.

Programs

Maple

filter:= n -> ormap(t -> t^2 >= n/2 and t^2 < 2*n, numtheory:-divisors(n)):
select(filter, 2*[$1..1000]); # Robert Israel, Mar 29 2023

Mathematica

middleDiv[n_] := Select[Divisors[n], Sqrt[n/2]<=#Hartmut F. W. Hoft, Mar 28 2023 *)

Extensions

Name clarified by Omar E. Pol, Mar 28 2023