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

  • Thread starter Thread starter Math100
  • Start date Start date
  • Tags Tags
    Prime
Click For Summary
SUMMARY

The discussion centers on proving that 13 is the largest prime that can divide two successive integers of the form n² + 3. The proof demonstrates that if p is a prime divisor of both n² + 3 and (n + 1)² + 3, then p must also divide 13, establishing that p ≤ 13. The conclusion is reached through a series of modular arithmetic steps and the application of integer linear combinations. The proof is validated by examining the implications of the chosen coefficients in the linear combination.

PREREQUISITES
  • Understanding of prime numbers and their properties
  • Familiarity with modular arithmetic
  • Knowledge of integer linear combinations
  • Basic algebraic manipulation skills
NEXT STEPS
  • Study the properties of prime divisors in polynomial expressions
  • Learn about the application of Euclid's algorithm in finding GCDs of polynomials
  • Explore advanced topics in number theory related to prime factorization
  • Investigate the implications of linear combinations in modular arithmetic
USEFUL FOR

Mathematicians, students studying number theory, and anyone interested in the properties of prime numbers and their applications in algebraic proofs.

Math100
Messages
817
Reaction score
229
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 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 Math100
Why no larger than 13? Why not only 13?
 
  • Like
Likes 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 PeroK

Similar threads

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