1
$\begingroup$

enter image description here

In the last bullet, it says l must be even and provides an explanation. I don't understand the explanation, however. Why does it have to be even?

$\endgroup$
4
  • 2
    $\begingroup$ Mhh it is essentially saying that $\sqrt{l}$ is integer, which does not need to be...so I think there is a flaw in the argument. $\endgroup$ Dec 16 '12 at 20:47
  • $\begingroup$ Strange explanation! Suppose to the contrary that $a$ is odd, say $a=2t+1$. Then $a^2=2(2t^2+2t)+1$, making $a^2$ odd, false. So $a$ is even. $\endgroup$ Dec 16 '12 at 20:48
  • 1
    $\begingroup$ which textbook/problems book is this from? $\endgroup$ Dec 16 '12 at 21:01
  • $\begingroup$ Badly written, too: "is $\in\mathbb Z$". $\endgroup$ Dec 17 '12 at 7:09
4
$\begingroup$

I don't really follow the argument given. Here's a correct argument...

If $a^2 = 2l$, then $a^2$ is divisible by 2. But 2 is prime, so $a$ must be divisible by 2 too - say $a = 2b$. Then $(2b)^2 = 2l$, i.e. $2b^2 = l$, and so $l$ is divisible by 2.

$\endgroup$
4
  • $\begingroup$ Could you phrase that last sentence a little differently? What does the primality of 2 have to do with it? $\endgroup$
    – Doug Smith
    Dec 16 '12 at 20:54
  • $\begingroup$ @DougSmith It follows from the fundamental theorem of arithmetic: en.wikipedia.org/wiki/Fundamental_theorem_of_arithmetic $\endgroup$ Dec 16 '12 at 21:05
  • $\begingroup$ I don't see how that relates. I'm really close to understanding what the guy is saying, I just don't get his example. Or why. $\endgroup$
    – Doug Smith
    Dec 16 '12 at 21:13
  • $\begingroup$ Suppose 2 divides $xy$, where $x$ and $y$ are integers. Then the prime factorisation of $xy$ contains a 2. Then either $x$ is divisible by 2, or $y$ is (or both). Because, if neither of them is divisible by 2, then neither of them has $2$ in their prime factorisation, so when you multiply them together, the prime factorisation still doesn't have a 2 in. This contradicts the fact that the prime factorisation of $xy$ does have a 2 in (because prime factorisation is unique). Now let $x = y = a$. $\endgroup$
    – Billy
    Dec 16 '12 at 22:06
0
$\begingroup$

They mean that in order to have $a=\sqrt{2}\sqrt{l}$ an integer, we must have that $l$ is an even number, say $2r$. In this case $a=\sqrt{2}\sqrt{2r}=2\sqrt{r}$. If $l$ is odd, we can not spilt of the $\sqrt{2}$ from $\sqrt{l}$, thus the $\sqrt{2}$ in $a$ remains, and $a$ will be irrational.

$\endgroup$
2
  • 1
    $\begingroup$ A.Schulz: I think you mean to write $a = \sqrt{2}\sqrt{2r} = \sqrt{4}\sqrt{r} = 2\sqrt{r}$ $\endgroup$
    – amWhy
    Dec 16 '12 at 22:06
  • $\begingroup$ @amWhy: Thanks for pointing out the typo. Fixed. $\endgroup$
    – A.Schulz
    Dec 17 '12 at 7:04

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.