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?

  • 2
    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.2012-12-16
  • 0
    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.2012-12-16
  • 1
    which textbook/problems book is this from?2012-12-16
  • 0
    Badly written, too: "is $\in\mathbb Z$".2012-12-17

2 Answers 2

4

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.

  • 0
    Could you phrase that last sentence a little differently? What does the primality of 2 have to do with it?2012-12-16
  • 0
    @DougSmith It follows from the fundamental theorem of arithmetic: http://en.wikipedia.org/wiki/Fundamental_theorem_of_arithmetic2012-12-16
  • 0
    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.2012-12-16
  • 0
    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$.2012-12-16
0

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.

  • 1
    A.Schulz: I think you mean to write $a = \sqrt{2}\sqrt{2r} = \sqrt{4}\sqrt{r} = 2\sqrt{r}$2012-12-16
  • 0
    @amWhy: Thanks for pointing out the typo. Fixed.2012-12-17