1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Prove that sqrt of a prime is irrational

  1. Sep 22, 2012 #1
    1. The problem statement, all variables and given/known data

    If a is a prime number, prove that √a is not a rational number. (You may assume the uniqueness of prime factorization.)

    2. Relevant equations

    Per the text: A positive integer a is said to be prime if a > 1 and whenever a is written as the product of two positive integers, a=n*m, one of the factors is a.

    [I assume what this means is that if a=n*m, then n=a or m=a.]

    3. The attempt at a solution

    Proof by contradiction. Assume √a is rational. Then √a = (b/c), where b and c are positive integers with no common factors. So a=(b/c)^2=(b/c)*(b/c). Using the definition of a prime from above, a=(b/c) and a*c=b. Using substitution, a=((a*c)/c)*((a*c)/c), which reduces to a=a*a. Multiply both sides by (1/a) to get 1=a, which contradicts the definition of a prime that a > 1. So √a is not rational.


    I have seen other proofs that the square root of a prime is irrational, but they usually end up with a*(c^2)=(b^2) and use the language "we know a divides b^2, and therefore a must divide b," or something similar. I'm trying to stay close to the examples and materials presented so far in my text, and nothing about assuming an integer divides another integer has come up, so I'm not sure if that's something I can assume yet. Is the above proof, where I say a=n*m means a=n or a=m, correct? I don't think I used the uniqueness of prime factorization as mentioned in the question, so I'm worried I'm missing something.

    Thank you for reading, and for any insight you may provide.
     
  2. jcsd
  3. Sep 22, 2012 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    No, this is incorrect. The definition in the text says that for integers n and m it holds that if a=n*m, then a=n or n=m. But when you say that [itex]a=(b/c)(b/c)[/itex], then b/c is not an integer, so you can't apply this.
     
  4. Sep 22, 2012 #3
    Thank you for the response micromass. I knew I must have been overlooking something like that; it seemed just a little too easy. I will go back to the drawing board and look through some more examples in my text, and see what I can come up with. I appreciate the quick feedback!
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Prove that sqrt of a prime is irrational
Loading...