Solution. We prove that the number is irrational by contradiction. Let be rational.
Therefore, there exist coprime integers and :
Raised to a power 2 both sides of the equation one gets
and are integers because and are integers. Hence, the number is rational. Thus, we can write
where are coprime integers. From the last equation it follows that
The left side of the equation is divisible by 2 therefore the right side is divisible by 2, hence is an even number. As a result,
where is integer. Therefore,
The right side of the last equation is divisible by 2, hence the left side is divisible by 2. As a result,
where is integer. Therefore, one gets are not coprime integers. A contradiction occurred. Hence, is irrational and
the assumption that 'the number is rational' is false. We proved that the number is irrational by contradiction.
Comments