3
$\begingroup$

I'm working on some high school geometry homework, and I'm having some trouble with a problem about proofs and counterexamples. The question posses the statement

  • $n$ is divisible by $4$ if and only if $n^2$ is even

and asks if that is a true statement (and to provide a counter example if it is not). My understanding of the statement is that "a prerequisite of divisibility by $4$ is that a number is even when squared." Since the square root of an even number is also even (even $\cdot$ even = even), and the definition of an even number is even divisibility by $2$, the statement can be reduced to "a prerequisite to divisibility by $4$ is divisibility by $2$", which is clearly true. However, I'm concerned that my understanding of the statement is fundamentally flawed. Is the statement true or false, and why?

  • 0
    Think very carefully. Can you think of a number $n$ which is NOT divisible by 4, but where $n^2$ is even? Just think through some numbers, like 1, 2, 3 and so on. EITHER you'll come to such a number, OR you'll start to gain an understanding of why such numbers mightn't exist. I don't think the problem will take you very long if you adopt this approach.2012-10-04

4 Answers 4

3

It is false. Let $n=2$.${}{}{}{}{}{}{}{}$

The sentence has an "if and only if."

So it is claiming that (i) if $n$ is divisible by $4$, then $n^2$ is even (true) and (ii) if $n^2$ is even, then $n$ is divisible by $4$ (false, easy counterexample).

If I claim that Ottawa is the capital of Canada and elephants fly, then I am uttering a falsehood.

Remark: In general, if you are trying to prove that $A$ if and only if $B$, the first step is to separate the assertion into its two component parts: if $A$ then $B$, and if $B$ then $A$. One part may be correct and the other not, in which case the if and only if assertion is false. Or both may be true, but the proof for one may be very different from the proof for the other.

  • 1
    @rschwieb: If D$a$vid has correctly descri$b$ed how he understood the statement, every e$x$ample that he examined would have $b$een evidence that the statement was true. His problem, as he suspected, was in his understanding o$f$ the st$a$tement.2012-10-04
2

You’ve correctly understood half of the statement. A statement of the form $A$ if and only if $B$ means both that $B$ is a prerequisite for $A$ and that $A$ is a prerequisite for $B$. Equivalently, it means that $A$ implies $B$ and $B$ implies $A$.

In you specific case, the statement means that if $n$ is divisible by $4$, then $n^2$ is even, which is true, and that if $n^2$ is even, then $n$ is divisible by $4$, which is not true: just take $n=2$.

However, the following statement is true, and it might be instructive to convince yourself of this:

$n^2$ is divisible by $4$ if and only if $n$ is even.

1

$\rm\begin{eqnarray}{\bf Hint}\ \ prime\ \ p\:|\:nm&\iff&\rm p\:|\:n\ \ or\ \ p\:|\:m \\ \rm hence\ \ prime\ \ p\:|\: n^2 &\iff&\rm p\:|\:n\end{eqnarray} $

Equivalently, $\rm\ mod\ p\!:\ nm\equiv 0\!\iff\! n\equiv 0\ \ or\ \ m\equiv 0,\ \ thus\ \ n^2\equiv 0\!\iff\! n\equiv 0.$

0

I think the appropriate question is:

Is "$n^{2}$ is divisible by 4 if and only if $n$ is even" a true statement?

and the answer is sure.

  • 0
    That was already mentioned in my comment above, and also by Brian (as I just now noticed).2012-10-04