Show that the primes of the form 4n-1 and 4n +1 are infinite

Click For Summary
SUMMARY

The discussion focuses on proving the infinitude of primes of the forms 4n-1 and 4n+1. The user successfully demonstrates the infinitude of primes of the form 4n-1 using a method similar to Euclid's proof, generating a new prime from existing ones. However, they struggle with the 4n+1 case, particularly in showing that not all prime factors can be of the form 4y-1. The suggestion to utilize the expression (2*p1*p2*...*pk)^2 + 1 is made, linking it to quadratic reciprocity, which the user plans to study further.

PREREQUISITES
  • Understanding of prime numbers and their properties
  • Familiarity with Euclid's proof of the infinitude of primes
  • Basic knowledge of quadratic reciprocity
  • Introductory concepts in number theory
NEXT STEPS
  • Study quadratic reciprocity to understand its application in prime number proofs
  • Explore the properties of primes of the form 4n+1 and their divisibility
  • Review advanced number theory texts that cover modular arithmetic
  • Investigate alternative proofs for the infinitude of primes in different forms
USEFUL FOR

Students of number theory, mathematicians interested in prime number distribution, and anyone seeking to deepen their understanding of advanced mathematical proofs.

teddyayalew
Messages
35
Reaction score
0

Homework Statement


Show that the number of primes of the form 4n-1 and 4n +1 are infinite


Homework Equations





The Attempt at a Solution


I am able to show this for 4n -1 but I am having trouble doing it for primes of the other form. ( I am hoping to do it without using modular arithmetic)

For primes of the form 4n-1 I used the same argument that was used in Euclid proof by showing that I can always generate a new prime of that form :

Let 4a-1, 4b-1, 4c-1,...,4k-1 be all the primes of the above form
let x = 4[(4a-1)(4b-1)(4c-1)...(4k-1)] -1
1. x has a prime divisor that is not part of the above list because if it was it would have to divide 1 which would make it not prime
2. the prime divisor is odd so it is of the form 4y+1 or 4y-1
3. because (4y+1)(4z+1) = 16yz + 4z + 4y + 1 = 4(4yz+y+z) +1 , not all the prime divisors can be of the form 4y+1, one must be of the form 4y-1 so there is a prime divisor that can always be generated in this manner therefore there are an infinite number of primes of the form 4n-1.


When i try to prove there are an infinite number of primes of the form 4n+1 and I get to the part ( 3. from previous proof)
I get (4y-1)(4z-1)= 16yz -4y -4z +1 =4(yz -y -z) +1 which doesn't tell me that all the factors are not of the form 4y-1 so i can't make the conclusion that one must be of the form 4y +1. What other way should I approach this.
 
Physics news on Phys.org
You probably don't want to avoid modular arithmetic, it is harder than the other case. Think about (2*p1*p2*...*pk)^2+1, where p1, p2..., pk are your finite set of primes of the form 4n+1. If it's divisible by a prime p, then (2*p1*p2*...*pk)^2=(-1) mod p. Using quadratic reciprocity, what sort of prime must p be?
 
I am not familiar with quadratic reciprocity. ( I believe my class will cover that topic soon) The reason I wanted to do it without modular arithmetic is because I am currently taking an intro number theory class and the book went into modular mathematics and and the study of primes without really discussing the theory of divisibility and other elementary concepts I found helpful in other NT books. so I got a another book to study with that does not introduce modular arithmetic before going over the theory of divisibility and a study of prime number( to the extent it can be studied without mod). So the book that I am currently studying with doesn't expect I know any mod arithmetic when asking this question because the topic hasn't been covered yet.
 

Similar threads

Replies
4
Views
3K
Replies
12
Views
3K
Replies
9
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 10 ·
Replies
10
Views
8K
Replies
48
Views
5K
  • · Replies 2 ·
Replies
2
Views
4K