Suppose $a$ and $b$ are integers and $a^2−5b$ is even. How can we prove that $b^2−5a$ is even?
Showing that $b^2−5a$ is even if $a^2−5b$ is even
-
0If you do not have a good idea, just check all cases: a even, b even; a even, b odd; a odd, b even; a odd, b odd. (There is some theory behind the fact that this kind of proof has to work, but you do not even have to know that.) – 2013-11-01
-
0Modulo 2, $a^2=a,b^2=b$, $-5=1$; so you can say $a^2-5b=b^2-5a$. – 2013-11-01
2 Answers
I’m going to assume that you mean $a^2-5b$ and $b^2-5a$.
HINTS: Suppose that $a^2-5b$ is even, and consider two possibilities:
- $a$ is even; and
- $a$ is odd.
If $a$ is even, then $a^2$ is even (why?). Then $5b=a^2-\left(a^2-5b\right)$ is the difference of two even numbers, so it must be even (why?), so $b$ is which, odd, or even?
If $a$ is odd, then $a^2$ is odd (why?), and you should again be able to say whether $5b$ is odd or even, and then whether $b$ is odd or even.
In both cases you’ll find that you know the parity (oddness or evenness) of both $a$ and $b$, and from that it’s possible to compute that $b^2-5a$ is indeed even.
-
0I'm sorry - i don't quite follow; when you say 5b=a^2−(a^2−5b) is the difference of two even numbers... How is this the case? I don't understand :/ – 2012-12-02
-
0@Omar: That $5b=a^2-\left(a^2-5b\right)$ is just algebra. We assumed at the beginning that $a^2-5b$ is even, and in that paragraph we’re considering the case in which $a$ is even, which implies that $a^2$ is even. Thus, in $a^2-\left(a^2-5b\right)$ we’re subtracting one even number from another, and $5b$ is therefore the difference of two even numbers, one even number minus another even number. – 2012-12-02
-
0Ah that's amazing - thank you so much for your help :) – 2012-12-02
-
0@Omar: You’re very welcome. – 2012-12-02
If $a^2-5b$ is even then $a^2$ and $5b$ are both even or both odd.
In the first case, $a$ and $b$ are both even, so that $b^2$ and $5a$ are both even. In the second case, $a$ and $b$ are both odd, so that $b^2$ and $5a$ are both odd.
The result follows.