Definition:Even Integer/Even-Times Odd

From ProofWiki
Jump to navigation Jump to search

Definition

Let $n$ be an integer.

Then $n$ is even-times odd if and only if it has $2$ as a divisor and also an odd number.


The first few non-negative even-times odd numbers are:

$2, 6, 10, 12, 14, 18, \ldots$


Euclid's Definition

In the words of Euclid:

An even-times odd number is that which is measured by an even number according to an odd number.

(The Elements: Book $\text{VII}$: Definition $9$)


Also see