How does one prove that for every value in $\Bbb N$ 2x = an even number?
Prove that 2x is always an even number.
-3
$\begingroup$
arithmetic
-
8Define an even number – 2012-09-14
2 Answers
7
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.
-
0Basically, 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. – 2012-09-14
3
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.
-
0My 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? – 2012-09-14
-
4@GideonPotgieter Everything on this page is "mathematical notation" – 2012-09-14
-
4What 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. – 2012-09-14
-
0@Gideon Potgieter: Generally speaking, if you are to prove that an integer $n$ is divisible by a natural number $m$, it suffices to demonstrate the equality $n = m \cdot k$ for some $k \in \mathbb{Z}$. It is entirely formal. – 2012-09-14
-
1Why say "class is not different from 0" vs. "class = 0" ? – 2012-09-14