Suppose that is a rational number. Since
where Then and therefore, But the last equality is impossible beacause the natural number is divisible by 2, but the number is not divisible by 2. This contradiction proves that the assumption was wrong, hence is irrational.
Comments