Show that 13 is the largest prime that can divide....

  • Thread starter Thread starter Math100
  • Start date Start date
  • Tags Tags
    Prime
Math100
Messages
823
Reaction score
234
Homework Statement
Show that ## 13 ## is the largest prime that can divide two successive integers of the form ## n^{2}+3 ##.
Relevant Equations
None.
Proof:

Let ## p ## be the prime divisor of two successive integers ## n^2+3 ## and ## (n+1)^2+3 ##.
Then ## p\mid [(n+1)^2+3-(n^2+3)]\implies p\mid 2n+1 ##.
Since ## p\mid n^2+3 ## and ## p\mid 2n+1 ##,
it follows that ## p\mid a(n^2+3)+b(2n+1) ## for some ## a,b\in\mathbb{Z} ##.
Suppose ## a=4 ## and ## b=-2n ##.
Then ## p\mid 4(n^2+3)-2n(2n+1)\implies p\mid 12-2n ##.
Note that ## p\mid (12-2n)+(2n+1)\implies p\mid 13 ##.
Thus ## p\leq 13 ##.
Therefore, ## 13 ## is the largest prime that can divide two successive integers of the form ## n^2+3 ##.
 
  • Like
Likes   Reactions: fresh_42
Physics news on Phys.org
Math100 said:
Proof:
Let ## p ## be the prime divisor of two successive integers ## n^2+3 ## and ## (n+1)^2+3 ##.
Then ## p\mid [(n+1)^2+3-(n^2+3)]\implies p\mid 2n+1 ##.
Since ## p\mid n^2+3 ## and ## p\mid 2n+1 ##,
it follows that ## p\mid a(n^2+3)+b(2n+1) ## for some ## a,b\in\mathbb{Z} ##.

Suppose ## a=4 ## and ## b=-2n ##.

Just because ## p\mid a(n^2+3)+b(2n+1) ## for some ## a,b\in\mathbb{Z} ## doesn't mean that this statement is true for specifically chosen pairs of values of a and b. This is the same kind of mistake you made in your previous thread.
Math100 said:
Then ## p\mid 4(n^2+3)-2n(2n+1)\implies p\mid 12-2n ##.
Note that ## p\mid (12-2n)+(2n+1)\implies p\mid 13 ##.
Thus ## p\leq 13 ##.
Therefore, ## 13 ## is the largest prime that can divide two successive integers of the form ## n^2+3 ##.
 
Math100 said:
Homework Statement:: Show that ## 13 ## is the largest prime that can divide two successive integers of the form ## n^{2}+3 ##.
Relevant Equations:: None.

Proof:

Let ## p ## be the prime divisor of two successive integers ## n^2+3 ## and ## (n+1)^2+3 ##.
Then ## p\mid [(n+1)^2+3-(n^2+3)]\implies p\mid 2n+1 ##.
Since ## p\mid n^2+3 ## and ## p\mid 2n+1 ##,
it follows that ## p\mid a(n^2+3)+b(2n+1) ## for some ## a,b\in\mathbb{Z} ##.
... it follows that ## p\mid a(n^2+3)+b(2n+1) ## for all ## a,b\in\mathbb{Z} ## ...
Math100 said:
Suppose ## a=4 ## and ## b=-2n ##.
Then ## p\mid 4(n^2+3)-2n(2n+1)\implies p\mid 12-2n ##.
Note that ## p\mid (12-2n)+(2n+1)\implies p\mid 13 ##.
Thus ## p\leq 13 ##.
Therefore, ## 13 ## is the largest prime that can divide two successive integers of the form ## n^2+3 ##.

Nice proof, except for the minor wording error. With ##b=-2n+1## you can save a step.
 
  • Like
Likes   Reactions: Math100
Why no larger than 13? Why not only 13?
 
  • Like
Likes   Reactions: Prof B
Here's a better problem. Suppose ##p## divides ##n^2 + a## and ##(n+1)^2 + a##, show that ##p## divides ##4a + 1##. And that ##n = kp + 2a##, for ##k = \dots -1, 0, 1, 2, \dots##.

E.g. with ##a = 3##, ##p = 13## and ##n = 6, 19, 32 \dots##.
 
Let ## p ## be a prime divisor of two successive integers ## n^2+3 ## and ## (n+1)^2+3 ##.

The word "the" assumes that there is only one. You won't know there is only one until you prove that it is 13.
 
PeroK said:
Why no larger than 13? Why not only 13?
The assumption that p was prime wasn't needed. The only positive integers that can be common divisors of ##n^2+3## and ##(n+1)^2 + 3## are 13 and 1.
 
PeroK said:
Here's a better problem. Suppose ##p## divides ##n^2 + a## and ##(n+1)^2 + a##, show that ##p## divides ##4a + 1##. And that ##n = kp + 2a##, for ##k = \dots -1, 0, 1, 2, \dots##.

E.g. with ##a = 3##, ##p = 13## and ##n = 6, 19, 32 \dots##.
Nice! You can actually take any two polynomials f(n) and g(n) and apply Euclid's algorithm to find their GCD. Then there are two cases
  1. If the GCD has degree 1 or higher then f(n) and g(n) will have arbitrarily large common factors
  2. If the GCD is a constant c then every common divisor of f(n) and g(n) must be a divisor of c
Such pairs of polynomials could be good for "prove or disprove" questions.
 
  • Like
Likes   Reactions: PeroK

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
9
Views
3K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
8
Views
5K
Replies
17
Views
3K
  • · Replies 19 ·
Replies
19
Views
5K
  • · Replies 4 ·
Replies
4
Views
4K