login
A319796
Even numbers that have middle divisors, where "middle divisor" means a divisor in the half-open interval [sqrt(n/2), sqrt(n*2)).
14
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,1
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)
LINKS
EXAMPLE
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
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]<=#<Sqrt[2n]&]
a319796[n_] := Select[Range[2, n, 2], middleDiv[#]!={}&]
a319796[256] (* Hartmut F. W. Hoft, Mar 28 2023 *)
KEYWORD
nonn
AUTHOR
Omar E. Pol, Sep 28 2018
EXTENSIONS
Name clarified by Omar E. Pol, Mar 28 2023
STATUS
approved