Revision as of 21:17, 29 April 2007 by imported>Greg Martin
Every integer
can be written in a unique way as a product of prime factors, up to reordering. To see why this is true, assume that
can be written as a product of prime factors in two ways
![{\displaystyle N=p_{1}p_{2}\cdots p_{m}=q_{1}q_{2}\cdots q_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9994411ea99f7b074c8d49ebca0f000cb1880f9)
We may now use a technique known as mathematical induction to show that the two prime decompositions are really the same.
Consider the prime factor
. We know that
![{\displaystyle p_{1}\mid q_{1}q_{2}\cdots q_{n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/594254f347a7c42c17124a552e05694554ce38ec)
Using the second definition of prime numbers, it follows that
divides one of the q-factors, say
. Using the first definition,
is in fact equal to
Now, if we set
, we may write
![{\displaystyle N_{1}=p_{2}p_{3}\cdots p_{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de229b10f871935390d622536fbcc5824e7a8a03)
and
![{\displaystyle N_{1}=q_{1}q_{2}\cdots q_{i-1}q_{i+1}\cdots q_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b281fd04914fef95234a8b86184563b9f0f15c1)
In other words,
is the product of all the
's except
.
Continuing this way, we obtain a sequence of numbers
where each
is obtained by dividing
by a prime factor. In particular, we see that
and that there is some permutation ("rearrangement") σ of the indices
such that
. Said differently, the two factorizations of N must be the same up to a possible rearrangement of terms.