If p is prime, then its square root is irrational

[kaos]

Homework Statement

Im trying to prove that if p is prime, then its square root is irrational.

The Attempt at a Solution

Is a proof by contradiction a good way to do this?

All i can think of is suppose p is prime and √p is a/b,

p= (a^2)/ (b^2)
Is there any property i can exploit to go on or is should i attempt other methods of proof
(contrapositive, direct, induction?)

 

[Dick]

Homework Statement

Im trying to prove that if p is prime, then its square root is irrational.

The Attempt at a Solution

Is a proof by contradiction a good way to do this?

All i can think of is suppose p is prime and √p is a/b,

p= (a^2)/ (b^2)
Is there any property i can exploit to go on or is should i attempt other methods of proof
(contrapositive, direct, induction?)

You can assume a and b have no common factors, right? Go for a contradiction. a must be divisible by p. Can you show that?

 

[guysensei1]

attempt

I think we need to prove that no prime is square.

This makes sense in my head, but I can't seem to figure it out!

By the way, is there a theorem that says that square roots of non square numbers are irrational?

 

[HallsofIvy]

Yes, "no prime is a square" is exactly what "if p is a prime then it is not a square" says. If you "can't seem to figure it out", then look at the specifice words of the definitions of "prime" and "square".

Then do an indirect proof as Dick suggested. Suppose there exist a prime, p, that is a "square". Then p= n^2 for some integer n.

 

[kaos]

I think its obvious that a prime number can't be a square of an integer (trivial by definition), but that does not imply it cannot be a square of a rational. The thing I am trying to prove is that the square root of primes ,is not rational. Am i misunderstanding the logic ,overlooking or ignorant of something that i can use to advance in the proving?

 

[D H]

What does the rational root theorem have to say about x²-p=0, where p is a prime number?

 

[Dick]

I think its obvious that a prime number can't be a square of an integer (trivial by definition), but that does not imply it cannot be a square of a rational. The thing I am trying to prove is that the square root of primes ,is not rational. Am i misunderstanding the logic ,overlooking or ignorant of something that i can use to advance in the proving?

You didn't pay much attention to the hint I gave in post 2. So I won't repeat it.

 

[kaos]

You didn't pay much attention to the hint I gave in post 2. So I won't repeat it.

Well i don't really know how to use the hint. But anyway its been explained in my online course how to prove it using the fact that sqrt of 2 and 3 are irrational, and using it to generalise it to primes( we did the proofs for sqrt of 2 and 3 earlier in the course). Thanks for the help guys ,its very much appreciated.