OFFSET
1,1
COMMENTS
No prime is in the sequence since there are no nontrivial divisors of a prime.
The sequence includes every number that is the square of a prime.
It is easy to show that the other terms are of the form (2p-1)*p^2 where p and 2p-1 are prime. Therefore, the mean of the two divisors in question is always an integer.
LINKS
Harvey P. Dale, Table of n, a(n) for n = 1..600
EXAMPLE
4 is in the sequence because its smallest nontrivial divisor is 2, its largest nontrivial divisor is 2, and their mean is 2.
45 is in the sequence because its smallest nontrivial divisor is 3, its largest nontrivial divisor is 15, and their mean is 9, a divisor of 45.
10 is not in the sequence because it is not an integral multiple of 7/2, the mean of 2 and 5.
MATHEMATICA
mslndQ[n_]:=Module[{d=Divisors[n]}, Divisible[n, Mean[{d[[2]], d[[-2]]}]]]; Select[Range[2, 50000], mslndQ] (* Harvey P. Dale, Jul 24 2017 *)
PROG
(PARI) is(n) = my(d=divisors(n), m=(d[2]+d[#d-1])/2); if(n%m==0, 1, 0) \\ Felix Fröhlich, Feb 28 2017
CROSSREFS
KEYWORD
nonn
AUTHOR
Emmanuel Vantieghem, Feb 28 2017
STATUS
approved