Prove that `sqrt(2)` is irrational.

1 Answer | Add Yours

embizze's profile pic

embizze | High School Teacher | (Level 1) Educator Emeritus

Posted on

Prove that `sqrt(2)` is irrational:

Assume that `sqrt(2)` is rational; then `sqrt(2)=p/q` for some `p,q in NN` . Without loss of generality, we can assume that gcd(p,q)=1 (They have no common divisor -- if there is a common divisor, divide both p and q by that divisor to reduce to simplest form)


`sqrt(2)=p/q ==>2=p^2/q^2`


This means that `p` is a multiple of 2 (p is even). So let `p=2k` .





Thus q is even. But this contradicts our asssumption that p and q had no common divisor.

Therefore `sqrt(2)` is irrational.


We’ve answered 317,289 questions. We can answer yours, too.

Ask a question