Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Some books say even numbers start from two but if you consider the number line concept, I think zero should be even because it is in between -1 and +1 (i.e in between 2 odd numbers). What is the real answer?

share|improve this question
19  
+1 for "thinking outside the books". :) (Restoring a comment that seems to have been removed. What's up with that? This is a serious commendation of a seriously-commendable practice.) –  Blue Dec 27 '10 at 0:19
9  
    

10 Answers 10

up vote 15 down vote accepted

For that, we have to try all the axioms formulated for even numbers. I'd use only four in this case.

Note: In this question, for the sake of my laziness, I'd often use $N_e$ for even, and $N_o$ for odd.

Test 1:

An even number is always divisible by $2$.

We know that if $x,y\in \mathbb{Z}$ and $\dfrac{y}{x} \in \mathbb{Z},$ then $y$ is a divisor of $x$ (formally $y|x$).

Yes, both $0,2 \in \mathbb{Z}$ and yes, $\dfrac{0}{2}$ is $0$ which is an integer. Passed this one with flying colors!


Test 2:

$N_e + N_e$ results in $N_e$

Let's try an even number here, say $2$. If the answer results in an even number, then $0$ will pass this test. $\ \ \ \ \underbrace{2}_{\large{N_e}} + 0 = \underbrace{2}_{N_d} \ \ \ $, so zero has passed this one!


Test 3:

$N_e + N_o$ results in $N_o$

$0 + \underbrace{1}_{N_o} = \underbrace{1}_{N_o}$

Passed this test too!


Test 4:

If $n$ is an integer of parity $P$, then $n - 2$ will also be an integer of parity $P$.

We know that $2$ is even, so $2 - 2$ or $0$ is also even.

share|improve this answer
    
what about $3-3=0$? –  Vitalie Ghelbert Nov 3 at 5:58
    
I'm supposing that 0 not even, not odd. But could be also, even and odd. :) Paradox. :) –  Vitalie Ghelbert Nov 3 at 5:59
    
That is a valid test too. Odd $-$ odd is always even. So zero is even. –  Parth Kohli Nov 3 at 12:55

As the history of mathematics shows, zero is a very odd number whose general acceptance is surprisingly recent. However, it is not odd. Perhaps the ambiguity of "odd" causes all the confusion.

share|improve this answer

I think zero is an even number because its in between 1 and -1.If they are odd numbers then the number in between must be even.Which means zero is an even number.

share|improve this answer

Is Zero Even? - Numberphile

PS : This is completely opposite to my previous post (and view) but it has many good points and we are here to learn and not to push one's own view of things.

share|improve this answer

If you are talking about the function $f(x)=0$


You can apply the tests for oddness/evenness;

A function $f$ is even $\iff$ $f(x)=f(-x)$

A function $f$ is odd $\iff$ $f(x)=-f(-x)$


$f(x)=0$ is the only function that passes both of these tests

and hence is the only function that is both even and odd.

share|improve this answer
2  
-1. Did you notice that the question referred to "even numbers", "odd numbers", and "the number line"? The question is clearly about the number 0. –  Zev Chonoles Dec 30 '12 at 8:02
    
I did notice that , But i still think my answer is relevant. The question is about definitions and definitions in mathematics should be as consistent as they can thought as many contexts as possible. –  Elements in Space Dec 30 '12 at 8:08
1  
@UnkleRhaukus: I upvoted your answer not because it is relevant but because it provides content that is accurate and may be useful in another context. However, as you have experienced firsthand, it is not advisable to pull the stunt of not directly addressing the given problem in the future. –  Haskell Curry Dec 30 '12 at 8:21

The real answer depends on the definition, because there is math-history tag invoked there was a time that 1 was not considered an odd numbers, 0 and negative numbers for sure where not considered even or odd. Historically the concept was defined only for natural numbers. These a days the set of all integers multiplied by 2 is considered the set of even numbers, i.e. $\dots,-4,-2,0,2,4,\dots$ n and all the integers not in that set are defined to be odd. There is no real answer, it all depends on the definition, same way that the book is only dealing with natural numbers and not integers. The concept was extended from naturals to integers, but there are uncountably many ways to define the even and odds beyond the natural numbers. Just make sure others know what definition you are using to label something even or odd.

share|improve this answer
    
Dear Arjang, I'm curious --- do you have a reference for this? Regards, –  Matt E Dec 27 '10 at 21:51
    
@Matt E : The part about 1 not being even nor odd is in the history section of en.wikipedia.org/wiki/Parity_(mathematics) . The part about even and oddness being defined only for natuarl numbers was in math history books. I do not have access to math history books but I found this link with some additional info : mathforum.org/library/drmath/view/65413.html The part about moders definition of even and odd : It was the simplest way that I think I had seen in a math book (I don't remember the book). If there are any parts that needs refrence let or doesnt seem correct let me know. –  Arjang Dec 27 '10 at 22:14
    
Dear Arjang, Thanks very much! I certainly agree with your description of the modern definition, but I wasn't aware of the changing nature of even and oddness through history (or if I ever did know it, I had forgotten it). Thanks for the interesting answer. Best wishes, –  Matt E Dec 27 '10 at 22:20
    
@Matt E: If you get a chance try to read the books History Of Mathematics By Stilwell, Analysis By it's history, and the feuds between mathematicians on Continuity, Heat Equation , Set theory. Specially Euler vs d'alembert is enlightening. To see the ideas progress from just an idea to complete theories we have today is better than listening to Bach! –  Arjang Dec 27 '10 at 22:31

Yes, the "classification" of naturals by their parity (remainder modulo $2\:$) extends immediately to integers. Namely, even integers are those divisible by $2$, i.e. $\rm\: n = 2\:m\equiv 0\ (mod\ 2)\:,\: $ and odd integers are those leaving remainder $\:1\:$ when divided by $\:2\:,\ $ i.e. $\rm\ n = 2\:m + 1\equiv 1\ (mod\ 2)\:.\: $ The effectiveness of this parity classification arises from the fact that it is compatible with integer arithmetic operations, i.e. if $\rm\ \bar{a}\ :=\ a\ (mod\ 2)\ $ then $\rm\ \overline{ a+b}\ =\ \bar a + \bar b,\ \ \overline{a\ b}\ =\ \bar a\ \bar b\:.\: $ Iterating, we infer that equalities between expressions composed of these integer operations (i.e. integer polynomial expressions) are preserved by taking their images modulo $2$ (ditto mod $\rm\:m\:$ for any $\rm\:m\:,$ e.g mod $9$ reduction yields casting out nines). In this way we can hope to understand integer equations by studying their images in the simpler (finite!) rings $\rm\: \mathbb Z/m\: $ of integers modulo $\rm\:m\:.\:$

For example, if an integer coefficient polynomial has an integer root $\rm\ f(n) = 0\ $ then it remains a root modulo $2$, i.e. $\rm\ f(n)\equiv 0\ (mod\ 2)\:.\:$ So, contrapositively, if a polynomial has no roots modulo $2$ then it has no integer roots. This leads to the following simple

PARITY ROOT TEST $\ $ A polynomial $\rm\:P(x)\:$ with integer coefficients has no integer roots if its constant coefficient and coefficient sum are both odd.

Proof $\ $ The test verifies that $\rm\ P(0) \equiv P(1)\equiv 1\ \ (mod\ 2)\:,\ $ i.e. that $\rm\:P(x)\:$ has no roots modulo $2$, hence no integer roots. $\quad$ QED

E.g. $\rm\:\ a\ X^2 + b\ X + c\ $ has no integer roots if $\rm\:c\:$ is odd and $\rm\:a,\:b\:$ have equal parity $\rm\:a\equiv b\ (mod\ 2)$

Compare the conciseness of this test to the messy reformulation that would result if we had to restrict it to positive integers. Then we could no longer represent polynomial equations in the normal form $\rm\:f(x) = 0\:$ but, rather, we would need to consider general equalities $\rm\:f(x) = g(x)\:$ where both polynomials have positive coefficients. Now the test would be much messier - bifurcating into motley cases. Indeed, historically, before the acceptance of negative integers and zero, the formula for the solution of a quadratic equation was stated in such an analogous obfuscated way - involving many cases. But by extending the naturals to the ring of integers we are able to unify what were previously motley separate cases into a single universal method of solving a general quadratic equation.

Analogous examples exist throughout history that help serve to motivate the reasons behind various number system enlargements. Studying mathematical history will help provide one with a much better appreciation of the motivations behind the successive enlargements of the notion of "number systems", e.g. see Kleiner: From numbers to rings: the early history of ring theory.

Above is but one of many examples where "completing" a structure in some manner serves to simplify its theory. Such ideas motivated many of the extensions of the classical number systems (as well as analogous geometrical and topological completions concept, e.g. adjoining points at $\infty$, projective closure, compactification, model completion, etc). For some interesting expositions on such methods see the references here.

Note: $\: $ Analogous remarks (on the power gained by normalizing equations to the form $\ldots = 0\:$) hold true more generally for any algebraic structure whose congruences are determined by ideals - so-called ideal determined varieties, e.g. see my post here and see Gumm and Ursini: Ideals in universal algebras. Without zero and negative numbers (additive inverses) we would not be able to rewrite expressions into such concise normal forms and we would not have available such powerful algorithms such as the Grobner basis algorithm, Hermite/Smith normal forms, etc.

share|improve this answer

This problem arose e.g. during the Beijing even-odd car ban for the 2008 Olympics, where cars with odd numbered licence plates were banned one day, then even the next day.

The choice is between:

  • 0 is even and not odd,
  • 0 is odd and not even,
  • 0 is both even and odd,
  • 0 is neither even nor odd (like infinity or $\pi$) or
  • 0 is assigned a unique title (like how 1 called a "unit" -- neither prime nor composite).

This is a matter of definition, so while you could define 0 to be any of the above, it's best to choose the definition that will be the most consistent with the usage of "even" and "odd" for numbers other than 0.

Let $W=\{2,4,6,\ldots\}$, $V=\{1,3,5,\ldots,\}$ and lets look at the properties of even and odd numbers on these sets that we are familiar with.

  • A number is either even or odd, and not both.
  • If $w,x \in W$ then $w+x \in W$ (even + even = even).
  • If $w \in W$ and $v \in V$ then $w+v \in V$ (even + odd = odd).
  • If $y,v \in V$ then $y+v \in W$ (odd + odd = even).

[and probably many others I've forgotten to write here]

So it would be desirable that whichever definition we choose for 0, it preserves the above properties. Now lets say we let 0 be odd (the second and third cases listed above). Then our definition is not consistent with these properties. So, if we choose to define 0 as odd, we should have some substantial benefits to outweigh the losses. On the other hand, defining 0 to be even and not odd is consistent with the above properties.

The last two candidate definitions are essentially saying there is no consistent way of defining even or oddness to 0. But in this case, there is -- 0 is even and not odd.

[Note: We also have the property that elements of W are all divisible by 2, but whether or not 0 is divisible by 2 is another matter of definition, for which we should again apply the "which is the most sensible definition" concept.]

share|improve this answer
    
Where I live, there is also a rule where vehicles whose plate numbers end in an odd number are only allowed on certain days, and similarly for even numbers. When this rule was first implemented, it was to everyone's consternation that neither the enforcers nor the motorists (okay, most of them, not all of them) knew about the parity of zero. A subsequent survey confirmed this. –  J. M. May 30 '13 at 16:48

YES! zero is an even number. Here is the Dr. Math's explanation.


This seems to be a matter of confusion for many others around this planet,you may always like to ask google for your confusion.

share|improve this answer
5  
+1 For the second link ;) –  Tomek Tarczynski Dec 26 '10 at 15:17
1  
@Deb: The point is to remove any reference to lmgtfy! :-) –  Aryabhata Dec 26 '10 at 20:22
5  
The second link should have been LMGTFY. –  muntoo Dec 26 '10 at 20:28
2  
@Deb: I don't find it rude, I find it old, incredibly sophomoric and stupid :-) Others might find it rude (as the link I gave you shows). If you want to continue using, go ahead. I will continue with the -1 :-) –  Aryabhata Dec 26 '10 at 20:37
1  
@Moron: I am not that stupid to waste my time in doing something that you find old, incredibly sophomoric and stupid :) –  Quixotic Dec 26 '10 at 20:42

Which numbers are you using? Positive integer? In this case, you don't have to consider zero (that's why, perhaps, some books says that even numbers start from 2). If 0 is in your number set, then yes, it is divisible by 2.

share|improve this answer

protected by MJD Jan 28 at 19:43

Thank you for your interest in this question. Because it has attracted low-quality answers, posting an answer now requires 10 reputation on this site.

Would you like to answer one of these unanswered questions instead?

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