Register to reply

Proving that \sqrt{p} is irrational

by Mandelbroth
Tags: irrational, proving, sqrtp
Share this thread:
Mandelbroth
#1
Nov27-13, 10:05 PM
Mandelbroth's Avatar
P: 615
I'm aware of the standard proof.

What I'm wondering is why we can't just do the following. Given, I haven't slept well and I'm currently out of caffeine, so this one might be trivial for you guys.

Suppose, by way of contradiction, that ##\sqrt{p}=\frac{m}{n}##, for ##m,n\in\mathbb{Z}## coprime. Then, ##p=\frac{m^2}{n^2}##. Because ##p## is an integer, ##\frac{m^2}{n^2}## must be as well. However, because ##m## and ##n## are coprime, so are ##m^2## and ##n^2##. Thus, ##n^2=1## is necessary for ##\frac{m^2}{n^2}## to be an integer. But that means ##m^2=p##, and ##p## is prime. Thus, a contradiction is met and we see that ##\sqrt{p}## is irrational.

Is this valid? I'll probably figure out my mistake (if I made one) by the time I get back with adequate caffeination, but until then, I'd like to make sure I figure it out.

Thank you.

Edit: Gee, I guess it might be important to mention that ##p## is prime. :facepalm:
Phys.Org News Partner Mathematics news on Phys.org
Heat distributions help researchers to understand curved space
Professor quantifies how 'one thing leads to another'
Team announces construction of a formal computer-verified proof of the Kepler conjecture
R136a1
#2
Nov27-13, 10:32 PM
Newcomer
P: 341
In my opinion, it's valid.
jbunniii
#3
Nov27-13, 11:14 PM
Sci Advisor
HW Helper
PF Gold
jbunniii's Avatar
P: 3,288
It looks OK to me.

Curious3141
#4
Nov27-13, 11:55 PM
HW Helper
Curious3141's Avatar
P: 2,950
Proving that \sqrt{p} is irrational

Completely valid. The last step basically assumes that a prime cannot be a perfect square, which is true and fairly obvious. But if you really want to make the proof completely obvious, you can state: ##m^2 = p##. Hence ##m|p## (m divides p), which is a contradiction.
PeroK
#5
Nov28-13, 02:47 AM
P: 380
Quote Quote by Mandelbroth View Post
Edit: Gee, I guess it might be important to mention that ##p## is prime. :facepalm:
Actually, it doesn't matter that p is prime. It's valid for any +ve integer: the square root is either an integer or irrational; it cannot be a proper rational.
Mandelbroth
#6
Nov28-13, 09:33 AM
Mandelbroth's Avatar
P: 615
Thank you, all.


Register to reply

Related Discussions
Show that sqrt(n!) is irrational Linear & Abstract Algebra 7
Proving sqrt of 3 is irrational Precalculus Mathematics Homework 18
Proof: x is irrational => sqrt(x) is irrational Introductory Physics Homework 3
Proving an irrational to an irrational is rational Precalculus Mathematics Homework 3
Proof that sqrt(6)-sqrt(2)-sqrt(3) is irrational General Math 10