OFFSET
1,2
COMMENTS
From Robert Israel, Mar 29 2026: (Start)
a(n) >= 2 for n > 1, since d = 1 and d = n always work.
a(n) = 2 if n is a prime power (A246655). (End)
LINKS
Robert Israel, Table of n, a(n) for n = 1..10000
EXAMPLE
a(4) = 2 because (4/d)^2 - 1 == 0 (mod d) for d = 1 (or 4) of n = 4, but d = 2 is a nondivisor of 3 = (4/2)^2 - 1.
MAPLE
f:= proc(n)
nops(select(d -> (n/d)^2-1 mod d = 0, NumberTheory:-Divisors(n)))
end proc:
map(f, [$1..100]); # Robert Israel, Mar 29 2026
MATHEMATICA
a[n_] := DivisorSum[n, 1 &, Divisible[(n/#)^2 - 1, #] &]; Array[a, 100] (* Amiram Eldar, Mar 29 2026 *)
PROG
(Magma) [#[d: d in Divisors(n) | ((n div d)^2 - 1) mod d eq 0]: n in [1..100]];
(PARI) a(n) = sumdiv(n, d, (((n/d)^2-1) % d) == 0); \\ Michel Marcus, Apr 06 2026
CROSSREFS
KEYWORD
nonn
AUTHOR
Juri-Stepan Gerasimov, Mar 28 2026
STATUS
approved
