Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Proof about irrational numbers.

  1. Jan 21, 2012 #1
    1. The problem statement, all variables and given/known data
    Prove that [itex] \sqrt{6} [/itex] is irrational.
    3. The attempt at a solution

    Would I just do a proof by contradiction and assume that [itex] \sqrt{6} [/itex] is rational and then get that [itex] 6q^2=p^2 [/itex] which would imply that p is even so I put in p=2r
    and then multiply it out. then this would imply that q is also even and this is a contradiction because they would have factors in common. I know I skipped some of the steps. Could I also make an argument that [itex] \sqrt{6} [/itex] is [itex] \sqrt{3}\sqrt{2} [/itex] and then say that an irrational times an irrational is an irrational as long as its not the same irrational.
  2. jcsd
  3. Jan 21, 2012 #2
    Sounds good.

    Uuh, that isn't true. There are many counterexamples.
  4. Jan 21, 2012 #3
    ok thanks for your response. on the second one I cant think of a counterexample off hand. maybe i should think about it more.
  5. Jan 21, 2012 #4




  6. Jan 21, 2012 #5
    [itex]\sqrt{81} = \sqrt[]{3}\sqrt[]{27}[/itex]

    Damn you Micro you're too quick.
  7. Jan 21, 2012 #6
    ya but all the counterexample have common factors under the radical. I was saying that there, well I was thinking that there were no common factors under the radical.
    What if i said a prime number that is square rooted times a different prime that is square rooted will be irrational.
  8. Jan 21, 2012 #7
    Ya snooze, ya lose!! :biggrin:

    Then the statement is probably true. But did you prove the statement??
  9. Jan 21, 2012 #8
    Okay tell me if this works. lets assume we have a multiplication of primes to the nth root.
    and lets assume that it is rational and that they have no common factors .
    [itex] (P_1P_2P_3.......P_r)^{\frac{1}{n}}=\frac{x}{y}[/itex]
    then we take both sides to then power of n and then multiply the y^n over
    and we get [itex] y^n(P_1P_2P_3.......P_r)=x^n[/itex]
    therefor this implies that x^n is divisible by a prime. so we will now write x=aP
    and we get that [itex] y^n(P_1P_2P_3.......P_r)=(aP)^n[/itex]
    and this would imply that y is divisible by some prime in our list. and this would imply that x and y share a common factor which is a contradiction.
    not sure if my last line of reasoning is valid.
    Last edited: Jan 21, 2012
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook