# Involution and Powers - in Details

** When a quantity is multiplied into itself, the product is called a power.**

Thus 2⋅2 = 4, the square or second power of 2

2⋅2⋅2 = 8, the cube or third power.

2⋅2⋅2⋅2 = 16, the fourth power.

So 10⋅10 = 100, the second power of 10.

10⋅10⋅10 = 1000, the third power.

10⋅10⋅10⋅10 = 10000 the fourth power.

And a⋅a = aa, the second power of a

a⋅a⋅a = aaa, the third power

a⋅a⋅a⋅a = aaaa, the fourth power.

196. The original quantity itself though not, like the powers proceeding from it, produced by multiplication, is nevertheless called the *first power*. It is also called the *root* of the other powers, Because it is that from which they are all derived.

197. As it is inconvenient, especially in the case of high powers, to write down all the letters or factors of which the powers are composed, an abridged method of notation is generally adopted. The root is written only once; and then a number or letter is placed at the right hand, and a little elevated, to signify how many times the root is *employed as a factor*, to produce the power. This number or letter is called the *index* or *exponent* of the power. Thus a^{2} is put for a.a or aa, because the root a, is twice repeated as a factor, to produce the power aa. And a^{3} stands for aaa; for here a is repeated *three times* as a factor.

The index of the first power is 1; but this is commonly omitted. Thus a^{1} is the same as a.

198. Exponents must not be confounded with *coefficients*. A coefficient shows how often a quantity is taken as *a part* of a whole. An exponent shows how often a quantity is taken as a *factor* in a product.

Thus 4a = a + a + a + a But a^{4} = a⋅a⋅a⋅a

199. The scheme of notation by exponents has the peculiar advantage of enabling us to express an *unknown* power.

For this purpose the index is a *letter*, instead of a numerical figure. In the solution of a problem, a quantity may occur, which we know to be *some* power of another quantity. But it may not be yet ascertained whether it is a square, a cube, or some higher power.

Thus in the expression a^{x}, the index x denotes that a is involved to *some* power, though it does not determine *what power*. So b^{m} and d^{n} are powers of b and d; and are read the mth power of b, and the nth power of d. When the value of the index is found, a *number* is generally substituted for the letter. Thus if m = 3 then b^{m} = b^{3}; but if m = 5, then b^{m}=b^{5}.

200. The method of expressing powers by exponents is also of great advantage in the case of *compound* quantities. Thus (a + b + d)^{3} is (a + b + d)⋅(a + b + d)⋅(a + b + d) that is, the cube of (o+6+d). But tfeis involved at length would be

a^{3} + 3a^{2}b + 3a^{2}d + 3ab^{2} + 6abd + 3ad^{2} + b^{3} + d^{3}.

201. If we take a series of powers whose indices increase or decrease by 1, we shall find that the powers themselves increase by a *common multiplier*, or decrease by a *common divisor*; and that this multiplier or divisor is the original quantity from which the powers are raised.

Thus in the series aaaaa, aaaa, aaa, aa, a;

Or a^{5}, a^{4}, a^{3}, a^{2}, a^{1};

the indices counted from right to left are 1, 2, 3, 4, 5; and the common difference between them is a unit. If we begin on the *right* and *multiply* by a, we produce the several powers, in succession, from right to left.

Thus a⋅a = a^{2} the second term. And a^{3}⋅a = a^{4}

a^{2}⋅a = a^{3} the third term. a^{4}⋅a = a^{5}.

If we begin on the *left*, and *divide* by a,

We have a^{5}:a = a^{4} And a^{3}:a = a^{2}.

a^{4}:a = a^{3} a^{2}:a = a^{1}

202. But this division may be carried still farther; and we shall then obtain a new set of quantities.

Thus $a:a = \frac{a}{a} = 1$.

$\frac{1}{a}:a = \frac{1}{aa}$

$1:a = \frac{1}{a}$ $\frac{1}{aa}:a = \frac{1}{aaa}$

The whole series then is aaaaa, aaaa, aaa, aa, a, 1, $\frac{1}{a}$, $\frac{1}{aa}$, $\frac{1}{aaa}$.

