OFFSET
2,1
COMMENTS
The author has shown that a(n) == 2 (mod p_n) if p_n == 3 (mod 4). He has also established the following general theorem:
Let p be any odd prime and let d be any quadratic non-residue modulo p. Then we have the congruence
Product_{x=1..(p-1)/2} (x^2 - d) == 2*(-1)^((p+1)/2) (mod p).
This can be proved as follows: By Wilson's theorem we have (((p-1)/2)!)^2 == (-1)^((p+1)/2) (mod p), and thus we reduce the desired congruence to
Product_{0<k<p,(k/p)=-1} (1 - k) == 2 (mod p). (*)
Clearly
Product_{1<k<p, (k/p)=1} (1 - k)
== Product_{j=2..(p-1)/2} (1 - j^2)
= (-1)^((p+1)/2)*((p-1)/2)!)^2*(p+1)/(2p-2)
== -1/2 (mod p),
and Product_{k=2..p-1} (1 - k) = (-1)^(p-2)*(p-2)! == -1 (mod p) by Wilson's theorem. Therefore (*) follows.
LINKS
Zhi-Wei Sun, Table of n, a(n) for n = 2..30
EXAMPLE
a(3) = (1^1+1)*(2^2+1)*(3^2+1) = 100 and a(3) == 2 (mod 7).
MATHEMATICA
a[n_]:=Product[(x^2+1), {x, 1, (Prime[n]-1)/2}]
Table[a[n], {n, 2, 15}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zhi-Wei Sun, Aug 11 2013
STATUS
approved