The Art and Craft of Problem Solving

(Ann) #1

226 CHAPTER 7 NUMBER THEORY


Then there exist integers x, y such that px + ay = 1. Now we need to use the hypothesis
that plab. Let's get ab into the picture by multiplying the last equality by b:

pxb+aby =b.
But now we have written b as the sum of two quantities, each of which are multiples
of p. Consequently, b is a multiple of p, a contradiction. _

Finally, we can prove the FTA. Statement 7.1.6 is the key idea that we need. Let's
avoid notational complexity by considering a concrete example. Let n = 23. 76. How
do we show that this factorization is unique? First of all, we can show that n couldn't
contain any other prime factors. For suppose that, say, 171 n. Then repeated applica­
tions of 7.1.6 would force the conclusion that either 1712 or 171 7, which is impossible,
as no two different primes can divide one another. The other possibility is that n has
2 and 7 as factors, but there is a factorization with different exponents; for example,
maybe it is also true that n = 28. 73. In this case we would have

23. 76 = 2^8. 73 ,
and after dividing out the largest exponents of each prime that we can from each side,
we get
73 = 2^5.
This reduces to the first case: we cannot have two factorizations with different primes.
You should check with a few more examples that this argument can be completely
generalized. We can rest; FTA is true. _

This important property of integers was a consequence of the division algorithm,
which in tum was a consequence of the well-ordering principle and the fact that 1 is
an integer. That's all that we needed!
Here is a simple application of FTA-style reasoning-a solution to Problem 5 .4.13
on page 173.
Example 7.1.7 Recall that polynomial with integer coefficients is called monic if the
term with highest degree has coefficient equal to 1. Prove that if a monic polynomial
has a rational zero, then this zero must in fact be an integer.
Solution: Let the polynomial be f(x) := x" +an- 1 x"- 1 + ... +alx+aO. Let u/v
be a zero of this polynomial. The crux move: without loss of generality, assume that
u .1 v. Then we have
un an_IUn- 1 alU

- + +···+-+ao=O.

o 0 - 1 V
The natural step now is to get rid of fractions, by multiplying both sides by �. This
gives us

or

U n = - a( n-I n-I n)

n-Iu v+··· +al uv +aov.

Free download pdf