OFFSET
1,1
COMMENTS
The parabola curve fit: p1(0)=40; p1(1)=41; p1(2)=44 yields p1(x)=x^2+40. A second fit: p2(0)=81; p2(1)=82; p2(2)=84 yields p2(x)=(x^2+x)/2 + 81. A third fit: p3(0)=122; p3(1)=123; p3(2)=130 yields p3(x)=3x^2-2*x+122.
Substituting n=x^2 into k=n^2+n+41 is factorable as: k1=(x^2+x+41)*(x^2-x+41). This shows that all lattice points on p1 produce a composite k.
Similarly, substituting n=(x^2-x)/2 + 81 into k factors as k2=(x^2+163)*(x^2+2*x+164)/4. So all lattice points on p2 produce a composite k.
Similarly, substituting n=3*x^2-2*x+122 into k factors as k3=(x^2-x+41)*(9*x^2-3*x+367). So all lattice points on p3 produce a composite k.
This procedure can be continued with p4(x)=3*x^2+8*x+127, p5(x)=4*x^2-3*x+163, p6(x)=4*x^2+11*x+170, p7(x)=5*x^2-4*x+204, p8(x)=5*x^2+14*x+213, p9(x)=(3*x^2-x)/2+244, p10(x)=(3*x^2+7*x)/2+246, and so on.
REFERENCES
John Stillwell, Elements of Number Theory, Springer, 2003, page 3.
R. Crandall and C. Pomerance, Prime Numbers A Computational Perspective 2nd ed., Springer, 2005, page 21.
LINKS
Charles R Greathouse IV, Table of n, a(n) for n = 1..10000
Eric Weisstein's World of Mathematics, Prime-Generating Polynomial
FORMULA
a(n) ~ n. - Charles R Greathouse IV, Apr 25 2014
MAPLE
A007634:={}:
for n from 1 to 1000 do
k:=n^2+n+41:
if isprime(k)=false then
end if:
end do:
pv1:=Vector(1000, j->(j-1)^2+40):
p1:=convert(pv1, set):
pv2:=Vector(1000, j->((j-1)^2+(j-1))/2+81):
p2:=convert(pv2, set):
pv3:=Vector(1000, j->(3*(j-1)^2-2*(j-1)+122)):
p3:=convert(pv3, set):
p3set:=A194565 minus p3;
PROG
(PARI) is(n)=!isprime(n^2+n+41) && !issquare(n-40) && !issquare(8*n-647) && n > 126 && (x->3*x^2-2*x+122)(round((1+sqrt(3*n-365))/3))!=n \\ Charles R Greathouse IV, Apr 25 2014
CROSSREFS
Cf. A007634 (n such that n^2+n+41 is composite).
KEYWORD
nonn,easy
AUTHOR
Matt C. Anderson, Aug 30 2011
EXTENSIONS
Fixed subscripts in first comment. Added * in 4th comment. Added 5th comment. Changed g to k for consistancy. Improved Maple code. Added second book reference. Changed name to agree with comment of editor.
STATUS
approved