How to quote definitions concisely?

Question

Theorem:

The negative of any even integer is even.

proof:

Suppose $n$ is an even integer. By definition of even, $n$ is even $\iff \exists k \in\mathbb{Z}$ such that $n = 2k$. We must show that the negative of $n$ is even. Then $n = 2k$ $= -(n) = -(2k)$ $= -n = -2k$ $= -n = 2(-k)$. Let $-k = r$, notice that $r$ is an integer because it's the product of integers $-1$ and $k$. Since $-n = 2r$ follows the definition of even, the negative of n is even.

How can we abbreviate this to take less space? When quoting definitions, I have a tendency to quote its entirety.

Answer 1

The negative of any even integer is even.

Correctly applying a definition does not necessarily involve quoting the thing. For example, here's a sample proof:

• Let $n$ be an arbitrary even integer. Then for some integer $k,$ we have $n=2k.$

  Let $m$ denote $-k.$ So, $m$ is an integer and $-n=-2k=2m;$ that is, $-n$ is even.

  Hence, every even integer's negation is even.

(For example, given the even integer -24, its negation 24 is also even.)

By the way, the given theorem is not well-worded: does "the negative of the even integer $-6$ (i.e., minus six)" equal $6$ (but this is not negative) or $-6$ (but this is not the negation of $-6$)?

---

Addendum corresponding to the OP's edit

Suppose $n$ is an even integer. By definition of even, $n$ is even $\iff \exists k \in\mathbb{Z}$ such that $n = 2k$. We must show that the negative of $n$ is even. Then $n = 2k = -(n) = -(2k) = -n = -2k = -n = 2(-k).$ Let $-k = r$, notice that $r$ is an integer because it's the product of integers $-1$ and $k$. Since $-n = 2r$ follows the definition of even, the negative of n is even.

This is a nicely-written proof, except that $$n = 2k = -(n) = -(2k) = -n = -2k = -n = 2(-k)$$ is incoherent. Try to write the string of equalities such that they read more linearly.

Answer 2

$n$ is even $\iff$ $(\forall n)(n\in Z\implies (\exists k)(n=2k))$

This is a proper definition according to definition theory of Patrick Suppes, "Introduction to Logic".

a definition should satisfy criterion of eliminability, i.e. eliminate definiendum by axioms and previous theorems of the theory on the definiens.

And satisfy criterion of non-creativity as it does not provide anything that can not be proven without it, using axioms and previous theorems of the theory.

In Mathematics this is called a conditional definition.

The OP has changed the question from what is an even natural number, to proving that an even integer (may as well be negative) is even.

That is not fair play.

Yet i will answer.

Let $N=2k$ (already defined by me). Then $-N=(-1)*2k$ assuming the axioms of arithmetic.

Thus the number is divisible by $2$.

What I don't like is foul play of people asking for someone else to do their homework!