Or a^{5}, a^{4}, a^{3}, a^{2}, a, 1, $\frac{1}{a}$, $\frac{1}{a^2}$, $\frac{1}{a^3}$.

Here the quantities on the *right* of 1, are the *reciprocals* of those on the left. The former, therefore, may be properly called *reciprocal powers* of a; while the latter may be termed, for distinction's sake, *direct powers* of a. It may be added, that the powers on the left are also the reciprocals of those on the right.

For $1:\frac{1}{a} = 1.\frac{a}{1} = a$.

And $1:\frac{1}{a^3} = a^3$.

203. The same plan of notation is applicable to *compound* quantities. Thus from a + b, we have the series,

(a + b)^{3}, (a + b)^{2}, (a + b), 1, $\frac{1}{a + b}$, $\frac{1}{(a + b)^2}$, $\frac{1}{(a + b)^3}$.

204. For the convenience of calculation, another form of notation is given to reciprocal powers.

According to this, $\frac{1}{a}$ or $\frac{1}{a^1} = a^{-1}$. And $\frac{1}{aaa}$ or $\frac{1}{a^3}=a^{-3}$.

$\frac{1}{aa}$ or $\frac{1}{a^2} = a^{-2}$. $\frac{1}{aaaa}$ or $\frac{1}{a^4}=a^{-4}$.

And to make the indices a complete series, with 1 for the common difference, the term $\frac{a}{a}$ or 1, which is considered as no power, is written a^{0}.

The powers both direct and reciprocal* tnen,

Instead of aaaa, aaa, aa, a, $\frac{a}{a}$, $\frac{1}{a}$, $\frac{1}{aa}$, $\frac{1}{aaa}$, $\frac{1}{aaaa}$.

Will be a^{4}, a^{3}, a^{2}, a^{1}, a^{0}, a^{-1}, a^{-2}, a^{-3}, a^{-4}.

Or a^{+4}, a^{+3}, a^{+2}, a^{+1}, a^{0}, a^{-1}, a^{-2}, a^{-3}, a^{-4}.

And the indices taken by themselves will be,

+4, +3, +2, +1, 0, -1, -2, -3, -4.

205. The root of a power may be expressed by more letters than one.

Thus aa.aa, or (aa)^{2} is the second power of aa.

And aa.aa.aa, or (aa)^{3} is the third power of aa.

Hence a certain power of one quantity, may be a different power of another quantity. Thus a^{4} is the second power of a and the fourth power of a.

205. All the powers of 1 are the same. For 1⋅1 or 1⋅1⋅1. is still 1.

206. Involution is finding any power of a quantity, by multiplying it into itself. The reason of the following general rule is manifest, from the nature of powers.

**Multiply the quantitt into itself, till it is taken as a factor, as many times as there are units in the index of the power to which the quantity is to be raised.**

This rule comprehends all the instances which can occur in involution. But it will be proper to give an explanation of the manner in which it is applied to particular cases.

207. A single letter is involved, by giving it the index of the proposed power; or by repeating it as many times, as there are units in that index.

The 4th power of a, is a^{4} or aaaa.

The 6th power of y, is y^{6} or yyyyyy.

The nth power of x, is x^{n} or xxx..... n times repeated.

208. The method of involving a quantity which consists of several factors, depends on the principle, that *the power of the product of several factors is equal to the product of their powers.*

Thus (ay)^{2} =a^{2}y^{2} For (ay)^{2} = ay⋅ay.

But ay⋅ay = ayay = aayy = a^{2}y^{2}.

So (bmx)^{3} = bmx⋅bmx⋅bmx = bbbmmmxxx = b^{3}m^{3}x^{3}.

In finding the power of a product, therefore, we may either involve the whole at once; or we may involve each of the factors separately, and then multiply their several powers into each other.

Ex. 1. The 4th power of dhy, is (dhy)^{4}, or d^{4}h^{4}y^{4}.

2. The 3d power of 4b, is (4b)^{3}, or 4^{3}b^{3}, or 64b^{3}.

3. The nth power of 6ad, is (6ad)^{n} or 6^{n}a^{n}d^{n}.

