Proofs of irrationality

From Computer Science
Revision as of 15:49, 29 August 2022 by Jkinne (talk | contribs) (Assignment)
Jump to: navigation, search

One of the classic proofs in mathematics is that the square root of 2 is irrational. The classic proof of this is the proof by "infinite descent" that is included on wikipedia's page on sqrt(2). CS students who have taken CS 303 or CS 600 should be able to demonstrate this proof on the board, or write it out on paper.

The same basic proof technique can be used to prove that other numbers are irrational - the square root of any number that is not a perfect square, the cube root of any number that is not a perfect cube, etc.


You will be asked to prove that a number is irrational using the same basic strategy as the proof that the square root of 2 is irrational. In general, you will be assigned integers m and n, and asked to show that the m-th root of n is irrational.

Pass rating check Your proof must satisfy the following.

  • State your claim (e.g., that sqrt(2) is irrational).
  • Proof is by contradiction, and the assumption is given in generality (e.g., if the number is rational, then let it be i/j for some integers i and j).
  • Correct argument is given that the assumption leads to a contradiction, including working through the formulae.
  • Your claim and proof are complete - someone who is not in our class could follow through your argument and validate your proof.
  • You need to both hand in your work, and also check in with the help lab to demonstrate your proofs. You can use your work that you hand in, and should talk the GA through the proof. The GA will make note if you are not able to do this, or if it seems you do not fully understand the process.

Note - the shared spreadsheet that GAs use for submitting information to Jeff Kinne's courses is this link, which should work only for the current term's GAs.