Kemuel M.
Quindala III BS Math 3 ; Math 126 Algebraic Structures 2 Problem Set 2
Prove: is not a rational number. Proof (Contradiction): Suppose, on the contrary, that is a rational number. Then we can write a and b are positive integers and b is not zero. We further assume that the fraction reduced in its lowest terms, i.e, a and b are relatively prime . It follows that or ( ) such that is even. Furthermore, this means that where is already
a is also even. Since a is even, a=2k for some integer k. Thus we have, 2= ( )
2= 2
, which means that is even and b is also even. But this is a contradiction to the assumption that a and b are relatively prime. Hence we cannot have that is a rational number. Therefore, proving the given statement.