0
$\begingroup$

I've proven the case where only one of $a$, $b$ is zero. But this is the proof for both $a$ and $b$ nonzero. This is what I have:

Suppose $a\sqrt3 + b\sqrt5 = X$ for $X$ rational. Squaring,

$X^{2}$ = $3a^{2} + 2(ab\sqrt3 \sqrt5$) + $5b^{2}$

The first and last expression on the right hand side will be rational, and since by assumption $a, b$ are nonzero we can get a new rational number $X' = \frac{X^{2} -$3a^{2} -5b^{2}}{2ab}$ such that

$X' = \sqrt3 \sqrt5$ = $\sqrt15$.

Hence the problem comes down to showing that this is a contradiction. I.e., that $\sqrt15$ is irrational.

I guess my question is whether or not my reasoning is sound so far, and whether there is an easier way to prove this that I'm missing. If it's all good, then how do we prove that $\sqrt15$ is irrational?

$\endgroup$
  • 1
    $\begingroup$ if $\sqrt{15}$ is rational then $15=\frac{a^2}{b^2}$ hence $3\times 5 b^2=a^2$ if you look at the factorization of $a^2$ you see that every prime appears an even number of times and the same for $b^2$ and so you get a contradiction $\endgroup$ – Spotty Oct 9 '16 at 21:25
  • $\begingroup$ The line of proof is correct so far. For the last step, an alternative way to show that $\sqrt{15}$ is irrational is to note that it is a root of the polynomial equation $x^2-15=0$. But by the rational root theorem... $\endgroup$ – dxiv Oct 9 '16 at 21:28
1
$\begingroup$

Your argument is fine so far, and if you can modify your proof for $\sqrt 3$ being irrational you are home. Assume $\sqrt{15}=\frac ab$ in lowest terms. Square and find that $15\mid a$, then argue that $15^2 \mid a$ and so on. Note that because you squared you do not have logical equivalence-there are irrational numbers like $\sqrt 3$ that square to rational numbers. If you find $X'$ is rational it could still be that $X$ is irrational. That is not a problem here, because $X'$ is in fact irrational.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.