OFFSET
1,3
COMMENTS
a(n) = 2 <=> the set S = {1..n} has only one decomposition into smaller subsets with equal element sum.
LINKS
Alois P. Heinz and T. D. Noe, Table of n, a(n) for n = 1..10000 (first 1000 terms from T. D. Noe)
FORMULA
a(n) = |{d|n*(n+1)/2 : d>=n}|.
EXAMPLE
a(6) = 2, because 6*7/2 = 21 with divisors {1,3,7,21}, but only 7 and 21 are >= 6. S = {1..6} has only one decomposition into smaller subsets with equal element sum: {1,6}, {2,5}, {3,4}.
a(7) = 3; 7*8/2 = 28 with divisors {1,2,4,7,14,28}, 3 of which are >= 7. S = {1..7} has 5 decompositions into smaller subsets with equal element sum.
MAPLE
with(numtheory):
a:= n-> nops(select(x-> x>=n, divisors(n*(n+1)/2))):
seq(a(n), n=1..120);
MATHEMATICA
a[n_] := DivisorSum[n*(n+1)/2, 1 &, # >= n &]; Array[a, 100] (* Amiram Eldar, Mar 09 2026 *)
PROG
(PARI) a(n) = sumdiv(n*(n+1)/2, d, d >= n); \\ Amiram Eldar, Mar 09 2026
CROSSREFS
KEYWORD
easy,nonn
AUTHOR
Alois P. Heinz, Sep 03 2009
STATUS
approved
