I am trying to prove by contradiction that $ 4 + 3 \sqrt 2 $ is irrational.
(I may use the fact that $ \sqrt 2 $ is irrational, and must use the definition of rational numbers.)
Proofs by contradiction always trip me up, and feel incomplete for some reason. Is the following correct? specifically is the last statement sufficient to contradict the assumption?
Suppose not:
Suppose $ 4 + 3 \sqrt 2 $ is rational. $$ ( 4 + 3 \sqrt 2 ) ^ 2 = \left( \frac p q \right ) ^ 2 $$ $$ 34 + 24 \sqrt 2 = \frac { p ^ 2 } { q ^ 2 } $$ $$ 24 \sqrt 2 = \frac { p ^ 2 } { q ^ 2 } - 34 $$ $$ \sqrt 2 = \frac 1 { 24 } \left( \frac { p ^ 2 } { q ^ 2 } - 34 \right) $$ which is a contradiction because irrational does not equal a rational number.
Thank you.
Hints:
Suppose there are $\;a,b\in\Bbb Z\;,\;\;b\neq0\;$ , s.t.
$$4+3\sqrt2=\frac ab \implies16+24\sqrt2+18=\frac{a^2}{b^2}\implies\ldots$$
Fill in the details in the above,,,and complete the very small ammount of work that is left to reach a contradiction.
Further Hint: there is a much easier, and direct, approach.