The first part of 7 is a standard exercise which can easily be done using contradiction (assuming you have seen the algebraic bash proof that √2 is irrational)
The second part: If x is irrational, then 2x is irrational (is what we want to show here, for a specific value of x)
Taking the...