Suppose sqrt(5) is rational
5 = (m/n)^2
5 = m^2/n^2 or m^2 = 5n^2
Since m^2 is a multiple of 5, m must also be a multiple of 5? - proof?
m = 5k for some int k
5n^2 = (5k)^2
5n^2 = 25k^2
n = 5k^2
n and m are both multiples of 5 this contradicts the assumption sqrt is irrational
end of work
My professor didnt like what i wrote in bold. I suppose she wanted me to write a proof out for this? how would I proceed? Is this broken up into cases?
ps. Im sorry I have so many topics in this area. Im trying my hardest to get by
you could also do this proof another way, using the rational roots theorem. have you covered that?
We know that each integer is a product of primes, each to some positive integer power, and this product is unique for each integer. we get this from the said theorem. so now, if we take , where the 's are some primes, and the 's are some powers, we would see that:
Now, if we assume to the contrary that is not a multiple of 5, we would get that in the above equation, there is no factor of 5 on the left hand side, but there is a factor of 5 on the right hand side. this contradicts the fact that each integer has a unique prime factorization, as there is a prime factor on one side that's not on the other (that is, we can represent m with two different prime factorizations. absurd!) this contradicts the uniqueness of prime factorization theorem. hence, m must be a multiple of 5.
now of course, you can say all that much more concisely.