1

Here's what I have so far:

$$\sqrt{a}-\sqrt{b} = m/n \implies a^2 + b^2 -2\sqrt{ab} = (m/n)^2$$ Therefore, $\sqrt{ab}$ must be rational, $ab$ must be a perfect square. Also,

$$\left(\sqrt{a}-\sqrt{b}\right)\left(\sqrt{a}+\sqrt{b}\right) = a - b$$

Therefore, in order for $\sqrt{a}-\sqrt{b}$ to be rational, $\sqrt{a}+\sqrt{b}$ must also be rational for all $a$ and $b$ such that $a \neq b$.

Is this a good enough answer?

Bill Dubuque
  • 272,048

1 Answers1

1

If you require $a,b$ to be rational and unequal, then your last part is not quite finished: since $\sqrt a-\sqrt b$ and $\sqrt a+\sqrt b$ are both rational, their sum, $2\sqrt a$ and their difference $2\sqrt b$ must also be rational.

Arthur
  • 199,419