%I #19 Jan 18 2019 01:24:08
%S 2,3,8,7,24,17,48,31,80,49,120,17,168,97,26,127,288,161,360,49,197,
%T 241,528,127,624,337,728,97,840,199,960,511,485,577,99,161,1368,721,
%U 170,351,1680,197,1848,241,649,1057,2208,127,2400,1249,577,337,2808,1457,1451
%N a(n) is the smallest value k > 1 such that k^2 - 1 is divisible by n^2.
%C a(n) = n^2 - 1 if n > 1 is in A235868. - _Robert Israel_, Jan 17 2019
%H Robert Israel, <a href="/A100836/b100836.txt">Table of n, a(n) for n = 1..10000</a> (first 500 terms from Harvey P. Dale)
%e a(4)=7 because 7^2 - 1 is divisible by 4^2 (and 7 is the smallest integer > 1 that satisfies this criterion).
%p f:= n -> min(map(t -> rhs(op(t)),{msolve(k^2-1,n^2)}) minus {1}):
%p f(1):= 2:
%p map(f, [$1..100]); # _Robert Israel_, Jan 17 2019
%t With[{c=Range[2,10000]},Flatten[Table[Select[c,Divisible[#^2-1, n^2]&, 1],{n,60}]]] (* _Harvey P. Dale_, Oct 23 2011 *)
%o (PARI) { A100836(n)=local(f,b,t,m); if(n==1,return(1)); if(n==2,return(3));t=valuation(n,2); if(n==2^t, return(2^(2*t-1)-1)); f=factorint(n/2^t);f=vector(matsize(f)[1],j,f[j,1]^(2*f[j,2])); if(t>0, f=concat(f,[2^(2*t-1)])); b=n^2+1; forvec(v=vector(#f,i,[0,1]), m=lift(chinese(vector(#f,j,Mod((-1)^v[j],f[j])))); if(m>1, b=min(b,m)); ); b } /* _Max Alekseyev_, Nov 21 2008 */
%Y Cf. A235868.
%K nonn,look
%O 1,1
%A Thomas Kerscher (Thomas.Kerscher(AT)web.de), Jan 19 2005
%E Entries confirmed by _Ray Chandler_, _R. J. Mathar_, and _Max Alekseyev_, Nov 21 2008
|