Proof (by contradiction):
Assume, to the contrary, that $4 + 3\sqrt{2}$ is rational.
Then we can find coprime integers $a$ and $b$ ($b \neq 0$) such that:
$$4 + 3\sqrt{2} = \frac{a}{b}$$
Rearranging:
$$3\sqrt{2} = \frac{a}{b} - 4 = \frac{a - 4b}{b}$$
$$\sqrt{2} = \frac{a - 4b}{3b}$$
Since $a$ and $b$ are integers, $\dfrac{a - 4b}{3b}$ is rational, which means $\sqrt{2}$ is rational.
But this contradicts the given fact that $\sqrt{2}$ is irrational.
This contradiction arose because of our incorrect assumption.
∴ $4 + 3\sqrt{2}$ is irrational. $\hspace{1cm}\blacksquare$
Source: Chapter 1, Section 1.3 – Revisiting Irrational Numbers
---