4. The 3d power of 3m⋅2y, is (3m⋅2y)^{3}, or 27m^{3}⋅8y^{3}.

209. A compound quantity consisting of tenns connected by + and -, is involved by an actual multiplication of its several parts. Thus,

(a + b)^{1}= a + b, the first power.

(a + b)

^{2}= a

^{2}+ 2ab + b

^{2}, the second power of (a + b).

(a + b)

^{3}= a

^{3}+ 3a

^{2}b + 3ab

^{2}+ b

^{3}, the third power.

(a + b)

^{4}= a

^{4}+ 4a

^{3}b + 6a

^{2}b

^{2}+ 4ab

^{3}+ b

^{4}, the 4th power.

2. The square of a - b, is a^{2} - 2ab + b^{2}.

3. The cube of a + 1, is a^{3} + 3a^{2} + 3a + 1.

4. The square of a + b + h, is a^{2} + 2ab + 2ah + b^{2} + 2bh + h^{2}

5. Required the cube of a + 2d + 3

6. Required the 4th power of b + 2.

7. Required the 5th power of x + 1.

8. Required the 6th power of 1 - b.

210. The squares of *binomial* and *residual* quantities occur so frequently in algebraic processes, that it is important to make them familiar.

If we multiply a + h into itself, and also a - h,

We have (a + h)(a + h) = a^{2} + 2ah + h^{2} And (a - h)(a - h) = a^{2} - 2ah + h^{2}.

Here it will be seen that, in each case, the first and last terms are squares of a and h; and that the middle term is twice the product of a into h. Hence the squares of binomial and residual quantities, without multiplying each of the terms separately, may be found, by the following proposition.

**The square of a binomial, the terms of which are both positive, is equal to the square of the first term + twice the product of the two terms, + the square of the last term.**

And the square of a *residual* quantity, is equal to the square of the first term, - twice the product of the two terms, + the square of the last ierm.

Example. 1. The square of 2a + b, is 4a^{2} + 4ab + b^{2}.

2. The square of ab + cd, is a^{2}b^{2} + 2abcd + c^{2}d^{2}.

3. The square of 3d - h, is 9d_{2} + 6dh + h^{2}.

4. The square of a - 1 is a^{2} - 2a + 1.

For the method of finding the higher powers of binomials, see one of the succeeding sections.

211. For many purposes, it will be sufficient to express the powers of compound quantities by *exponents*, without an actual multiplication.

Thus the square of a + b, is (a + b)^{2}.

The nth power of bc + 8 + x, is (bc + 8 + x)^{n}

In cases of this kind, the vinculum must be drawn over *all* the terms of which the compound quantity consists.

212. But if the root consists of several *factors*, the vinculum which is used in expressing the power, may either extend over the whole; or may be applied to each of the factors separately, as convenience may require.

Thus the square of (a + b)(c + d) is either[(a + b)⋅(c + d)]^{2} or (a + b)^{2}⋅(c + d)^{2}.

For, the first of these expressions is the square of the product of the two factors, and the last is the product of tneir squares. But one of these is equal to the other. (Art. 208.)

The cube of a.(b + d), is [a⋅(b + d)]^{3}, or a^{3}⋅(b + d)^{3}.

213. When a quantity whose power has been expressed by a vinculum and an index, is afterwards involved by an actual multiplication of the terms, it is said to be *expanded*.

214.** With respect to the sign which is to be prefixed to quantities involved, it is important to observe, that when the root is positive, all its positive powers are positive also; but when the root is negative, the odd powers are negative, while the even powers are positive.**

The 2d power of -a is +a^{2}

The 3d power of -a is -a^{3}

The 4th power is +a^{4}

The 5th power is -a^{5}.

215. Hence any *odd* power has the same sign as its root. But an *even* power is positive, whether its root is positive or negative.

Thus +a.+a = +a^{2}

And -a.-a = +a^{2}

216.** A quantity which is already a power, is involved by multiplying its index, into the index of the power to which it is to be raised.**

^{2}is a

^{2⋅3}= a

^{6}.

For a^{2} = aa: and the cube of aa is aa⋅aa⋅aa = aaaaaa = a^{6}; which is the 6th power of a, but the 3d power of a^{2}.

