-   Puzzles (
-   -   Official 'exchange of inanities' thread [Was: mm127 is prime, cuz I say so] (

R. Gerbicz 2015-10-14 14:28

See: [url][/url]

Xyzzy 2015-10-14 14:40

Vaguely related?


(Even if it isn't related, it sure is presented in an entertaining way.)

alpertron 2015-10-14 14:49

You can read more about that on [url][/url] . But understanding it requires knowledge about Number Theory.

It is interesting to notice that this polynomial generates a lot more primes than random polynomials. This is because the values given by the Euler polynomial are never divisible by 2, 3, 5, 7, 11, 13, 17, 19, 23, 29 or 37.

In the case p=2 this is easy to see because f(x) = x^2+x+41 is always odd, so f(x) is never multiple of 2.

For the other cases you can use the quadratic formula: x = (-1+/- sqrt(1-4*41)) / 2 (mod p)

The argument of the square root is the discriminant: 1-4*41 = -163 (RDS mentioned this a few posts back).

This discriminant must be a square mod p, otherwise we cannot extract the square root mod p and f(x) will not be multiple of p. By using the Jacobi symbol we can check this quickly and find that -163 is not a quadratic residue mod 3, 5, 7, 11, 13, 17, 19, 23, 29 or 37.

Since most composite numbers are divisible by small primes and f(x) is never divisible by the numbers shown above, we can conclude that the density of primes is greater for this polynomial. This can be checked experimentally.

In general, for most irreducible quadratic polynomial f(x) it can be shown that about half of the primes up to some bound cannot be divisors of f(x), so the density of primes is much greater than for linear polynomials. This is the explanation for the Ulam spiral. Euler polynomial is better yet in terms of density of primes, because of the set of primes not dividing the polynomial shown above.

alpertron 2015-10-14 15:11

You can see on [url][/url], the Ulam spiral with the polynomials that generate the diagonals and the prime numbers less than 100 that cannot divide these polynomials. You will notice that when these prime numbers are small, the diagonals have greater density of prime numbers (there are more green dots) on the spiral.

R.D. Silverman 2015-10-14 18:30

[QUOTE=R. Gerbicz;412652]Good question, it was an olympiad problem in 1987, see: [url][/url]
So if we know that the above f(x)=x^2+x+41 is prime for f(0),f(1),f(2),f(3) then we know that it is also prime for f(4),..,f(39).
As I can remember there is a proof that there is only a finitely many such n value for that we can apply the statement, and we know all of them.[/QUOTE]

Let the discriminant of such a polynomial be -D. To have a long sequence of consecutive primes
Q(sqrt(-D)) must have class number 1 (i.e. the imaginary quadratic field must be a UFD). There
are only finitely many such.

chalsall 2015-10-14 18:52

[QUOTE=R.D. Silverman;412689]There are only finitely many such.[/QUOTE]

Would that not be better written as "There are only so many finitely defined"?

R.D. Silverman 2015-10-14 21:06

[QUOTE=chalsall;412691]Would that not be better written as "There are only so many finitely defined"?[/QUOTE]

negative, misplaced modifier

chalsall 2015-10-14 21:35

[QUOTE=R.D. Silverman;412707]negative, misplaced modifier[/QUOTE]

Please further define.

chalsall 2015-10-14 22:04

[QUOTE=R.D. Silverman;412707]negative, misplaced modifier[/QUOTE]

Still awaiting....

chalsall 2015-10-14 23:54

[QUOTE=R.D. Silverman;412707]negative, misplaced modifier[/QUOTE]

Mr. Silverman.

As you seem to take great joy in challenging others, might you please answer questions presented to you?

LaurV 2015-10-15 01:40

[QUOTE=chalsall;412722]Mr. Silverman. <snip>[/QUOTE]
Chris, that is your fault, you don't know how to make Mr. Silverman reply to your posts. You should say (in reply to the post with discriminant):
"Mr. Silverman, I bet you didn't know that, you just read it in the R. Gerbicz's link in post #34"
I bet he would reply to that immediately. :razz:

All times are UTC. The time now is 13:11.

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2022, Jelsoft Enterprises Ltd.