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.

How does one prove that for every value in $\Bbb N$ 2x = an even number?

share|improve this question
8  
Define an even number –  Belgi Sep 14 '12 at 10:55
add comment

2 Answers 2

Isn't the definition of an even number all $n \in \mathbb{Z}$ such that n = 2k for some $k \in \mathbb{Z}$?

$2x$ with $x \in \mathbb{N}$ would always be an even number according to the definition above.

share|improve this answer
    
Basically, if someone told you to prove the above statement, then you would simply write, "by definition" and maybe even invoke the statement of the definition. But even that would be excessive in my opinion. –  aviness Sep 14 '12 at 11:40
add comment

That's the definition of an even number. A natural number $y$ is said to be even if there is another natural number $x$ such that $y = 2x$

Another definition: A natural number $n$ is said to be even if its residue class in the quotient ring (field) $\Bbb{Z}/2\Bbb{Z}$ is not different from 0.

share|improve this answer
    
My question was most aimed at the mathematical notation of the answer. Obviously, every integer doubled is an even number; is there however a way to write this in a mathematical notation? –  Gideon Potgieter Sep 14 '12 at 11:02
4  
@GideonPotgieter Everything on this page is "mathematical notation" –  user39572 Sep 14 '12 at 11:10
4  
What aviness and BenjaLim are saying is that a definition is not a theorem, so you don't have to prove it! A definition can't be false, it's just a way to call things: you only have to avoid definitions that lead to results which are in contradiction with already established ones. –  Andrea Orta Sep 14 '12 at 11:11
    
Thanks, got your point! –  Gideon Potgieter Sep 14 '12 at 11:52
1  
Why say "class is not different from 0" vs. "class = 0" ? –  Bill Dubuque Sep 14 '12 at 13:34
show 1 more comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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