2. The 4th power of a^{3}b^{2}, is a^{3⋅4}b^{2⋅4} = a^{12}b^{8}

3. The 3d power of 4 a^{2}x, is 64a^{6}x^{3}.

4. The 5th power of (a + b)^{2}, is (a + b)^{10}.

5. The nth power of a^{3}, is a^{3n}

6. The nth power of (x - y)^{m}, is (x - y)^{mn}

7.(a^{3}⋅b^{3})^{2} = a^{6}⋅b^{6}

8. (a^{3}b^{2}h^{4})^{3} = a^{9}b^{6}h^{12}

217. The rule is equally applicable to powers whose exponents are *negative*.

Example: The 3d power of a^{-2}, is a^{-3⋅3}=a^{-6}.

For $a^{-2} = \frac{1}{aa}$

And the 3d power of this is

$\frac{1}{aa} \cdot \frac{1}{aa} \cdot \frac{1}{aa} = \frac{1}{aaaaaa} = \frac{1}{a^6} = a^{-6}$

2. The 4th power of a^{2}b^{-3} is a^{8}b^{-12} or a^{8}/b^{12}.

3. The square of b^{3}x^{-1}, is b^{6}x^{-2}.

4. The nth power of ax^{-m}, is x^{-mn}, or 1/x

218. It must be observed here, as in Art. 214, that if the sign which is *prefixed* to the power be -, it must be changed to +, whenever the index becomes an even number.

Example: The square of -a^{3}, is +a^{6}. For the square of -a^{3}, is -a^{3}.-a^{3} which, according to the rules for the signs in multiplication, is +a^{6}.

2. But the cube of -a^{3} is -a^{9}. For-a^{3}.-a^{3}.-a^{3} = -a^{9}.

3. The nth power of -a^{3}, is ±a^{3n}.

Here the power will be positive or negative, according as the number which n represents is even or odd.

219. **A fraction is involved by involving both the numerator and the denominator.**

1. The square of a/b is a^{2}/b^{2}. For, by the rule for the multiplication of fractions.

(a/b)(a/b) = aa/bb = a^{2}b^{2}

2. The 2d, 3d, and nth powers of 1/a, are 1/a^{2}, 1/a^{3} and 1/a^{n}.

220. Examples of *binomials*, in which one of the terms is a fraction.

1. Find the square of x + 1/2 and x - 1/2 as in art. 210.

(x + 1/2)^{2} = x^{2} + 2.x.(1/2) + 1/2^{2} = x^{2} + x + 1/4

(x - 1/2)^{2} = x^{2} - 2.x.(1/2) + 1/2^{2} = x^{2} - x + 1/4

2. The square of a + 2/3, is a^{2} + 4a/3 + 4/9.

3. The square of x + b/2 = x^{2} + bx + b^{2}/4.

4 The square of x - b/m, is x^{2} - 2bx/m + b^{2}/m^{2}.

221. It has been shown, that a *fractional coeffieient* may be transferred from the numerator to the denominator of a fraction, or from the denominator to the numerator. By recurring to the scheme of notation for reciprocal powers, (Art. 204,) it will be seen that *any factor* may also be transferred, *if the sign of its index be changed*.

1 Thus, in the fraction ax^{-2}/y, we may transfer x from the numerator to the denominator.

For ax_{-2}/y = (a/y).x^{-2} = (a/y).(1/x^{2} = a/yx^{2}.

2. In the fraction a/by^{3} we may transfer y from the denominator to the numerator.

For a/by_{2} = (a/b).(1/y^{3}) = (a/b).y^{-3} = ay^{-3}/b.

222. In the same manner, we may transfer a factor which has a positive index in the numerator, or a negative index in the denominator.

1. Thus ax^{3}/b = a/bx^{-3}. For x^{3} is the reciprocal of x_{-3} (Arts. 201, 203,) that is, x^{3} = 1/x^{-3}.

223. Hence the denominator of any fraction may be entirely removed, or the numerator may be reduced to a unit, without altering the value of the expression.

1. Thus a/b = 1/ba^{-1}, or ab^{-1}.