Is my proof for the sum of two square roots being irrational correct? [duplicate]

Squaring we get, $m=a^2+n-2a\sqrt n\implies \sqrt n=\frac{a^2+n-m}{2a}$ which is rational

If $\sqrt{n} + \sqrt{m}$ is rational, then since
($\sqrt{n} + \sqrt{m})(\sqrt{n} - \sqrt{m}) = n - m,$
$\sqrt{n} - \sqrt{m}$ is rational. Thus
$\sqrt{n}, \sqrt{m}$ are rational, n,m are squares.

Assume $m$ is a non-square integer. Then $\sqrt{m}$ is irrational, and if $x=\sqrt{m}+\sqrt{n}$, then

$$(x-\sqrt{m})^2=x^2-2x\sqrt{m}+m=n$$

Or

$$\frac{x^2+m-n}{2x}=\sqrt{m}$$

If $x$ is rational, then the LHS is also rational. However the RHS is irrational, contradiction, so $x$ is irrational.

Same argument as here and here. It should be put in the FAQ :-)

Nice way to see thinks

Assume that, $$(\sqrt{n}+\sqrt{m})=\frac{p}{q}$$ Then we have $$(\sqrt{n}+\sqrt{m})=\frac{p}{q}\in\Bbb Q \implies n+m+2\sqrt{nm} =(\sqrt{n}+\sqrt{m})^2 =\frac{p^2}{q^2}\in\Bbb Q\\\implies \sqrt{nm} =\frac{n+m}{2}+\frac{p^2}{2q^2}\in\Bbb Q $$

But if $ nm $ is not a perfect square then $\sqrt{nm}\not \in\Bbb Q ,$ (This can be easily prove using the fundamental theorem of number theory: Decomposition into prime numbers) Hence in this case we have $$\sqrt{n}+\sqrt{m}\not \in\Bbb Q$$

Remark $~~~~~$1. $mn$ can be a perfect square even though neither $n$ nor $m$ is a perfect square. (see the example below)

2. We can still have $\sqrt{n}+\sqrt{m}\not\in \Bbb Q$ even if $mn$ is perfect square.(see the example below)

Example: $n= 3$ and $ m = 12$ are not perfect square and $ nm = 36 =6^2.$ Moreover, $$\sqrt{n}+\sqrt{m} = \sqrt{3}+\sqrt{12} =3\sqrt 3 \not \in\Bbb Q$$