On a Google search, I've notice that often the "trick" involves factoring the expression (and thus showing that the expression isn't prime), but I can't see it. Is this how you would go about it in this case, or would that be a dead end? Any hints?
-
How is a duplicate of ??? math.stackexchange.com/questions/4841832/…mick– mick2024-01-11 11:47:49 +00:00Commented Jan 11, 2024 at 11:47
-
That's a dupe of this because exactly the same type of covering xongruence argument works there - as is explained in the closing comment there. Once you know this idea it is rote arithmetic to apply it.Bill Dubuque– Bill Dubuque2024-06-22 22:22:37 +00:00Commented Jun 22, 2024 at 22:22
3 Answers
If , then and so
If , then and so
If is even, then is divisible by .
And clearly .
-
1I explain the general idea behind this in my answer.Bill Dubuque– Bill Dubuque2015-02-17 19:37:12 +00:00Commented Feb 17, 2015 at 19:37
The first elements of have these prime factorizations
and where we see for all which implies that for all some so is composite for all by
so properly by by
Remark This is a prototypical application of covering congruences. See also this question, and see this question for a polynomial analog, and a link to a paper of Schinzel.
-
See here for another example.Bill Dubuque– Bill Dubuque2015-02-17 21:06:20 +00:00Commented Feb 17, 2015 at 21:06
-
Doubts: (a) How do we figure out the number of elements to factorize before noticing a pattern, and (b) why do we look at when searching for the factors of .Anant– Anant2015-02-18 18:38:56 +00:00Commented Feb 18, 2015 at 18:38
-
@Anant Keep increasing till the first elements all have a factor from If the compositeness can be proved via such a congruential case-analysis then this method will eventually discover it. Of course, without any a priori bound, it is only a semi-algorithm. But it works well for "designed" problems, where we expect this may occur.Bill Dubuque– Bill Dubuque2015-02-18 18:50:46 +00:00Commented Feb 18, 2015 at 18:50
-
Very nice! It will take me some time to understand the full content of the paper, but I'm already liking the idea of covering congruences :)Anant– Anant2015-03-02 18:27:07 +00:00Commented Mar 2, 2015 at 18:27
Not sure whether this qualifies for it as answer but if you reduce it mod you can see that the expression is divisible by if is even.
If you reduce it mod then you see that the expression is divisible by if mod . ( mod )
If you reduce it mod then the expression is divisible by if is mod .
I sort of calculated a few numbers and then tried some numbers. I don't think this is a good way at all but I guess it works.