hw3solutions
hw3solutions
5. (a) Let a and b be positive integers. Prove that gcd(a, b) > 1 if and
only if there is a prime p satisfying p|a and p|b.
Solution:
Suppose that d = gcd(a, b) > 1. Since d is positive integer with
d ≥ 2, by the fundamental theorem of arithmetic, there is at least
one prime p with p|d. Since p|d and d|a we must have that p|a.
Since p|d and d|b we must have that p|b. Hence p|a and p|b.
Conversely suppose that there is a prime p with p|a and p|b. Then
gcd(a, b) ≥ p > 1.
(b) Let a, b, and n be positive integers. Prove that if gcd(a, b) > 1 if
and only if gcd(an , bn ) > 1.
Solution: Suppose that d = gcd(a, b) > 1. So a = dk and b = dm
where k and m are integers. Thus an = dn k n and bn = dn mn . So
d|an and d|bn . Hence gcd(an , bn ) ≥ d > 1.
6. Suppose that x and y are positive integers where 4|xy but 4 - x. Prove
that 2|y.
Solution: Since 4|xy we have that 4s = xy for some integer s. Hence
2(2s) = xy. Thus 2|xy. Since 2 is prime we have that either 2|x or 2|y.
We break this into cases.
case 1: If 2|y then we are done.
case 2: Suppose that 2|x. Then x = 2k where k is some integer. Since
4 - x we must have that k is odd. Hence 2 - k. Substituting x = 2k
into 4s = xy gives 4s = 2ky. Hence 2s = ky. Therefore 2|ky. Since 2
is prime we must have either 2|k or 2|y. But 2 - k. Therefore, 2|y.
Hence 32, 955, 000 is the product of the perfect square 6502 and
the squarefree number 78 = 2 · 3 · 13.
(c) Let n ≥ 2 be a positive integer. Then either n is squarefree, or n
is a perfect square, or n is the product of a squarefree number and
a perfect square.
Solution: Let n ≥ 2 be a positive integer. We factor n into
primes using the fundamental theorem of arithmetic and break
the proof into cases.
case 1: Suppose that n’s prime factorization contains primes to
even powers and primes to odd powers. Then
2ea 2f1 +1 2f2 +1
n = p12e1 · p2e
2 · · · pa q 1
2
q2 · · · qb2fb +1
where the pi are the primes in the factorization of n that are raised
to an even power and the qi are the primes in the factorization of
n that are raised to an odd power. We then have that
2
n = pe11 · pe22 · · · peaa q1f1 q2f2 · · · qbfb q1 · q2 · · · qb .
If not all the fi are zero then n is the product of the perfect square
and the squarefree number. If all the fi are zero then
n = q1 · q2 · · · qb