Proof of irrationality of the Square root of 2

We will do a proof by contradiction:

Lets assume, that the square root of 2 is rational. Then you can write the square root of 2 as a fraction a over b. Lets assume that a and b are hole numbers and that you can not reduce a over b. Then you can do this:

Screen Shot 2014-06-04 at 8.19.03 PM

It follows, that a is even.

Now we prove that b is even. For a we can write 2k.

Screen Shot 2014-06-04 at 8.24.24 PM

It follows that b is even. That means, that a/2 and b/2 are hole numbers. It follows, that you can reduce a over b with 2. This is a contradiction, since we assumed that a over b can not be reduced.

Advertisements

2 thoughts on “Proof of irrationality of the Square root of 2

  1. seriouscephalopod

    It’s always nice to reread this good old proof but I think your presentation would be a lot more lucid if you clarified what the contradiction is and how it relates to the assumptions rather than just stated ‘This is a contradiction’ at the end of it all. It’s good to provoke the reader to think for himself but I found some of the wording used such as ‘smallest’ and ‘where that works’ to be a little vague so either that part or the final part could benefit from some clarification so that the connection becomes more obvious.
    Have a nice one!

    Reply

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s