(a + b) + (a - b) = 2a,
and (a + b) - (a - b) = 2b.
This may be explained still further, as follows:
25. Suppose a number of sealed packets, marked a, b, c, d, &c., on the outside, each of which contains a distinct but unknown number of counters. As long as we do not know how many counters each contains, we can make the letter which belongs to each stand for its number, so as to talk of the number a, instead of the number in the packet marked a. And because we do not know the numbers, it does not therefore follow that we know nothing whatever about them; for there are some connexions which exist between all numbers, which we call general properties of numbers. For example, take any number, multiply it by itself, and subtract one from the result; and then subtract one from the number itself. The first of these will always contain the second exactly as many times as the original number increased by one. Take the number 6; this multiplied by itself is 36, which diminished by one is 35; again, 6 diminished by 1 is 5; and 35 contains 5, 7 times, that is, 6 + 1 times. This will be found to be true of any number, and, when proved, may be said to be true of the number contained in the packet marked a, or of the number a. If we represent a multiplied by itself by aa,[5] we have, by (23)
| aa - 1 | ||
| ——— | = | a + 1. |
| a - 1 |
26. When, therefore, we wish to talk of a number without specifying any one in particular, we use a letter to represent it. Thus: Suppose we wish to reason upon what will follow from dividing a number into three parts, without considering what the number is, or what are the parts into which it is divided. Let a stand for the number, and b, c, and d, for the parts into which it is divided. Then, by our supposition,
a = b + c + d.
On this we can reason, and produce results which do not belong to any particular number, but are true of all. Thus, if one part be taken away from the number, the other two will remain, or
a - b = c + d.
If each part be doubled, the whole number will be doubled, or
2a = 2b + 2c + 2d.