# Talk:Euclid's theorem

WikiProject Mathematics (Rated C-class, High-priority)
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
 C Class
 High Priority
Field: Number theory

## p+1 prime?

This article is terrible at the moment. p+1 is not necessarily prime. --Wikiwikiwildwest 07:19, 14 December 2006 (UTC) Erm, p'+1 that is. --Wikiwikiwildwest 07:30, 14 December 2006 (UTC)

Euclid did not use proof by contradiction, he never assumed there are finitely many primes 128.146.115.217 (talk) 20:16, 8 January 2008 (UTC)

The main point is that whether or not the argument follows Euclid exactly or some variant is used where the whole statement is a negation (and proven by contradiction) is of rather minor importance. One might note though that there is a significant difference between constructing a prime number not on Euclids finite list, compared to simply assuming that there is no such thing and deriving a contradiction.

Perhaps one could say that Euclid does more than showing that there are infinitely many primes. — Preceding unsigned comment added by David Eklund (talkcontribs) 05:39, 8 March 2012 (UTC)

What Euclid actually proved is that given any set of exactly THREE primes, there is a fourth prime not in the list. He says that he's going to prove that the primes are greater than "any given multitude" of primes, but he only addresses the case that the "multitude" contains three primes. Mnudelman (talk) 04:10, 17 October 2013 (UTC)

## Prime q

"If q is not prime then some prime factor p divides q." Doesn't this hold as well if q is prime? I mean, q divides q, right? So why the distinction whether q is prime or not? 88.65.186.193 (talk) 14:12, 25 April 2009 (UTC)

What Euclid, in the 3rd century BC, meant by "divides" (the translators say "measures") is not clear from the article. But even if you're right, the way it's presented is how Euclid wrote it. Michael Hardy (talk) 17:28, 19 March 2010 (UTC)

## q prime?

I should point out that that q cannot possibly be prime, because P is the product of odd numbers and, therefore, an odd number itself; and any odd number plus one is an even number, and therefore not a prime number. -189.29.2.176 (talk) 15:04, 19 January 2010 (UTC)

P is not necessarily a product of odd primes; the number 2 can be included in the initial list, and in some cases in which 2 is included, q is prime. Michael Hardy (talk) 17:26, 19 March 2010 (UTC)

## Deleted text

I made a deletion of some text from the first paragraph. Perhaps this was a strange bit of defacing. More likely, it was an attempt at adding some formatted text that went awry. Assuming this latter case, perhaps this deletion will prompt the author to return and try to again.--138.251.242.34 (talk) 19:16, 10 February 2010 (UTC)

## recent proofs?

It would be great if there were some references that attest to the significance of the recent proofs. I'm sure there are tons of proofs of Euclid's theorem, what makes these proofs so special that they need to be included in this article?--345Kai (talk) 03:44, 12 September 2011 (UTC)

Hey... just been looking at the proof using the irrationality of Pi. ... I'm not sure if that series as given is a legitimate thing- tried it out using the first hundred or so primes and got Pi=3.15... There doesn't appear to be any citations in that part of the page, so it's possible that that formula is a hoax. If it is a legitmate formula, can someone please give a citation, and if it isn't, then it should probably be take down. — Preceding unsigned comment added by 121.72.237.205 (talk) 02:13, 28 May 2012 (UTC)

I agree with 345Kai's statement. The reason you get π=3.15 is because, as stated in the article, "If there were finitely many primes, π would be rational." You mentioned trying the first hundred or so primes; this does not work because as long as you have finitely many numbers inside the formula, you approach but never reach pi. However, your number may not be displayed accurately because there is a limited amount of space on a calculator or computer screen. There is not enough room for an irrational or even a rational number with many digits to be displayed properly, and the number is automatically rounded to a more appropriate size. This is Madness300 04:47, 30 June 2012 (UTC)

## New"?" Easier Argument For the Infinitude of Primes?

Providing this argument isn't false (because it definitely is not a proof) it may be the most easy-to-understand argument for the infinitude of the primes.

Rather than ordering numbers by quantity, order them in a different way. Order them like this, where all the letters are the prime numbers (which we know not the quantitative value of yet):

A, B, 2A, 2B, C, 3A, 3B, 3C, 2C, D, 4A, 4B, 4C, 4D, 3D, 2D, E, 5A, 5B, 5C, 5D, 5E, 4E, 3E, 2E, F, 6A, 6B, 6C, 6D, 6E, 6F, 5F, 4F, 3F, 2F, G, 7A, 7B, 7C, 7D, 7E, 7F, 7G, 6G, 5G, 4G, 3G, 2G, H,.......

I think the pattern can be seen by now, provided there are no typos. It's kind of organizing numbers in such a way that they are put in order by groupings of primes rather than by quantity. A is the prime of lowest value, B is the prime of second lowest value, etc.

Using this system, every prime and composite number should be able to be generated eventually, even though they'll be generated out of quantitative order, and some composite numbers will be repeated. (If this were a proof I'd probably have to reference the fundamental theorem of arithmetic here.) Provided all primes and composites are generated by the pattern above, it's pretty easy to see that by following the pattern, you'll have to generate a prime (represented by the letter characters) in order to keep counting once you run out of multiples of previous primes. Therefore the primes are infinite.

Theboombody (talk) 15:53, 1 March 2014 (UTC)

## Erdős proof

It's possible the mathematical language used is just beyond me, but stating that every integer can be written as r*s^2 is only true if you allow for non-integers or s=1. It would be highly helpful for at least my reading of the proof to know whether the variables represent integers or not. 194.16.178.140 (talk) 08:15, 9 March 2015 (UTC)

## Proof using factorials

This proof is almost exactly the same as Euclid's proof. Should it be deleted for that reason? Brianbleakley (talk | contribs) 18:44, 17 August 2016 (UTC)

Yes, I agree. Maybe it could be mentioned as a variant of Euclid's proof, but then directly after it. Or simply deleted. Sapphorain (talk) 20:14, 17 August 2016 (UTC)
I moved that material to the end of the Euclid's proof section. Brianbleakley (talk | contribs) 19:17, 23 August 2016 (UTC)