Difference between revisions of "Euclid's Lemma"
(spelling) |
|||
Line 1: | Line 1: | ||
In [[Number Theory]], the result that | In [[Number Theory]], the result that | ||
− | A positive integer <math>p</math> is a [[prime number]] if and only | + | A positive integer <math>p</math> is a [[prime number]] if and only if <math>p|ab \Longrightarrow p|a</math> or <math> p|b </math> |
is attributed to [[Euclid]] | is attributed to [[Euclid]] |
Revision as of 09:24, 15 November 2007
In Number Theory, the result that
A positive integer is a prime number if and only if or
is attributed to Euclid
Proof of Euclid's lemma
There are two proofs of Euclid's lemma.
First Proof
By assumption , thus we can use Bezout's lemma to find integers such that . Hence and . Since and (by hypothesis), we conclude that as claimed
Second Proof
We have , so , with an integer. Dividing both sides by , we have But implies is only an integer if . So which means must divide .