Jump to content

How do we know that √2 is irrational?


Recommended Posts

I'm currently reading a book on the history of mathematics, and came across this little proof. I found it kind of neat and thought others might as well!

How do we know that √2 is irrational?

- Suppose that √2 is a rational number. That is, √2 is expressable as a ratio of two integers:

√2 = m/n

- Assume that m/n has been reduced to lowest terms.

- Square both sides of the equation:

√2 = m/n becomes 2 = m2/n2

- Do a little bit of algebra:

2 = m2/n2 becomes 2n2 = m2

- Observe that both sides of this equation must be even, by virtue of multiplication by 2:

2n2 = m2

- Therefore, m2 is even. And if m2 is even, m must also be even. Thus, m may be expressed as:

m=2x (This is what it means for a number to be even!)

- Substituting m=2x back into our equation:

2n2 = m2 becomes 2n2=(2x)2 becomes 2n2=4x2

- Do a little bit of simplyfying:

2n2=4x2 becomes n2 = 2x2

- Observe again that both sides of this equation must be even. Therefore, n2 is even, and n is also even.

- So we know that both m and n are even.

- But wait... we assumed that m/n was reduced to lowest terms. If m and n are both even, then m/n cannot be in lowest terms, as both the numerator and denominator are divisible by 2.

- Therefore, √2 is not rational.

Link to comment
Share on other sites

Very interesting!

My education in math has not progressed to the point where I'm proving stuff, so that was very interesting to see. Bonam, if you could give me a clue on where to get started on the Pi thing, I'll give it a try...

I am presently attempting to determine whether SF/PF is rational.

-k

Link to comment
Share on other sites

I took a peak at some of the proofs of Pi's irrationality, and they're all beyond my ability in math to understand.

My background is in Philosophy, so I think it was the "proof by contradiction" structure of this proof that really interested me.

Link to comment
Share on other sites

How do we know that √2 is irrational?

- Suppose that √2 is a rational number. That is, √2 is expressable as a ratio of two integers:

√2 = m/n

And let me assume that 42 divided by 6 can be expressed as a ratio.

Or rather, let me assume that I can fly through space at 1000 km/h. (Hey, I just did - but I wouldn't want to do this right now!)

---

SF/PF, here's a better question: Can you express an irrational number using two rational numbers?

For the math challenged, let me lead you in the wrong direction: if two reasonable people marry, does that guarantee that the marriage will last? Or, do celebrity marriages require at least one crazy person?

(Bonus added later: Was it Demi or Ashton who was difficult/crazy? PS: I just finished my grocery shopping!)

Edited by August1991
Link to comment
Share on other sites

And let me assume that 42 divided by 6 can be expressed as a ratio.

Or rather, let me assume that I can fly through space at 1000 km/h. (Hey, I just did - but I wouldn't want to do this right now!)

---

SF/PF, here's a better question: Can you express an irrational number using two rational numbers?

For the math challenged, let me lead you in the wrong direction: if two reasonable people marry, does that guarantee that the marriage will last? Or, do celebrity marriages require at least one crazy person?

(Bonus added later: Was it Demi or Ashton who was difficult/crazy? PS: I just finished my grocery shopping!)

Meanwhile, Voltaire is rolling over in his grave. :)

Edited to add:

SF/PF, here's a better question: Can you express an irrational number using two rational numbers?

Nope.

Edited by SF/PF
Link to comment
Share on other sites

Very interesting!

My education in math has not progressed to the point where I'm proving stuff, so that was very interesting to see. Bonam, if you could give me a clue on where to get started on the Pi thing, I'll give it a try...

It's actually quite difficult and not at all elegant. I had to do it as an exercise in a third year math class in university, but don't really remember it at all. Best I can do, sadly, is link the wiki article:

http://en.wikipedia.org/wiki/Proof_that_%CF%80_is_irrational

Edited by Bonam
Link to comment
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.

Guest
Unfortunately, your content contains terms that we do not allow. Please edit your content to remove the highlighted words below.
Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

  • Tell a friend

    Love Repolitics.com - Political Discussion Forums? Tell a friend!
  • Member Statistics

    • Total Members
      10,730
    • Most Online
      1,403

    Newest Member
    NakedHunterBiden
    Joined
  • Recent Achievements

    • phoenyx75 earned a badge
      Week One Done
    • lahr earned a badge
      Conversation Starter
    • lahr earned a badge
      First Post
    • User went up a rank
      Community Regular
    • phoenyx75 earned a badge
      Dedicated
  • Recently Browsing

    • No registered users viewing this page.
×
×
  • Create New...