|If as many even numbers as we please are added together, then the sum is even.|
|Let as many even numbers as we please, AB, BC, CD, and DE, be added together.
I say that the sum AE is even.
|Since each of the numbers AB, BC, CD, and DE is even, therefore each has a half part, so that the sum AE also has a half part. But an even number is that which is divisible into two equal parts, therefore AE is even.||VII.Def.6|
|Therefore, if as many even numbers as we please are added together, then the sum is even.|
But to reach the conclusion that a + b is divisible into two equal parts, we need
which adds the terms in a different order.
Of course the order that the terms are added has no effect on the sum. That is an implicit assumption made by Euclid and most everyone after him until the 19th century.
The modern way to deal with this question is to recognize two properties of addition of numbers. One of them is commutativity. Addition is commutative since for any two numbers a and b,
Commutativity says we can two numbers in any order and get the same result.
The other property, associativity, is more subtle. When computing the sum a + b + c of three numbers, there is still a choice of which numbers to add first. You can either add a + b first to get d, then add d + c to get the sum, or you can add b + c first to get e, then add a + e to get the sum. The same sum should result. As an equation, associativity says you can move the parentheses around:
These two properties, commutativity and associativity, are enough to guarantee that when you add any number of terms together, the order that they're added is irrelvant.
These properties should either be taken as postulates about numbers, or else proven from more basic assumptions. Besides these properties of addition, Euclid missed some other basic properties of the arithmetic operations.
Next proposition: IX.22
© 1996, 2002