ALGEBRA

A L G E B R A,

A GENERAL method of computation, wherein signs and symbols, commonly the letters of the alphabet, are made use of to represent numbers, or any other quantities.

This science, properly speaking, is no other than a kind of short-hand, or ready way of writing down a chain of mathematical reasoning on any subject whatever; so that it is applicable to arithmetic, geometry, astronomy, mensuration of all kinds of solids, &c. and the great advantages derived from it appear manifestly to arise from the conciseness and perspicuity with which

every proposition on mathematical subjects can be written down in algebraic characters, greatly superior to the tedious circumlocutions which would be necessary were the reasoning to be written in words at length.

With regard to the etymology of the word algebra, it is much contested by the critics. Menage derives it from the Arabic aljabarat, which signifies the restitution of any thing broken; supposing that the principal part of algebra is the consideration of broken numbers. Others rather borrow it from the Spanish, algebrista, a person who replaces dislocated bones; adding,

HISTORY. ding, that algebra has nothing to do with fraction. Some, with M. d'Herbelot, are of opinion, that algebra takes its name from Gebar, a celebrated philosopher, chemist, and mathematician, whom the Arabs call Giaber, and who is supposed to have been the inventor. Others from gest, a kind of parchment made of the skin of a camel, whereon Ali and Giafer Sadek wrote, in mythic characters, the fate of Mahometanism, and the grand events that were to happen till the end of the world. But others, with more probability, derive it from geber; a word whence, by prefixing the article al, we have formed algebra; which is pure Arabic, and properly signifies the reduction of fractions to a whole number. However, the Arabs, it is to be observed, never use the word algebra alone, to express what we mean by it; but always add to it the word macabelab, which signifies opposition and comparison: thus algebra-almacabelab, is what we properly call algebra.

Some authors define algebra, The art of solving mathematical problems; but this is rather the idea of analysis, or the analytic art. The Arabs call it, The art of restitution and comparison; or, The art of resolution and equation. Lucas de Burgo, the first European who wrote of algebra, calls it, Regula rei et census; that is, the rule of the root and its square; the root with them being called rei, and the square census. Others call it Specious Arithmetic; and some, Universal Arithmetic.

HISTORY. It is highly probable that the Indians or Arabians first invented this noble art: for it may be reasonably supposed, that the ancient Greeks were ignorant of it; because Pappus, in his mathematical collections, where he enumerates their analysis, makes no mention of any thing like it; and, besides, speaks of a local problem, begun by Euclid, and continued by Apollonius, which none of them could fully resolve; which doubtless they might easily have done, had they known any thing of algebra.

Diophantus was the first Greek writer of algebra; who published 13 books about the year 800, though only six of them were translated into Latin, by Xylander, in 1575; and afterwards, viz. anno 1621, in Greek and Latin, by M. Bachet and Fermat, with additions of their own. This algebra of Diophantus's only extends to the solution of arithmetical indeterminate problems.

Before this translation of Diophantus came out, Lucas Pacciolus, or Lucas de Burgo, a Minorite friar, published at Venice, in the year 1494, an Italian treatise of algebra. This author makes mention of Leonardus Pifanus, and some others, of whom he had learned the art; but we have none of their writings. He adds, that algebra came originally from the Arabs, and never mentions Diophantus; which makes it probable, that that author was not then known in Europe. His algebra goes no farther than simple and quadratic equations.

After Pacciolus appeared Stifelius, a good author; but neither did he advance any farther.

After him came Scipio Ferreus, Cardan, Tartaglia, and some others, who reached as far as the solution of some cubic equations. Bombelli followed these, and went a little farther. At last came Nun-

nus, Ramus, Schoner, Salignac, Clavius, &c. who all of them took different courses, but none of them went beyond quadratics.

In 1590, Vieta introduced what he called his Specious Arithmetic, which consists in denoting the quantities, both known and unknown, by symbols or letters. He also introduced an ingenious method of extracting the roots of equations, by approximations; since greatly improved and facilitated by Raphson, Halley, Maclaurin, Simpson, and others.

Vieta was followed by Oughtred, who, in his Clavis Mathematica, printed in 1631, improved Vieta's method, and invented several compendious characters, to show the sums, differences, rectangles, squares, cubes, &c.

Harriot, another Englishman, contemporary with Oughtred, left several treatises at his death; and among the rest, an Analysis, or Algebra, which was printed in 1631, where Vieta's method is brought into a still more commodious form, and is much esteemed to this day.

In 1657, Des Cartes published his geometry, wherein he made use of the literal calculus and the algebraic rules of Harriot; and as Oughtred in his Clavis, and Marin. Ghetaldus in his books of mathematical composition and resolution published in 1630, applied Vieta's arithmetic to elementary geometry, and gave the construction of simple and quadratic equations; so Des Cartes applied Harriot's method to the higher geometry, explaining the nature of curves by equations, and adding the constructions of cubic, biquadratic, and other higher equations.

Des Cartes's rule for constructing cubic and biquadratic equations, was farther improved by Thomas Barker, in his Clavis Geometrica Catholica, published in 1684; and the foundation of such constructions, with the application of algebra to the quadratures of curves, questions de maximis et minimis, the centrobaric method of Guldinus, &c. was given by R. Slufus, in 1668; as also by Fermat in his Opera Mathematica, Roberval in the Mém. de Mathem. et de Physique, and Barrow in his Lev. Geomet. In 1708, algebra was applied to the laws of chance and gaming, by R. de Montmort; and since by de Moivre and James Bernoulli.

The elements of the art were compiled and published by Kersey, in 1671; wherein the specious arithmetic, and the nature of equations, are largely explained, and illustrated by a variety of examples: the whole substance of Diophantus is here delivered, and many things added concerning mathematical composition and resolution from Ghetaldus. The like has been since done by Prefet in 1694, and by Ozanam in 1703: but these authors omit the application of algebra to geometry; which defect is supplied by Guisnee in a French treatise expressly on the subject published in 1704, and PHospital in his analytical treatise of the conic sections in 1707. The rules of algebra are also compendiously delivered by Sir Isaac Newton, in his Arithmetica Universalis, first published in 1707, which abounds in select examples, and contains several rules and methods invented by the author.

Algebra has also been applied to the consideration and calculus of infinites; from whence a new and extensive branch of knowledge has arisen, called the Doctrine of Fluxions, or Analysis of Infinites, or the Calculus Differentialis.

A QUANTITY which can be measured, and is the object of mathematics, is of two kinds, Number and Extension. The former is treated of in Arithmetic; the latter in Geometry.

Numbers are ranged in a scale, by the continued repetition of some one number, which is called the Root; and, in consequence of this order, they are conveniently expressed in words, and denoted by characters. The operations of arithmetic are easily derived from the established method of notation, and the most simple reasonings concerning the relations of magnitude.

Investigations by the common arithmetic are greatly limited, from the want of characters to express the quantities that are unknown, and their different relations to one another, and to such as are known. Hence letters and other convenient symbols have been introduced to supply this defect; and thus gradually has arisen the science of Algebra, properly called Universal Arithmetic.

In the common arithmetic too, the given numbers disappear in the course of the operation, so that general rules can seldom be derived from it; but, in algebra, the known quantities, as well as the unknown, may be expressed by letters, which, through the whole operation, retain their original form; and hence may be deduced, not only general canons for like cases, but the dependence of the several quantities concerned, and likewise the determination of a problem, without exhibiting which, it is not completely resolved. This general manner of expressing quantities also, and the general reasonings concerning their connections, which may be founded on it, have rendered this science not less useful in the demonstration of theorems than in the resolution of problems.

If geometrical quantities be supposed to be divided into equal parts, their relations, in respect of magnitude, or their proportions, may be expressed by numbers; one of these equal parts being denoted by the unit. Arithmetic, however, is used in expressing only the conclusions of geometrical propositions; and it is by algebra that the bounds and application of geometry have been of late so far extended.

The proper objects of mathematical science are number and extension; but mathematical inquiries may be instituted also concerning any physical quantities that are capable of being measured or expressed by numbers and extended magnitudes. And, as the application of algebra may be equally universal, it has been called The science of quantity in general.

1. 1. QUANTITIES which are known are generally represented by the first letters of the alphabet, as $a,\; b,\; c$, &c. and such as are unknown by the last letters, as $x,\; y,\; z$, &c.
2. 2. The sign $+$ (plus) denotes, that the quantity before which it is placed is to be added. Thus $a+b$ denotes the sum of $a$ and $b$; $3+5$ denotes the sum of $3$ and $5$, or $8$. When no sign is expressed, $+$ is understood.

1. 3. The sign $-$ (minus) denotes, that the quantity before which it is placed is to be subtracted. Thus $a-b$ denotes the excess of $a$ above $b$; $6-2$ is the excess of $6$ above $2$, or $4$. Note, These characters $+$ and $-$, from their extensive use in algebra, are called the signs; and the one is said to be opposite or contrary to the other.
2. 4. Quantities which have the sign $+$ prefixed to them are called positive or affirmative; and such as have the sign $-$ prefixed to them are called negative.
3. 5. Quantities which have the same sign, either $+$ or $-$, are also said to have like signs, and those which have different signs are said to have unlike signs. Thus $+a,\; +b$, have like signs, and $+a,\; -c$, are said to have unlike signs.
4. 6. The juxtaposition of letters as in the same word, expresses the product of the quantities denoted by these letters. Thus $ab$ expresses the product of $a$ and $b$; $abc$ expresses the continued product of $b,\; c$, and $d$. The sign $\backslash times$ also expresses the product of any two quantities between which it is placed.
5. 7. A number prefixed to a letter is called a numeral coefficient, and expresses the product of the quantity by that number, or how often the quantity denoted by the letter is to be taken. When no number is prefixed, unit is understood.
6. 8. The quotient of two quantities is denoted by placing the dividend above a small line and the divisor below it. Thus $\backslash frac\{18\}\{3\}$ is the quotient of $18$ divided by $3$, or $6$; $\backslash frac\{a\}\{b\}$ is the quotient of $a$ divided by $b$. This expression of a quotient is also called a fraction.
7. 9. A quantity is said to be simple, which consists of one part or Term, as $+a$, $-abc$; and a quantity is said to be compound, when it consists of more than one term, connected by the signs $+$ or $-$. Thus $a+b$, $a-b+c$, are compound quantities. If there are two terms, it is called a binomial; if three, a trinomial, &c.
8. 10. Simple quantities, or the terms of compound quantities, are said to be like, which consist of the same letter or letters, equally repeated. Thus $+ab$, $-5ab$, are like quantities; but $+ab$, and $+aab$, are unlike.
9. 11. The equality of two quantities is expressed, by placing the sign $=$ between them. Thus $x+a=b-c$, means that the sum of $x$ and $a$ is equal to the excess of $b$ above $c$.

When quantities are considered abstractly, then $+$ and $-$ denote addition and subtraction only, according to Def. 2. and 3. and the terms positive and negative express the same ideas. In that case, a negative quantity by itself is unintelligible. The sign $+$ also is unnecessary before simple quantities, or before the leading term of a compound quantity which is not negative; though, when such a quantity or term is to be added to another, $+$ must be placed before it, to express that addition; and hence in Def. 2. it is said, that $+$ is understood when no sign is expressed.

In geometry, however, and in certain applications of

fundamental operations of geometry and algebra, there may be an opposition or contrariety in the quantities, analogous to that of addition and subtraction; and the signs + and - may very conveniently be used to express that contrariety. In such cases, negative quantities are understood to exist by themselves; and the same rules take place in operations into which they enter, as are used with regard to the negative terms of abstract quantities.

terms in the quantities to be added may be united, so as to render the expression of the sum more simple. Fundamental operations.

PROB. II. To subtract Quantities.

General Rule. Change the signs of the quantity to be subtracted into the contrary signs, and then add it, so changed, to the quantity from which it was to be subtracted (by Prob. I.); the sum arising by this addition is the remainder.

Table showing an example of subtraction: Examp. From 7ab - 16bc Subtract 3ab + mb Rem. 4ab - 16bc - mb From 5a - 7b + 9c + 8 Subt. 2a - 4b + 9c - d Rem. 3a - 3b - 8 + d

CHAP. I.

SECT. 1. Fundamental Operations.

THE fundamental operations in algebra are the same as in common arithmetic, Addition, Subtraction, Multiplication, and Division; and from the various combinations of these four, all the others are derived.

PROB. I. To add Quantities.

Simple quantities, or the terms of compound quantities, to be added together, may be like with like signs, like with unlike signs, or they may be unlike.

Case 1. To add terms that are like and have like signs.

Rule. Add together the coefficients, to their sum prefix the common sign, and subjoin the common letter or letters.

Table showing an example of addition: Examp. To 5ab 3aa - ab Add 4ab 7aa - 2ab Sum 9ab 4aa - 5ab 14aa - 8ab.

Case 2. To add terms that are like, but have unlike signs.

Rule. Subtract the less coefficient from the greater; prefix the sign of the greater to the remainder, and subjoin the common letter or letters.

Table showing an example of addition with unlike signs: Examp. -4a + 7bc - 5ab + 7a - 3bc + 2ab + 3a + bc + 3ab + 5bc 0

Case 3. To add terms that are unlike.

Rule. Set them all down, one after another, with their signs and coefficients prefixed.

Table showing an example of addition with unlike terms: Examp. 2a + 3b - 5c + 8 2a + 3b - 5c + 8

Compound quantities are added together, by uniting the several terms of which they consist by the preceding rules.

Table showing an example of adding compound quantities: Examp. The sum of { 5ab - 3xy - 12cd 7xy - ab + 15 9cd - xy - mn is 4ab - 3cd + 15 - mn + 3xy

The rule for case 3. may be considered as the general rule for adding all algebraical quantities whatsoever; and, by the rules in the two preceding cases, the like

When a positive quantity is to be subtracted, the rule is obvious from Def. 3. : In order to show it, when the negative part of a quantity is to be subtracted, let c - d be subtracted from a, the remainder, according to the rule, is a - c + d. For if c is subtracted from a, the remainder is a - c (by Def. 3.); but this is too small, because c is subtracted instead of c - d, which is less than it by d; the remainder therefore is too small by d; and d being added, it is a - c + d, according to the rule.

Otherwise If the quantity d be added to these two quantities a and c - d, the difference will continue the same; that is, the excess of a above c - d is equal to the excess of a + d above c - d + d; that is, to the excess of a + d above c, which plainly is a + d - c; and is therefore the remainder required.

PROB. III. To multiply Quantities.

General Rule for the Signs. When the signs of the two terms to be multiplied are like, the sign of the product is +; but, when the signs are unlike, the sign of the product is -.

Case 1. To multiply two terms.

Rule. Find the sign of the product by the general rule; after it place the product of the numeral coefficients, and then set down all the letters one after another, as in one word.

Table showing an example of multiplication: Mult. +a + 5b - 5ax By +b - 3c - 7ab +ab - 15bc + 35aabcx

The reason of this rule is derived from Def. 6. and from the nature of multiplication, which is a repeated addition of one of the quantities to be multiplied as often as there are units in the other. Hence also the letters in two terms multiplied together may be placed in any order, and therefore the order of the alphabet is generally preferred.

Case 2. To multiply compound quantities.

Rule. Multiply every term of the multiplicand by all the terms of the multiplier, one after another, according to the preceding rule, and then collect all the products into one sum; that sum is the product required.

The reason of that rule will appear by proving it, as applied to the last mentioned example of $a-b$ multiplied by $c-d$, in which every case of it occurs.

Since multiplication is a repeated addition of the multiplicand as often as there are units in the multiplier, hence, if $a-b$ is to be multiplied by $c$, $a-b$ must be added to itself as often as there are units in $c$, and the product therefore must be $ca-cb$ (Prob. I.).

But this product is too great; for $a-b$ is to be multiplied, not by $c$, but by $c-d$ only, which is the excess of $c$ above $d$; $d$ times $a-b$ therefore, or $da-db$, has been taken too much; hence this quantity must be subtracted from the former part of the product, and the remainder, which (by Prob. II.) is $ca-cb-da+db$, will be the true product required.

Def. 12. When several quantities are multiplied together, any of them is called a factor of the product.

13. The products arising from the continual multiplication of the same quantity are called the powers of that quantity, which is the root. Thus, $aa$, $aaa$, $aaaa$, &c. are powers of the root $a$.

14. These powers are expressed, by placing above the root, to the right hand, a figure, denoting how often the root is repeated. This figure is called an index, or exponent, and from it the power is denominated. Thus,

The 2d and 3d powers are generally called the square and cube; and the 4th, 5th, and 6th, are also sometimes respectively called the biquadrate, surfolid, and cubescube.

Cor. Powers of the same root are multiplied by adding their exponents, Thus, $a^3\; \backslash times\; a^4\; =\; a^7$, or $aaa\; \backslash times\; aaa\; =\; aaaaaa$, $b^3\; \backslash times\; b^4\; =\; b^7$.

Sometimes it is convenient to express the multiplication of quantities, by setting them down with the sign ($\backslash times$) between them, without performing the operation according to the preceding rules; thus $a^3\; \backslash times\; b^4$ is written instead of $a^3b^4$; and $a-b\; \backslash times\; c-d$ expresses the product of $a-b$, multiplied by $c-d$.

Def. 15. A vinculum is a line drawn over any num-

ber of terms of a compound quantity, to denote those which are understood to be affected by the particular sign connected with it.

Thus, in the last example, it shows that the terms $+a$ and $-b$, and also $c$ and $-d$ are all affected by the sign ($\backslash times$). Without the vinculum, the expression $a-b\; \backslash times\; c-d$ would mean the excess of $a$ above $bc$ and $d$; and $a-b\; \backslash times\; c-d$ would mean the excess of the product of $a-b$ by $c$, above $d$. Thus also, $(a+b)^2$ expresses the second power of $a+b$, or the product of that quantity multiplied by itself; whereas $a+b^2$ would express only the sum of $a$ and $b^2$; and so of others. By some writers a parenthesis ( ) is used as a vinculum, and $(a+b)^2$ is the same thing as $a+b^2$.

General Rule for the Signs. If the signs of the divisor and dividend are like, the sign of the quotient is $+$; if they are unlike, the sign of the quotient is $-$.

This rule is easily deduced from that given in Prob. III.; for, from the nature of division, the quotient must be such a quantity as, multiplied by the divisor, shall produce the dividend with its proper sign.

From Def. 8. the quotient of any two quantities may be expressed, by placing the dividend above a line and the divisor below it. But a quotient may often be expressed in a more simple and convenient form, as will appear from the following distinction of the cases.

Case I. When the divisor is simple, and is a factor of all the terms of the dividend. This is easily discovered by inspection; for then the coefficient of the divisor measures that of all the terms of the dividend, and all the letters of the divisor are found in every term of the dividend.

Rule. The letter or letters in the divisor are to be expunged out of each term in the dividend, and the coefficients of each term to be divided by the coefficient of the divisor; the quantity resulting is the quotient.

The reason of this is evident from the nature of division, and from Def. 6. Note. It is obvious from corollary to Prob. III. that powers of the same root are divided by subtracting their exponents.

Case II. When the divisor is simple, but not a factor of the dividend.

Rule. The quotient is expressed by a fraction, according to Def. 8. viz. by placing the dividend above a line and the divisor below it.

Thus the quotient of $3ab^3$ divided by $2mbe$ is the fraction $\backslash frac\{3ab^3\}\{2mbe\}$.

Such expressions of quotients may often be reduced to a more simple form, as shall be explained in the second part of this chapter.

Case III. When the divisor is compound.

Fundamental operations. Rule 1. The terms of the dividend are to be ranged according to the powers of some one of its letters; and those of the divisor, according to the powers of the same letter.

Thus, if $a^3+2ab+b^2$ is the dividend, and $a+b$ the divisor, they are ranged according to the powers of $a$.

2. The first term of the dividend is to be divided by the first term of the divisor (observing the general rule for the signs); and this quotient being set down as a part of the quotient wanted, is to be multiplied by the whole divisor, and the product subtracted from the dividend. If nothing remain, the division is finished: the remainder, when there is any, is a new dividend.

Thus, in the preceding example, $a^3$ divided by $a$, gives $a^2$, which is the first part of the quotient wanted: and the product of this part by the whole divisor $a+b$, viz. $a^3+ab$ being subtracted from the given dividend, there remains in this example $ab+b^2$.

3. Divide the first term of this new dividend by the first term of the divisor as before, and join the quotient to the part already found, with its proper sign: then multiply the whole divisor by this part of the quotient, and subtract the product from the new dividend; and thus the operation is to be continued till no remainder is left, or till it appear that there will always be a remainder.

Thus, in the preceding example, $ab$, the first term of the new dividend divided by $a$, gives $b$; the product of which, multiplied by $a+b$, being subtracted from $ab+b^2$, nothing remains, and $a+b$ is the true quotient. The entire operation is as follows.

It often happens, as in the last example, that there

is still a remainder from which the operation may be continued without end. This expression of a quotient is called an infinite series; the nature of which shall be considered afterwards. By comparing a few of the first terms, the law of the series may be discovered, by which, without any more division, it may be continued to any number of terms wanted.

Of the General Rule.

The reason of the different parts of this rule is evident; for, in the course of the operation, all the terms of the quotient obtained by it are multiplied by all the terms of the divisor, and the products are successively subtracted from the dividend till nothing remains: that, therefore, from the nature of division, must be the true quotient.

Note. The sign $\backslash div$ is sometimes used to express the quotient of two quantities between which it is placed: Thus, $a^2+x^2\; \backslash div\; a+x$, expresses the quotient of $a^2+x^2$ divided by $a+x$.

§ 2. OF FRACTIONS.

Definitions.

1. 1. WHEN a quotient is expressed by a fraction, the dividend above the line is called the numerator; and the divisor below it is called the denominator.
2. 2. If the numerator is less than the denominator, it is called a proper fraction.
3. 3. If the numerator is not less than the denominator, it is called an improper fraction.
4. 4. If one part of a quantity is an integer, and the other a fraction, it is called a mixed quantity.
5. 5. The reciprocal of a fraction, is a fraction whose numerator is the denominator of the other; and whose denominator is the numerator of the other. The reciprocal of an integer is the quotient of 1 divided by that integer. Thus, $\backslash frac\{b\}\{a\}$ is the reciprocal of $\backslash frac\{a\}\{b\}$; and $\backslash frac\{1\}\{m\}$ is the reciprocal of $m$.

The distinctions in Def. 2, 3, 4, properly belong to common arithmetic, from which they are borrowed, and are scarcely used in algebra.

The operations concerning fractions are founded on the following proposition:

If the divisor and dividend be either both multiplied or both divided by the same quantity, the quotient is the same; or, if both the numerator and denominator of the fraction be either multiplied or divided by the same quantity, the value of that fraction is the same.

Thus, let $\backslash frac\{a\}\{b\}\; =\; c$, then $\backslash frac\{ma\}\{mb\}\; =\; c$. For, from the nature of division, if the quotient $\backslash frac\{a\}\{b\}\; (=c)$ be multiplied by the divisor $b$, the product must be the dividend $a$. Hence $(\backslash frac\{a\}\{b\}\; \backslash times\; b)\; =\; bc\; =\; a$, and likewise $ma\; =\; mbc$, and dividing both by $mb$, $\backslash frac\{ma\}\{mb\}\; =\; c$. Conversely, if $\backslash frac\{ma\}\{mb\}\; =\; c$, then also $\backslash frac\{a\}\{b\}\; =\; c$.

Cor. 1. Hence a fraction may be reduced to another of the same value, but of a more simple form, by dividing both numerator and denominator by any common measure.

Cor. 2. A fraction is multiplied by any integer, by multiplying the numerator, or dividing the denominator by that integer: and conversely, a fraction is divided by any integer, by dividing the numerator, or multiplying the denominator by that integer.

PROB. I. To find the greatest common Measure of two Quantities.

1. Of pure numbers.

Rule. Divide the greater by the less: and, if there is no remainder, the less is the greatest common measure required. If there is a remainder, divide the last divisor by it; and thus proceed, continually dividing the last divisor by its remainder, till no remainder is left, and the last divisor is the greatest common measure required.

The greatest common measure of 45 and 63 is 9; the greatest common measure of 187 and 391 is 17. Thus,

From the nature of this operation, it is plain that it may always be continued till there be no remainder. The rule depends on the two following principles:

1. A quantity which measures both divisor and remainder must measure the dividend.

2. A quantity which measures both divisor and dividend must also measure the remainder.

For a quantity which measures two other quantities, must also measure both their sum and difference; and, from the nature of division, the dividend consists of the divisor repeated a certain number of times, together with the remainder. By the first it appears, that the number found by this rule is a common measure; and, by the second, it is plain there can be no greater common measure; for, if there were, it must necessarily measure the quantity already found less than itself, which is absurd.

When the greatest common measure of algebraical quantities is required, if either of them be simple, any common simple divisor is easily found by inspection. If they are both compound, any common simple divisor may also be found by inspection. But, when the greatest compound divisor is wanted, the preceding rule is to be applied; only,

2. The simple divisors of each of the quantities are to be taken out, the remainders in the several operations are also to be divided by their simple divisors, and the quantities are always to be ranged according to the powers of the same letter.

The simple divisors in the given quantities, or in the remainders, do not affect a compound divisor which is wanted; and hence also, to make the division succeed, any of the dividends may be multiplied by a simple quantity. Besides the simple divisors in the remainders not being found in the divisors from which they arise, can make no part of the common measure sought; and for the same reason, if in such a remainder there be any compound divisor which does not measure the divisor from which it proceeds, it may be taken out.

EXAMPLES.

If the quantities given are $8a^3b^3\; -\; 10ab^3\; +\; 2b^3$, and $9a^3b\; -\; 9a^2b^2\; +\; 3a^2b^3\; -\; 3ab^3$. The simple divisors being taken out, viz. $2b^3$ out of the first, it becomes $4a^3\; -\; 5ab\; +\; b^3$, and $3ab$ out of the second, it is $3a^3\; -\; 3a^2b\; +\; ab^2\; -\; b^3$. As the latter is to be divided by the former, it must be multiplied by 4, to make the operation succeed, and then it is as follows:

This remainder is to be divided by $b$, and the new dividend multiplied by 3, to make the division proceed. Thus,

and this remainder, divided by $-19b$, gives $a\; -\; b$, which being made a divisor, divides $3a^2\; +\; ab\; -\; 4b^2$ without a remainder, and therefore $a\; -\; b$ is the greatest compound divisor: but there is a simple divisor $b$, and therefore $a\; -\; b\; \backslash times\; b$ is the greatest common measure required.

PROB. II. To reduce a Fraction to its lowest Terms.

Rule. Divide both numerator and denominator by their greatest common measure, which may be found by prob. 1.

Thus, $\backslash frac\{75abc\}\{125bcx\}\; =\; \backslash frac\{3a\}\{5x\}$, $25bc$ being the greatest common

measure, $\backslash frac\{a^4\; -\; b^4\}\{a^2\; -\; a^2b^2\}\; =\; \backslash frac\{a^2\; +\; b^2\}\{a^2\}$ also,

$\backslash frac\{9a^4b\; -\; 9a^3b^2\; +\; 3a^2b^3\; -\; 3ab^3\}\{8a^3b^3\; -\; 10ab^3\; +\; 2b^3\}\; =\; \backslash frac\{9a^3\; +\; 3ab^2\}\{8ab\; -\; 2b^2\}$ the greatest common measure being $a\; -\; b\; \backslash times\; b$, by Prob. 1.

PROB.

PROB. III. To reduce an Integer to the Form of a Fraction.

Rule. Multiply the given integer by any quantity for a numerator, and set that quantity under the product for a denominator.

Cor. Hence, in the following operations concerning fractions, an integer may be introduced; for, by this problem, it may be reduced to the form of a fraction. The denominator of an integer is generally made 1.

PROB. IV. To reduce Fractions with different Denominators to Fractions of equal Value, that shall have the same Denominator.

Rule. Multiply each numerator, separately taken into all the denominators but its own, and the products shall give the new numerators. Then multiply all the denominators into one another, and the product shall give the common denominator.

Example. Let the fractions be $\backslash frac\{a\}\{b\}$, $\backslash frac\{c\}\{d\}$, $\backslash frac\{e\}\{f\}$; they are respectively equal to $\backslash frac\{adf\}\{bdf\}$, $\backslash frac\{bef\}\{bdf\}$, $\backslash frac\{bde\}\{bdf\}$.

The reason of the operation appears from the preceding proposition; for the numerator and denominator of each fraction are multiplied by the same quantities; and the value of the fractions therefore is the same.

PROB. V. To add and subtract Fractions.

Rule. Reduce them to a common denominator, then add or subtract the numerators; and the sum or difference set over the common denominator is the sum or remainder required.

Ex. Add together $\backslash frac\{a\}\{b\}$, $\backslash frac\{c\}\{d\}$, $\backslash frac\{e\}\{f\}$; the sum is $\backslash frac\{adf\; +\; bef\; +\; bde\}\{bdf\}$.

From $\backslash frac\{a\}\{b\}$ subtr. $\backslash frac\{c\}\{d\}$ the difference is $\backslash frac\{ad\; -\; bc\}\{bd\}$.

From the nature of division it is evident, that, when several quantities are to be divided by the same divisor, the sum of the quotients is the same with the quotient of the sum of the quantities divided by that common divisor.

In like manner, the difference of two fractions having the same denominator, is equal to the difference of the numerators divided by that common denominator.

Cor. 1. By Cor. Prob. 3. integers may be reduced to the form of fractions, and hence integers and fractions may be added and subtracted by this rule. Hence also what is called a mixt quantity may be reduced into the form of a fraction by bringing the integral part into the form of a fraction, with the same denominator as the fractional part, and adding or subtracting the numerators according as the two parts are connected by the signs + or -.

Cor. 2. A fraction, whose numerator is a compound quantity, may be distinguished into parts, by dividing the numerator into several parts, and setting each over the original denominator, and uniting the new fractions (reduced if necessary) by the signs of their numerators.

PROB. VI. To multiply Fractions.

Rule. Multiply their numerators into one another, to obtain the numerator of the product; and the denominators, multiplied into one another, shall give the denominator of the product.

For, if $\backslash frac\{a\}\{b\}$ is to be multiplied by $\backslash frac\{c\}\{d\}$, the product is $\backslash frac\{ca\}\{bd\}$; but if it is to be multiplied only by $\backslash frac\{c\}\{d\}$ the former product must be divided by $d$, and it becomes $\backslash frac\{ca\}\{bd\}$ (Cor. 2. to the preceding problem.)

Or, let $\backslash frac\{a\}\{b\}\; =\; m$, and $\backslash frac\{c\}\{d\}\; =\; n$. Then $a\; =\; bm$, and $c\; =\; dn$, and $ac\; =\; bdmn$, and $(mn)\; \backslash frac\{a\}\{b\}\; \backslash times\; \backslash frac\{c\}\{d\}\; =\; \backslash frac\{ac\}\{bd\}$.

PROB. VII. To divide Fractions.

Rule. Multiply the numerator of the dividend by the denominator of the divisor; their product shall give the numerator of the quotient. Then multiply the denominator of the dividend by the numerator of the divisor, and their product shall give the denominator.

Or, Multiply the dividend by the reciprocal of the divisor; the product will be the quotient wanted.

For, if $\backslash frac\{a\}\{b\}$ is to be divided by $n$, the quotient is $\backslash frac\{a\}\{bn\}$; but $\backslash frac\{a\}\{b\}$ is to be divided, not by $a$, but by $\backslash frac\{a\}\{b\}$; therefore the former quotient must be multiplied by $b$, and it is $\backslash frac\{bc\}\{bn\}$.

Or, let $\backslash frac\{a\}\{b\}\; =\; m$, and $\backslash frac\{c\}\{d\}\; =\; n$; then $a\; =\; bm$, and $c\; =\; dn$; also $ad\; =\; bdm$ and $bc\; =\; bdn$; therefore $\backslash left(\backslash frac\{bdn\}\{bdm\}\backslash right)\; \backslash frac\{a\}\{b\}\; =\; \backslash frac\{bc\}\{ad\}$.

Scholium.

By these problems, the four fundamental operations may be performed, when any terms of the original quantities, or of those which arise in the course of the operation, are fractional.

Ex.

This quotient becomes a serious, of which the law of continuation is obvious, without any farther operation.

In such cases, when we arrive at a remainder of one term, it is commonly set down with the divisor below it, after the other terms of the quotient, which then becomes a mixt quantity. Thus the last quotient is also expressed by $a-x\; +\; \backslash frac\{2x^2\}\{a+x\}$

CHAP. II.

Of Proportion.

By the preceding operations quantities of the same kind may be compared together.

The relation arising from this comparison is called ratio or proportion, and is of two kinds. If we consider the difference of the two quantities, it is called arithmetical proportion; and if we consider their quotient, it is called geometrical proportion. This last being most generally useful, is commonly called simply proportion.

1. Of Arithmetical Proportion.

Definition. When of four quantities the difference of the first and second is equal to the difference of the third and fourth, the quantities are called arithmetical proportionals.

Cor. Three quantities may be arithmetically proportional, by supposing the two middle terms of the four to be equal.

Prop. In four quantities arithmetically proportional, the sum of the extremes is equal to the sum of the means.

Let the four be $a,\; b,\; c,\; d$. Therefore from Def. $a-b=c-d$; to these add $b+d$ and $a+d=b+c$.

Cor. 1. Of four arithmetical proportionals, any three being given, the fourth may be found.

Thus, let $a,\; b,\; c$, be the 1st, 2d, and 4th terms, and let $x$ be the 3d which is sought.

Then by def. $a+c=b+x$, and $x=a+c-b$.

Cor. 2. If three quantities be arithmetical proportionals, the sum of the extremes is double of the middle term; and hence, of three such proportionals, any two being given, the third may be found.

2. Of Geometrical Proportion.

Definition. If of four quantities, the quotient of the first and second is equal to the quotient of the third and fourth, these quantities are said to be in geometrical proportion. They are also called proportionals. Thus, if $a,\; b,\; c,\; d$, are the four quantities, then $\backslash frac\{a\}\{b\}\; =\; \backslash frac\{c\}\{d\}$, and their ratio is thus denoted $a:b::c:d$.

Cor. Three quantities may be geometrical proportionals, viz. by supposing the two middle terms of the four to be equal. If the quantities are $a,\; b,\; c$, then $\backslash frac\{a\}\{b\}\; =\; \backslash frac\{c\}\{b\}$, and the proportion is expressed thus, $a:b::c$.

Prop. I. The product of the extremes of four quantities geometrical proportionals is equal to the product of the means; and conversely.

Let $a:b::c:d$.

Then by Def. $\backslash frac\{a\}\{b\}\; =\; \backslash frac\{c\}\{d\}$

and multiplying both by $bd$, $ad=bc$.

If $ad=bc$, then dividing by $bd$, $\backslash frac\{a\}\{b\}\; =\; \backslash frac\{c\}\{d\}$, that is, $a:b::c:d$.

Cor. 1. The product of the extremes of three quantities, geometrical proportionals, is equal to the square of the middle term.

Cor. 2. Of four quantities geometrical proportionals, any three being given, the fourth may be found.

Ex. Let $a,\; b,\; c$, be the three first; to find the 4th. Let it be $x$, then $a:b::c:x$, and by this proportion, $ax=bc$, and dividing both by $a$, $x\; =\; \backslash frac\{bc\}\{a\}$.

This coincides with the Rule of Three in arithmetic, and may be considered as a demonstration of it. In applying the rule to any particular case, it is only to be observed, that the quantities must be so connected and so arranged, that they be proportional, according to the preceding definition.

Cor. 3. Of three geometrical proportionals, any two being given, the third may be found.

Prop. II. If four quantities be geometrical proportionals, then if any equimultiples whatever be taken of the first and third, and also any equimultiples whatever of the second and fourth; if the multiple of the first be greater than that of the second, the multiple of the third will be greater than that of the fourth; and if equal, equal; and if less, less.

For, let $a,\; b,\; c,\; d$, be the four proportionals. Of the

Of Equations. the first and third, ma and mc may represent any equimultiples whatever, and also nb, nd, may represent any equimultiples of the second and fourth. Since $a:b::c:d$, $ad=bc$; and hence multiplying by mn, $mnad=mnbc$, and therefore (Conv. Prop. 1.) $ma:nb::mc:nd$; and from the definition of proportionals, it is plain, that if ma is greater than nb, mc must be greater than nd; and if equal, equal; and if less, less.

Prop. III. If four quantities are proportionals, they will also be proportionals when taken alternately or inversely, or by composition, or by division, or by conversion. See Def. 13. 14. 15. 16. 17. of Book V. of Euclid, Simson's edition.

By Prop. II. they will also be proportionals according to Def. 5. Book V. of Euclid; and therefore this proposition is demonstrated by propositions 16, B, 18, 17, E, of the same book.

Otherwise algebraically.

Let $a:b::c:d$, and therefore $ad=bc$.

• Altern. $a:c::b:d$
• Invert. $b:a::d:c$
• Divid. $a-b:b::c-d:d$
• Comp. $a+b:b::c+d:d$
• Convert. $a:a-b::c:c-d$

For since $ad=bc$, it is obvious, that in each of these cases the product of the extremes is equal to the product of the means; the quantities are therefore proportionals. (Prop. 1.)

Prop. IV. If four numbers be proportionals, according to Def. 5. V. B. of Euclid, they will be geometrically proportional, according to the preceding definition.

1st, Let the four numbers be integers, and let them be a, b, c, d. Then if b times a and b times c be taken, and also a times b and a times d, since ba the multiple of the first is equal to ab the multiple of the second, bc, the multiple of the third, must be equal to ad the multiple of the fourth. And since $bc=ad$, by Prop. 1. a, b, c, and d, must be geometrical proportionals.

2dly, If any of the numbers be fractional, all the four being multiplied by the denominators of the fractions, they continue proportionals, according to Def. 5. B. V. Euclid (by Prop. 4. of that book); and the four integer quantities produced being such proportionals, they will be geometrical proportionals, by the first part of this prop.; and therefore, being reduced by division to their original form, they manifestly will remain proportionals, according to the algebraical definition.

CHAP. III.

SECT. I. Of Equations in general, and of the Solution of simple Equations.

Definitions.

1. An Equation may in general be defined to be a proposition asserting the equality of two quantities;

and is expressed by placing the sign = between them.

• 2. When a quantity stands alone upon one side of an equation, the quantities on the other side are said to be a value of it. Thus in the equation $x=b+y-d$, x stands alone on one side, and $b+y-d$ is a value of it.
• 3. When an unknown quantity is made to stand alone on one side of an equation, and there are only known quantities on the other, that equation is said to be resolved; and the value of the unknown quantity is called a root of the equation.
• 4. Equations containing only one unknown quantity and its powers, are divided into orders, according to the highest power of the unknown quantity to be found in any of its terms.

If the highest power of the unknown quantity in any term be the 1st, 2d, 3d, &c. } The E. } is called } Simple, } Quadrat, } Cubic, &c.

But the exponents of the unknown quantity are supposed to be integers, and the equation is supposed to be cleared of fractions, in which the unknown quantity, or any of its powers, enter the denominators.

Thus, $x+a=\backslash frac\{3x-b\}\{c\}$ is a simple equation; $3x-\backslash frac\{5\}\{2x\}=12$, when cleared of the fraction by multiplying both sides by $2x$, becomes $6x^2-5=24x$ a quadratic. $x^3-2x^4=x^6-20$ is an equation of the sixth order, &c.

As the general relations of quantity which may be treated of in algebra, are almost universally either that of equality, or such as may be reduced to that of equality, the doctrine of equations becomes one of the chief branches of the science.

The most common and useful application of algebra is in the investigation of quantities that are unknown, from certain given relations to each other, and to such as are known; and hence it has been called the analytical art. The equations employed for expressing these relations must therefore contain one or more unknown quantities; and the principal business of this art will be, the deducing equations containing only one unknown quantity, and resolving them.

The solution of the different orders of equations will be successively explained. The preliminary rules in the following section are useful in all orders, and are alone sufficient for the solution of simple equations.

§ 1. Of simple Equations, and their Resolution.

Simple equations are resolved by the four fundamental operations already explained; and the application of them to this purpose is contained in the following rules.

Rule 1. Any quantity may be transposed from one side of an equation to the other, by changing its sign.

Thus, if $3x-10=2x+5$
Then, $3x-2x=10+5$ or $x=15$
Thus also, $5x+b=a+2x$
By transp. $3x=a-b$.

This rule is obvious from prob. 1. and 2.; for it is equivalent to adding equal quantities to both sides of the equation, or to subtracting equal quantities from both sides.

Cer.

Cor. The signs of all the terms of an equation may be changed into the contrary signs, and it will continue to be true.

Rule 2. Any quantity by which the unknown quantity is multiplied may be taken away, by dividing all the other quantities of the equation by it.

Thus, if $ax=b$

Also, if $mx\; +\; nb\; =\; am$

For if equal quantities are divided by the same quantity, the quotients are equal.

Rule 3. If a term of an equation is fractional, its denominator may be taken away, by multiplying all the other terms by it.

Thus, if $\backslash frac\{x\}\{a\}\; =\; b\; +\; c$

Also, if $a\; -\; \backslash frac\{b\}\{x\}\; =\; c$

And by trans. $ax\; -\; cx\; =\; b$

And by div. $x\; =\; \backslash frac\{b\}\{a-c\}$

For if all the terms of the equation are multiplied by the same quantity, it remains a true proposition.

Corollary to the three last Rules.

If any quantity be found on both sides of the equation, with the same sign, it may be taken away from both. (Rule 1.)

Also, if all the terms in the equation are multiplied or divided by the same quantity, it may be taken out of them all. (Rule 2. and 3.)

Ex. If $3x\; +\; a\; =\; a\; +\; b$, then $3x\; =\; b$.

If $2ax\; +\; 3ab\; =\; ma\; +\; a^2$, then $2x\; +\; 3b\; =\; m\; +\; a$.

If $\backslash frac\{x\}\{3\}\; -\; \backslash frac\{4\}\{3\}\; =\; \backslash frac\{16\}\{3\}$, then $x\; -\; 4\; =\; 16$.

Any simple equation may be resolved by these rules in the following manner. 1st, Any fractions may be taken away by R. 3. 2dly, All the terms including the unknown quantity, may be brought to one side of the equation, and the known terms to the other, by R. 1. Lastly, If the unknown quantity is multiplied by any known quantity, it may be made to stand alone by R. 2. and the equation will then be resolved. Def. 3.

Examples of simple Equations resolved by these Rules.

I.

If $3x\; +\; 5\; =\; x\; +\; 9$

R. 1. $2x\; =\; 4$

R. 2. $x\; =\; \backslash frac\{4\}\{2\}\; =\; 2$

II.

If $5x\; -\; \backslash frac\{5x\}\{2\}\; +\; 12\; =\; \backslash frac\{4x\}\{3\}\; +\; 26$

R. 1. $5x\; -\; \backslash frac\{5x\}\{2\}\; -\; \backslash frac\{4x\}\{3\}\; =\; 14$

R. 3. $30x\; -\; 15x\; -\; 8x\; =\; 84$

N^o 11.

Or $7x\; =\; 84$
R. 2. $x\; =\; \backslash frac\{84\}\{7\}\; =\; 12$

III.

If $\backslash frac\{5\}\{x\}\; +\; \backslash frac\{9\}\{4\}\; =\; 16$

R. 3. $\backslash frac\{20\}\{x\}\; +\; 9\; =\; 64$

R. 3. $20\; +\; 9x\; =\; 64x$

R. 1. $20\; =\; 55x$

R. 2. $x\; =\; \backslash frac\{20\}\{55\}\; =\; \backslash frac\{4\}\{11\}$

§ 2. Solution of Questions producing simple Equations.

From the resolution of equations we obtain the resolution of a variety of useful problems, both in pure mathematics and physics, and also in the practical arts founded upon these sciences. In this place, we consider the application of it to those questions where the quantities are expressed by numbers, and their magnitude alone is to be considered.

When an equation, containing only one unknown quantity, is deduced from the question by the following rules, it is sometimes called a final equation. If it be simple, it may be resolved by the preceding rules; but if it be of a superior order, it must be resolved by the rules afterwards to be explained. The examples in this chapter are so contrived, that the final equation may be simple.

The rules given in this section for the solution of questions, though they contain a reference to simple equations only, are to be considered as general, and as applicable to questions which produce equations of any order.

General Rule. The unknown quantities in the question proposed must be expressed by letters, and the relations of the known and unknown quantities contained in it, or the conditions of it, as they are called, must be expressed by equations. These equations being resolved by the rules of this science, will give the answer of the question.

For example, if the question is concerning two numbers, they may be called $x$ and $y$, and the conditions from which they are to be investigated must be expressible by equations.

Thus, if it be required that the sum of two numbers ought to be 60, that condition is expressed thus

If their difference must be 24, then $x\; -\; y\; =\; 24$

If their product is 1640, then $xy\; =\; 1640$

If their quotient must be 6, then $\backslash frac\{x\}\{y\}\; =\; 6$

If their ratio is as 3 to 2, then $x\; :\; y\; ::\; 3\; :\; 2$, and therefore $2x\; =\; 3y$

These are some of the relations which are most easily expressed. Many others occur which are less obvious; but as they cannot be described in particular rules, the algebraical expression of them is best explained by examples, and must be acquired by experience.

A

A distinct conception of the nature of the question, and of the relations of the several quantities to which it refers, will generally lead to the proper method of stating it, which in effect may be considered only as a translation from common language into that of algebra.

Case I. When there is only one unknown quantity to be found.

Rule. An equation involving the unknown quantity must be deduced from the question (by the general rule). This equation being resolved by the rules of the last section, will give the answer.

It is obvious, that, when there is only one unknown quantity, there must be only one independent equation contained in the question; for any other would be unnecessary, and might be contradictory to the former.

Examp. 1. To find a number, to which if there be

Let his first stock be
Of which he spends the first year L. 100, and
there remains

This remainder is increased by a third of it-
self

The second year he spends L. 100, and there
remains

He increases the remainder by one-third of
it

The third year he spends L. 100, and there
remains

He increases it by one-third

But at the end of the third year his stock is
doubled; therefore

By R. 3.

By R. 1.

By R. 2.

Therefore his stock was L. 1480; which being tried, answers the conditions of the question.

Case II. When there are two unknown quantities.

Rule. Two independent equations involving the two unknown quantities, must be derived from the question. A value of one of the unknown quantities must be derived from each of the equations: and these two values being put equal to each other, a new equation will arise, involving only one unknown quantity, and may therefore be resolved by the preceding rule.

Two equations must be deduced from the question: for, from one including two unknown quantities, it is plain, a known value of either of them cannot be obtained, more than two equations would be unnecessary; and if any third condition were assumed at pleasure, most probably it would be inconsistent with the other two, and a question containing three such conditions would be absurd.

It is to be observed, however, that the two conditions, and hence the two equations expressing them, must be independent; that is, the one must not be deducible from the other by any algebraical reasoning: for, otherwise, there would in effect be only one equa-

added a half, a third part, and a fourth part of itself, the sum will be 50.

Let it be $z$: then half of it is $\backslash frac\{z\}\{2\}$, a third of it $\backslash frac\{z\}\{3\}$, &c.

Therefore, $z\; +\; \backslash frac\{z\}\{2\}\; +\; \backslash frac\{z\}\{3\}\; +\; \backslash frac\{z\}\{4\}\; =\; 50$

If the operation be more complicated, it may be useful to register the several steps of it, as in the following

Examp. 2. A trader allows L. 100 per annum for the expenses of his family, and augments yearly that part of his stock which is not so expended by a third of it; at the end of three years his original stock was doubled. What had he at first?

tion, under two different forms, from which no solution can be derived.

Examp. 3. Two persons, A and B, were talking of their ages: says A to B, Seven years ago I was just three times as old as you were, and seven years hence I shall be just twice as old as you will be. I demand their present ages.

The ages of A and B then are 49 and 21, which answer the conditions.

The operation might have been a little shortened by subtracting the 4th from 5th, and thus $14\; =\; -y\; +\; 35$; and hence $y\; =\; 21$. therefore (by 6th) $x\; =\; (3y\; -\; 14)\; =\; 49$.

Examp. 4. A gentleman distributing money among some poor people, found he wanted 10s. to be able to give 5s. to each; therefore he gives each 4s. only, and finds he has 5s. left.—To find the number of shillings and poor people.

If any question such as this, in which there are two quantities sought, can be resolved by means of one letter, the solution is in general more simple than when two are employed. There must be, however, two independent conditions; one of which is used in the notation of one of the unknown quantities, and the other gives an equation.

The number of poor therefore is 15, and the number of shillings is $(4z\; +\; 5\; =)\; 65$, which answer the conditions.

Examp. 5. A courier sets out from a certain place, and travels at the rate of 7 miles in 5 hours; and 8 hours after, another sets out from the same place, and travels the same road, at the rate of 5 miles in 3 hours: I demand how long and how far the first must travel before he is overtaken by the second?

The first then travelled 50 hours, the second $(y\; -\; 8\; =)\; 42$ hours.

The miles travelled by each $\backslash left(\; \backslash frac\{7y\}\{5\}\; =\; \backslash frac\{5y\; -\; 40\}\{3\}\; =\; \backslash right)\; 70$.

Case III. When there are three or more unknown quantities.

Rule. When there are three unknown quantities, there must be three independent equations arising from the question; and from each of these a value of one of the unknown quantities must be obtained. By comparing these three values, two equations will arise, involving only two unknown quantities, which may therefore be resolved by the rule for Case 2.

In like manner may the rule be extended to such questions as contain four or more unknown quantities; and hence it may be inferred, That, when just as many

independent equations may be derived from a question as there unknown quantities in it, these quantities may be found by the resolution of equations.

Examp. 6. To find three numbers, so that the first, with half the other two, the second with one third of the other two, and the third with one fourth of the other two, may each be equal to 34.

Let the numbers be $x,\; y,\; z$, and the equations are

Examp. 7. To find a number consisting of three places, whose digits are in arithmetical proportion; if this number be divided by the sum of its digits, the quotient will be 48; and if from the number be subtracted 198, the digits will be inverted.

The number then is 432, which succeeds upon trial.

It sometimes happens, that all the unknown quantities, when there are more than two, are not in all the equations expressing the conditions, and therefore the preceding rule cannot be literally followed. The solution, however, will be obtained by such substitutions as are used in Ex. 7. and 9. or by similar operations, which need not be particularly described.

Corollary to the preceding Rules.

It appears that, in every question, there must be as many independent equations as unknown quantities; if there are not, then the question is called indeterminate, because it may admit of an infinite number of answers; since the equations wanting may be assumed at pleasure. There may be other circumstances, however, to limit the answers to one, or a precise number, and which, at the same time, cannot be directly expressed by equations. Such are these; that the numbers must be integers, squares, cubes, and many others. The solution of such problems, which are also called diophantine, shall be considered afterwards.

Scholium.

On many occasions, by particular contrivances, the operations by the preceding rules may be much abridged. This however, must be left to the skill and practice of the learner. A few examples are the following.

1. It is often easy to employ fewer letters than there are unknown quantities, by expressing some of them from a simple relation to others contained in the conditions of the question. Thus, the solution becomes more easy and elegant. (See Ex. 4. 5.)

2. Sometimes it is convenient to express by letters, not the unknown quantities themselves, but some other quantities connected with them, as their sum, difference, &c. from which they may be easily derived. (See Ex. 1. of chap. 5.)

In the operation also, circumstances will suggest a more easy road than that pointed out by the general rules. Two of the original equations may be added together, or may be subtracted; sometimes they must be previously multiplied by some quantity, to render such addition or subtraction effectual, in exterminating one of the unknown quantities, or otherwise promoting the solution. Substitutions may be made of the values of quantities, in place of quantities themselves, and various other such contrivances may be used, which will render the solution much less complicated. (See Ex. 3. 7. and 9.)

SECT. II. General Solution of Problems.

In the solutions of the questions in the preceding

part, the given quantities (being numbers) disappear in the last conclusion, so that no general rules for like cases can be deduced from them. But if letters are used to denote the known quantities, as well as the unknown, a general solution may be obtained, because, during the whole course of the operation, they retain their original form. Hence also the connection of the quantities will appear in such a manner as to discover the necessary limitations of the data, when there are any, which is essential to the perfect solution of a problem. From this method, too, it is easy to derive a synthetical demonstration of the solution.

When letters, or any other such symbols, are employed to express all the quantities, the algebra is sometimes called specious or literal.

Examp. 8. To find two numbers, of which the sum and difference are given.

Let $s$ be the given sum, and $d$ the given difference. Also, let $x$ and $y$ be the two numbers sought.

Thus, let the given sum be 100, and the difference 24. Then $x\; =\; \backslash left(\backslash frac\{s+d\}\{2\}\; =\; \backslash frac\{124\}\{2\}\; =\; 62\backslash right)$ & $y\; =\; \backslash left(\backslash frac\{s-d\}\{2\}\; =\; \backslash frac\{76\}\{2\}\; =\; 38\backslash right)$.

In the same manner may the canon be applied to any other values of $s$ and $d$. By reversing the steps in the operation, it is easy to show, that if $x\; =\; \backslash frac\{s+d\}\{2\}$ and $y\; =\; \backslash frac\{s-d\}\{2\}$, the sum of $x$ and $y$ must be $s$, and their difference $d$.

Examp. 9. If A and B together can perform a piece of work in the time $a$, A and C together in the time $b$, and B and C together in the time $c$, in what time will each of them perform it alone?

Let A perform the work in the time $x$, B in $y$, and C in $z$; then as the work is the same in all cases, it may be represented by unity.

3 F 2

By

Example in numbers. Let $a\; =\; 8$ days, $b\; =\; 9$ days, and $c\; =\; 10$; then $x\; =\; 14\backslash frac\{34\}\{49\}$, $y\; =\; 17\backslash frac\{23\}\{41\}$, and $z\; =\; 23\backslash frac\{7\}\{31\}$. It appears likewise that $a,\; b,\; c$, must be such, that the product of any two of them must be less than the sum of these two multiplied by the third. This is necessary to give positive values of $x,\; y$, and $z$, which alone can take place in this question. Besides, if $x,\; y$, and $z$ be assumed as any known numbers whatever, and if values of $a,\; b$, and $c$ be deduced from steps 7th, 8th, and 9th, of the preceding operation, it will appear, that $a,\; b$, and $c$ will have the property required in the limitation here mentioned.

If $a,\; b$, and $c$ were such, that any of the quantities, $x,\; y$, or $z$, became equal to 0, it implies that one of the agents did nothing in the work. If the values of any of these quantities be negative, the only supposition which could give them any meaning would be, that some of the agents, instead of promoting the work, either obstructed it, or undid it to a certain extent.

Examp. 10. In question 5th, let the first courier travel $p$ miles in $q$ hours; the second $r$ miles in $s$ hours; let the interval between their setting out be $a$,

Then by working as formerly,

If particular values be inserted for these letters, a particular solution will be obtained for that case. Let them denote the numbers in Example 5.

Here it is obvious, that $qr$ must be greater than $ps$, else the problem is impossible; for then the value of $x$ would either be infinite or negative. This limitation appears also from the nature of the question, as the second courier must travel at a greater rate than the first, in order to overtake him. For the rate of the first courier is to the rate of the second as $\backslash frac\{p\}\{q\}$ to $\backslash frac\{r\}\{s\}$, that is, as $ps$ to $qr$; and therefore $qr$ must be greater than $ps$.

Scholium.

Sometimes when there are many known quantities in a general solution, it may simplify the operation to express certain combinations of them by new letters, still to be considered as known.

CHAP. IV.

Of Involution and Evolution.

In order to resolve equations of the higher orders, it is necessary to premise the rules of Involution and Evolution.

LEMMA.

The reciprocals of the powers of a quantity may be expressed by that quantity, with negative exponents of the same denomination. That is, the series $a,\; 1,\; \backslash frac\{1\}\{a\},\; \backslash frac\{1\}\{a^2\},\; \backslash frac\{1\}\{a^3\},\; \backslash frac\{1\}\{a^4\},\; \backslash dots$ may be expressed by $a^1,\; a^0,\; a^\{-1\},\; a^\{-2\},\; a^\{-3\},\; a^\{-4\},\; \backslash dots$.

For the rule for dividing the powers of the same root was to subtract the exponents; if then the index of the divisor be greater than that of the dividend, the index of the quotient must be negative.

Thus, $\backslash frac\{a^3\}\{a^2\}\; =\; a^\{3-2\}\; =\; a^1\; =\; a$. Also, $\backslash frac\{a^2\}\{a^3\}\; =\; \backslash frac\{1\}\{a^1\}\; =\; \backslash frac\{1\}\{a\}$.

$\backslash frac\{a^m\}\{a^n\}\; =\; a^\{m-n\}\; =\; a^0\; =\; 1$. And, $\backslash frac\{a^n\}\{a^m\}\; =\; 1$, and so on of others.

Cor. 1. Hence any quantity which multiplies either the numerator or denominator of a fraction, may be transposed from the one to the other, by changing the sign of its index.

Thus, $\backslash frac\{x\}\{y^2\}\; =\; xy^\{-2\}$. And $\backslash frac\{a^2x\}\{y^2\}\; =\; \backslash frac\{a^2\}\{y^2\}x$, &c.

Cor. 2. From this notation, it is evident that these negative powers, as they are called, are multiplied by adding, and divided by subtracting their exponents.

Thus, $a^\{-3\}\; \backslash times\; a^\{-1\}\; =\; a^\{-4\}$.

Or, $\backslash frac\{1\}\{a^3\}\; \backslash times\; \backslash frac\{1\}\{a^1\}\; =\; \backslash frac\{1\}\{a^4\}\; =\; a^\{-4\}$.

$\backslash frac\{a^\{-1\}\}\{a^\{-3\}\}\; =\; a^2$. Or, $\backslash frac\{1\}\{a^1\}\; \backslash div\; \backslash frac\{1\}\{a^3\}\; =\; \backslash frac\{a^3\}\{a^1\}\; =\; a^2$.

To find any power of any quantity is the business of involution.

Case 1. When the quantity is simple.

Rule. Multiply the exponents of the letters by the index of the power required, and raise the coefficient to the same power.

Thus, the 2d power of $a$ is $a^1\; \backslash times\; 2\; =\; a^2$.

The 3d power of $2a^2$ is $8a^2\; \backslash times\; 3\; =\; 24a^2$.

The 3d power of $3ab^2$ is $27a^3\; \backslash times\; 3b^6\; \backslash times\; 3\; =\; 27a^3b^6$.

For the multiplication would be performed by the continued addition of the exponents; and this multiplication of them is equivalent. The same rule holds also when the signs of the exponents are negative.

Rule for the signs. If the sign of the given quantity is $+$, all its powers must be positive. If the sign is $-$, then all its powers whose exponents are even numbers are positive; and all its powers whose exponents are odd numbers are negative.

This is obvious from the rule for the signs in multiplication.

The last part of it implies the most extensive use of the signs $+$ and $-$, by supposing that a negative quantity may exist by itself.

Case 2. When the quantity is compound.

Rule. The powers must be found by a continual multiplication of it by itself.

Thus, the square of $x\; +\; \backslash frac\{a\}\{2\}$ is found by multiplying it into itself. The product is $x^2\; +\; ax\; +\; \backslash frac\{a^2\}\{4\}$. The cube of $x\; +\; \backslash frac\{a\}\{2\}$ is got by multiplying the square already found by the root, &c.

Fractions are raised to any power, by raising both numerator and denominator to that power, as is evident from the rule for multiplying fractions in Chap. I. § 2.

The involution of compound quantities is rendered much easier by the binomial theorem; for which see Chap. VI.

Note. The square of a binomial consists of the squares of the two parts, and twice the product of the two parts.

Evolution is the reverse of involution, and by it powers are resolved into their roots.

Def. The root of any quantity is expressed by placing before it $\backslash sqrt\{\backslash quad\}$ (called a radical sign) with a small figure above it, denoting the denomination of that root.

Thus, the square root of $a$, is $\backslash sqrt\{a\}$ or $\backslash sqrt[2]\{a\}$.

The cube root of $bc$, is $\backslash sqrt[3]\{bc\}$.

The 4th root of $a^2b\; -\; x^3$, is $\backslash sqrt[4]\{a^2b\; -\; x^3\}$.

The $n$th root of $c^3\; -\; dx$, is $\backslash sqrt[n]\{c^3\; -\; dx\}$.

1. 1. The root of any positive power may be either positive or negative, if it is denominated by an even number; if the root is denominated by an odd number, it is positive only.
2. 2. If the power is negative, the root also is negative, when it is denominated by an odd number.
3. 3. If the power is negative, and the denomination of the root even, then no root can be assigned.

This rule is easily deduced from that given in involution, and supposes the same extensive use of the signs $+$ and $-$. If it is applied to abstract quantities in which a contrariety cannot be supposed, any root of a positive quantity must be positive only; and any root of a negative quantity, like itself, is unintelligible.

In the last case, though no root can be assigned, yet sometimes it is convenient to set the radical sign before the negative quantity, and then it is called an impossible or imaginary root.

The root of a positive power, denominated by an even number, has often the sign $\backslash pm$ before it, denoting that it may have either $+$ or $-$.

The radical sign may be employed to express any root of any quantity whatever; but sometimes the root may be accurately found by the following rules; and when it cannot, it may often be more conveniently expressed by the methods now to be explained.

Case I. When the quantity is simple.

Rule. Divide the exponents of the letters by the index of the root required, and prefix the root of the numeral coefficient.

1. The exponents of the letters may be multiples of the index of the root, and the root of the coefficient may be extracted.

Thus, the square root of $a^4\; =\; a^2\; =\; \backslash pm\; a^2$.

2. The exponents of the letters may not be multiples of the index of the root, and then they become fractions; and when the root of the coefficient cannot be extracted, it may also be expressed by a fractional exponent, its original index being understood to be 1.

Thus, $\backslash sqrt[3]\{16a^2b^2\}\; =\; 4a^\{\backslash frac\{2\}\{3\}\}b^\{\backslash frac\{2\}\{3\}\}$.

As evolution is the reverse of involution, the reason of the rule is evident.

The root of any fraction is found by extracting that root out of both numerator and denominator.

Case II. When the quantity is compound.

1. To extract the square root.

Rule. 1. The given quantity is to be ranged according to the powers of the letters, as in division.

Thus,

Thus, in the example $a^2\; +\; 2ab\; +\; b^2$, the quantities are ranged in this manner.

2. The square root is to be extracted out of the first term (by preceding rules), which gives the first part of the root sought. Subtract its square from the given quantity, and divide the first term of the remainder by double the part already found, and the quotient is the second term of the root.

Thus, in this example, the remainder is $2ab\; +\; b^2$; and $2ab$ being divided by $2a$, the double of the part found, gives $+b$ for the second part of the root.

3. Add this second part to double of the first, and multiply their sum by the second part: Subtract the product from the last remainder, and if nothing remain, the square root is obtained. But, if there is a remainder, it must be divided by the double of the parts already found, and the quotient would give the third part of the root; and so on.

In the last example, it is obvious, that $a+b$ is the square root sought.

The entire operation is as follows.

The reason of this rule appears from the composition of a square.

2. To extract any other root.

Rule. Range the quantity according to the dimensions of its letters, and extract the said root out of the first term, and that shall be the first member of the root required. Then raise this root to a dimension lower by unit than the number that denominates the root required, and multiply the power that arises by that number itself. Divide the second term of the given quantity by the product, and the quotient shall give the second member of the root required.—In like manner are the other parts to be found, by considering those already got as making one term.

Thus, the fifth root of

And $a+b$ raised to the 5th power is the given quantity, and therefore it is the root sought.

In evolution it will often happen, that the operation will not terminate, and the root will be expressed by a series.

Thus, the square root of $a^2\; +\; x^2$ becomes a series.

The extraction of roots by series is much facilitated by the binomial theorem (Chap. vi. Sect. 3.) By similar rules, founded on the same principles, are the roots of numbers to be extracted.

III. Of Surds.

Def. Quantities with fractional exponents are called surds, or imperfect powers.

Such quantities are also called irrational; in opposition to others with integral exponents, which are called rational.

Surds may be expressed either by the fractional exponents, or by the radical sign, the denominator of the fraction being its index; and hence the orders of surds are denominated from this index.

In the following operations, however, it is generally convenient to use the notation by the fractional exponents.

The operations concerning surds depend on the following principle: If the numerator and denominator of a fractional exponent be both multiplied or both divided by the same quantity, the value of the power is the same. Thus $a^\{\backslash frac\{m\}\{n\}\}\; =\; a^\{\backslash frac\{mc\}\{nc\}\}$: for let $a^\{\backslash frac\{m\}\{n\}\}\; =\; b$; then $a^\{mc\}\; =\; b^\{nc\}$, and $a^\{\backslash frac\{m\}\{nc\}\}\; =\; b^\{\backslash frac\{1\}\{nc\}\}$, and extracting the root $nc$, $a^\{\backslash frac\{m\}\{nc\}\}\; =\; b^\{\backslash frac\{1\}\{nc\}\}\; =\; b$.

Lemma. A rational quantity may be put into the form of a surd, by reducing its index to the form of a fraction of the same value.

PROP. I. To reduce surds of different denominations to others of the same value and of the same denomination.

Rule. Reduce the fractional exponents to others of the same value and having the same common denominator.

therefore $\backslash sqrt\{a\}$, and $\backslash sqrt[3]\{b^2\}$ are respectively equal to $\backslash sqrt[6]\{a^3\}$ and $\backslash sqrt[6]\{b^4\}$.

PROB. II. To multiply and divide surds.

1. When they are surds of the same rational quantity, add and subtract their exponents.

2. If they are surds of different rational quantities, let them be brought to others of the same denomination, if already they are not, by prob. 1. Then, by multiplying or dividing these rational quantities, their product or quotient may be set under the common radical sign.

If the surds have any rational coefficients, their product or quotient must be prefixed. Thus, $a\; \backslash sqrt[m]\{x\}\; \backslash times\; b\; \backslash sqrt[n]\{y\}\; =\; ab\; \backslash sqrt[mn]\{xy\}$. It is often convenient, in the operations of this problem, not to bring the surds of simple quantities to the same denomination, but to express their product or quotient without the radical sign, in the same manner as if they were rational quantities. Thus, the product in Ex. 1. may be $a^\{\backslash frac\{1\}\{2\}\}\; b^\{\backslash frac\{1\}\{2\}\}$, and the quotient in Ex. 3. $a^\{\backslash frac\{1\}\{6\}\}\; b^\{\backslash frac\{1\}\{6\}\}$.

Cor. If a rational coefficient be prefixed to a radical sign, it may be reduced to the form of a surd by the lemma, and multiplied by this problem; and conversely, if the quantity under the radical sign be divisible by a perfect power of the same denomination, it may be taken out, and its root prefixed as a coefficient.

Even when the quantity under the radical sign is not divisible by a perfect power, it may be useful sometimes to divide surds into their component factors, by reversing the operation of this problem.

PROB. III. To involve or evolve Surds.

This is performed by the same rules as in other quantities, by multiplying or dividing their exponents by the index of the power or root required.

The notation by negative exponents, mentioned in the lemma at the beginning of this chapter, is applicable to fractional exponents, in the same manner as to integers.

Scholium.

The application of the rules of this chapter to the resolving of equations, shall be explained in the succeeding chapters, which treat of the solution of the different classes of them; but some examples of their use in preparing equations for a solution are the following.

If a member of an equation be a surd root, then the equation may be freed from any surd, by bringing that member first to stand alone upon one side of the equation, and then taking away the radical sign from it, and raising the other side to the power denominated by the index of that surd.

This operation becomes a necessary step towards the solution of an equation, when any of the unknown quantities are under the radical sign.

If the unknown quantity be found only under the radical sign, and only of the first dimension, the equation will become simple, and may be resolved by the preceding rules.

If the unknown quantity in a final equation has fractional exponents, by means of the preceding rules a new equation may be substituted, in which the exponents of the unknown quantity are integers.

Thus, if $x^\{\backslash frac\{1\}\{2\}\}\; +\; 3x^\{\backslash frac\{1\}\{3\}\}\; =\; 10$, by reducing the surds to the same denomination, it becomes $x^\{\backslash frac\{1\}\{6\}\}\; +\; 3x^\{\backslash frac\{1\}\{6\}\}\; =\; 10$; and if $z\; =\; x^\{\backslash frac\{1\}\{6\}\}$, then $z^1\; +\; 3z^1\; =\; 10$; and if this equation be resolved from a value of $z$, a value of $x$ may be got by the rules of the next chapter. Thus also, if $x\; +\; 2x^\{\backslash frac\{1\}\{2\}\}\; -\; 3x^\{\backslash frac\{1\}\{3\}\}\; =\; 100$. If $x^\{\backslash frac\{1\}\{6\}\}\; =\; z$, this equation becomes $z^6\; +\; 2z^3\; -\; 3z^2\; =\; 100$.

In general, if $x^\{\backslash frac\{p\}\{q\}\}\; +\; x^\{\backslash frac\{m\}\{n\}\}\; =\; a$. by reducing the surds to the same denomination $x^\{\backslash frac\{pn\}\{nq\}\}\; +\; x^\{\backslash frac\{qm\}\{qn\}\}\; =\; a$, and if $x^\{\backslash frac\{1\}\{qn\}\}\; =\; z$, then the equation is $z^\{p\; \backslash times\; n\}\; +\; z^\{m\; \backslash times\; n\}\; =\; a$, in which

Equations. the exponents of $z$ are integers; and $z$ being found, $x$ is to be found from the equation $x^\{\backslash frac\{1\}\{qn\}\}\; =\; z$.

EQUATIONS were divided into orders according to the highest index of the unknown quantity in any term. (chap. 3.)

Equations are either pure or affected.

Def. 1. A pure equation is that in which only one power of the unknown quantity is found.

2. An affected equation, is that in which different powers of the unknown quantity are found in the several terms.

Thus, $a^2\; +\; ax^2\; =\; b^3$, $ax^2\; -\; b^2\; =\; m^2\; +\; x^2$ are pure equations.

And $x^3\; -\; ax\; =\; b^3$, $x^1\; +\; x^2\; =\; 17$, are affected.

Rule. Make the power of the unknown quantity to stand alone by the rules formerly given, and then extract the root of the same denomination out of both sides, which will give the value of the unknown quantity.

Then by Ex. 8. chap. 3.

Hence the four proportionals are 54, 18, 6, 2; and it appears that $b$ must not be greater than $a$, otherwise the root becomes impossible, and the problem would also be impossible; which limitation might be deduced also from prop. 25. V. of Euclid.

Affected equations of different orders are resolved by different rules, successively to be explained.

An affected quadratic equation (commonly called a quadratic) involves the unknown quantity itself, and also its square: It may be resolved by the following No. 11.

The index of the power may also be fractional; as in the last example $m$ may be any number whatever. Let $m\; =\; \backslash frac\{1\}\{2\}$, then as before,

Sometimes different powers of the unknown quantity are found in the equation, yet the several terms may form on one side a perfect power, of which the root being extracted, the equation will become simple.

Thus, if $x^3\; -\; 12x^2\; +\; 48x\; =\; 98$, it is easy to observe that $x^3\; -\; 12x^2\; +\; 48x\; -\; 64\; =\; 34$; forming a complete cube; of which the root being extracted, $x\; -\; 4\; =\; \backslash sqrt[3]\{34\}$. And $x\; =\; 4\; +\; \backslash sqrt[3]\{34\}$.

Examp. 1. To find four continued proportionals, of which the sum of the extremes is 56, and the sum of the means 24.

To resolve the question in general terms, let the sum of the extremes be $a$, the sum of the means $b$, and let the difference of the extremes be called $z$, and the difference of the means $y$.

Rule. 1. Transpose all the terms involving the unknown quantity to one side, and the known terms to the other; and so that the term containing the square of the unknown quantity may be positive.

2. If the square of the unknown quantity is multiplied by any coefficient, all the terms of the equation are to be divided by it, so that the coefficient of the square of the unknown quantity may be 1.

3. Add to both sides the square of half the coefficient of the unknown quantity itself, and the side of the equation involving the unknown quantity will be a complete square.

4. Extract

Equations. 4. Extract the square root from both sides of the equation, by which it becomes simple, and by transposing the above mentioned half coefficient, a value of the unknown quantity is obtained in known terms, and therefore the equation is resolved.

The reason of this rule is manifest from the composition of the square of a binomial, for it consists of the squares of the two parts, and twice the product of the two parts. (Note, at the end of Chap. IV.)

The different forms of quadratic equations, expressed in general terms, being reduced by the first and second parts of the rule, are these;

Case 1.

Case 2.

Case 3.

Of these cases it may be observed,

1. That if it be supposed, that the square root of a positive quantity may be either positive or negative, according to the most extensive use of the signs, every quadratic equation will have two roots, except such of the third form, whose roots become impossible.

2. It is obvious, that, in the two first forms, one of the roots must be positive, and the other negative.

3. In the third form, if $\backslash frac\{a^2\}\{4\}$ or the square of half the coefficient of the unknown quantity, be greater than $b^2$, the known quantity, the two roots will be positive. If $\backslash frac\{a^2\}\{4\}$ be equal to $b^2$, the two roots then become equal.

But if in this third case $\backslash frac\{a^2\}\{4\}$ is less than $b^2$, the quantity under the radical sign becomes negative, and the two roots are therefore impossible. This may be easily shown to arise from an impossible supposition in the original equation.

4. If the equation, however, expresses the relation of magnitudes abstractly considered, where a contrariety cannot be supposed to take place, the negative roots cannot be of use, or rather there are no such roots;

for then a negative quantity by itself is unintelligible, and therefore the square root of a positive quantity must be positive only. Hence, in the two first cases, there will be only one root; but in the third, there will be two. For in this third case, $x^2\; -\; ax\; =\; -b^2$, or $ax\; -\; x^2\; =\; b^2$, it is obvious that $x$ may be either greater or less than $\backslash frac\{1\}\{2\}a$, and yet $a\; -\; x$ may be positive; and hence $a\; -\; x\; \backslash times\; x\; =\; ax\; -\; x^2$ may also be positive, and may be equal to a given positive quantity $b^2$: therefore the square root of $x^2\; -\; ax\; +\; \backslash frac\{1\}\{4\}a^2$ may be either $x\; -\; \backslash frac\{1\}\{2\}a$ or $\backslash frac\{1\}\{2\}a\; -\; x$, and both these quantities also positive.

Let then $x\; -\; \backslash frac\{a\}\{2\}\; =\; \backslash sqrt\{\backslash frac\{a^2\}\{4\}\; -\; b^2\}$ and $x\; =\; \backslash frac\{a\}\{2\}\; +\; \backslash sqrt\{\backslash frac\{a^2\}\{4\}\; -\; b^2\}$. Also let $\backslash frac\{a\}\{2\}\; -\; x\; =\; \backslash sqrt\{\backslash frac\{a^2\}\{4\}\; -\; b^2\}$; and hence $x\; =\; \backslash frac\{a\}\{2\}\; -\; \backslash sqrt\{\backslash frac\{a^2\}\{4\}\; -\; b^2\}$, and these are the same two positive roots as were obtained by the general rule.

The general rule is usually employed, even in questions where negative numbers cannot take place, and then the negative roots of the two first forms are neglected. Sometimes even only one of the positive roots of the third case can be used, and the other may be excluded by a particular condition in the question. When an impossible root arises in the solution of a question, and if it be resolved in general terms, the necessary limitation of the data will be discovered.

When a question can be so stated as to produce a pure equation, it is generally to be preferred to an affected. Thus the question in the preceding section, by the most obvious notation, would produce an affected equation.

2. Solution of Questions producing Quadratic Equations.

The expression of the conditions of the question by equations, or the stating of it, and the reduction likewise of these equations, till we arrive at a quadratic equation, involving only one unknown quantity and its square, are effected by the same rules which were given for the solution of simple equations in Chap. III.

Examp. 2. One lays out a certain sum of money in goods, which he sold again for L. 24, and gained as much per cent. as the goods cost him: I demand what they cost him?

The answer is 20, which succeeds. The other root, -120, has no place in this example, a negative number being here unintelligible.

Any quadratic equation may be resolved also by the general canons at the beginning of this section. That arising

Equation arising from this question, (No. 5.) belongs to Case I. and $a=100$, $b^2=2400$; therefore,

Examp. 3. What two numbers are those, whose difference is 15, and half of whose product is equal to the cube of the lesser?

The numbers therefore are 3 and 18, which answer the conditions. This is an example of Case 2d, and the negative root is neglected.

A solution, indeed, may be represented by means of the negative root $-\backslash frac\{5\}\{2\}$; for then the other number is $(x+15)\; =\; -\backslash frac\{5\}\{2\}\; +\; 15\; =\; \backslash frac\{25\}\{2\}$. And $\backslash frac\{1\}\{2\}\; \backslash times\; \backslash frac\{25\}\{2\}\; \backslash times\; -\backslash frac\{5\}\{2\}$, is equal to the cube of $-\backslash frac\{5\}\{2\}$. Such a solution, though useless, and even absurd, it is plain must correspond to the conditions, if those rules with regard to the signs be used in the application of it, by which it was itself deduced. The same observation may be extended even to impossible roots; which being assumed as the answer of a question, must, by reversing the steps of the investigation, correspond to the original equations, by which the conditions of that question were expressed.

Examp. 4. To find two numbers whose sum is 100, and whose product is 2059.

Let the given sum $100=a$, the product $2059=b$, and let one of the numbers sought be $x$, the other will be $a-x$. Their product is $ax-x^2$.

By

By inserting numbers, $x=71$ or $29$ and $a-x=29$ Equations or $71$, so that the two numbers sought are $71$ and $29$.

Here it is to be observed, that $b$ must not be greater than $\backslash frac\{a^2\}\{4\}$, else the roots of the equation would be impossible; that is, the given product must not be greater than the square of half the given sum of the numbers sought. This limitation can easily be shown from other principles; for, the greatest possible product of two parts, into which any number may be divided, is when each of them is a half of it. If $b$ be equal to $\backslash frac\{a^2\}\{4\}$, there is only one solution, and $x\; =\; \backslash frac\{a\}\{2\}$, also $a-x\; =\; \backslash frac\{a\}\{2\}$.

Examp. 5. There are three numbers in continual geometrical proportion: The sum of the first and second is 10, and the difference of the second and third is 24. What are the numbers?

But though there are two positive roots in this equation, yet one of them only can here be of use, the other being excluded by a condition in the question. For as the sum of the first and second is 10, 25 cannot be one of them: 2 therefore is the first, and the proportionals will be 2, 8, 32.

This restriction will also appear from the explanation given of the third form, to which this equation belongs. For $z$ may be less than $\backslash frac\{27\}\{2\}$, but from the first condition of the question it cannot be greater; hence the quantity $z^2\; -\; 27z\; +\; \backslash frac\{27^2\}\{4\}$ can have only one

square root, viz. $\backslash frac\{27\}\{2\}\; -\; z$; and this being put equal to $\backslash sqrt\{\backslash frac\{529\}\{4\}\}$, we have by transposition $z\; =\; \backslash frac\{27\}\{2\}\; -\; \backslash frac\{23\}\{2\}\; =\; 2$, which gives the only just solution of the question.

From the other root, indeed, a solution of the question may be represented by means of a negative quantity. If the first then be 25, the three proportionals will be 25, -15, 9. These also must answer the conditions, according to the rules given for negative quantities, though such a solution has no proper meaning.

Besides, it is to be observed, that if the following question be proposed, 'To find three numbers in geometrical proportion, so that the difference of the 1st and

Equations. and 2d may be 10, and the sum of the 2d and 3d may be 24, the equation in step 6th will be produced; for, if the 1st be $z$, the 2d is $z-10$, and the 3d $34-z$, and therefore $34z-z^2-z^2-20z+100$, the very same equation as in step 4th. In this question it is plain that the root 25 only can be useful, and the three proportionals are 25, 15, 9.

But the necessary limitations of such a problem are properly to be derived from a general notation. Let the sum of the two first proportionals be $a$, and the difference of the two last $b$. If $a$ is not greater than $b$, the first term must be the least; but if $a$ be greater than $b$, the first term must be either the greatest or the least.

When the first term is the least, the proper notation of the three terms is $z$, $a-z$, $a+b-z$, and the equation when ordered is $z^2-\backslash frac\{3a+b\}\{2\}z=-\backslash frac\{a^2\}\{2\}$. If the first term be the greatest, and then $a$ is greater than $b$, the notation of the terms is $z$, $a-z$, $a-b-z$, and the corresponding equation is $z^2-\backslash frac\{3a-b\}\{2\}z=-\backslash frac\{a^2\}\{2\}$.

Of the first of these equations it may be observed, that whatever be the value of $a$ and $b$, the square of $\backslash frac\{3a+b\}\{4\}$, viz, of half the coefficient of $z$, is greater than $\backslash frac\{a^2\}\{2\}$, and therefore the roots are always possible. If the square be completed, and the roots extracted, they become $z=\backslash frac\{3a+b\}\{4\}\; \backslash pm\; \backslash frac\{\backslash sqrt\{3a+b^2-8a^2\}\}\{4\}$, and $\backslash frac\{3a+b\}\{4\}\; \backslash pm\; \backslash frac\{\backslash sqrt\{3a+b^2-8a^2\}\}\{4\}$. But in this case $z$ is the least of the three terms, and therefore $a$ is greater than $2z$, or $\backslash frac\{a\}\{2\}$ is greater than $z$; much more than is $\backslash frac\{3a+b\}\{4\}$ greater than $z$; and therefore the second root only can be admitted, and $z=\backslash frac\{3a+b-\backslash sqrt\{3a+b^2-8a^2\}\}\{4\}$ is the only proper solution.

In the second equation, since $a$ is greater than $b$, $\backslash frac\{3a-b\}\{2\}$ must be always positive, and therefore the equation is necessarily of the third form. But the roots are possible only when $\backslash frac\{3a-b\}\{4\}$ is not less than $\backslash frac\{a^2\}\{2\}$, that is, when $a^2+b^2$ is not less than $6ab$, or when $a-b$ is not less than $2\backslash sqrt\{ab\}$. When the roots are possible, $z$ may be either greater or less than $\backslash frac\{3a-b\}\{4\}$, and hence each root gives a proper solution; therefore, $z=\backslash frac\{3a-b\; \backslash pm\; \backslash sqrt\{3a-b^2-8a^2\}\}\{4\}$.

Ex. Let $a=40$ and $b=6$. The first term in this case may be assumed either as the greatest or the least. And, first, if $z$ be the greatest, the roots of the equation will be possible, since $(a^2+b^2)=1636$ is greater than $(6ab)=1440$. The two values of $z$ are 32 and 25, and the proportionals are either 32, 8, 2, or 25, 15, 9. 2dly, If $z$ be assumed the least of the propor-

tional, the two roots of the equation are possible, but Equations. one of them only can be applied; which is 17.635 nearly; and the three proportionals are 17.635, 22.365, and 28.365, nearly, the roots of the equation being incommensurate.

In like manner may the limitations of the other question above mentioned be ascertained.

Though the preceding questions have been so contrived that the answers may be integers, yet in practice it will most commonly happen that they must be surds. When in any question the root of a number which is not a perfect square is to be extracted, it may be continued in decimals, by the common arithmetical rule, to any degree of accuracy which the nature of the subject may require.

Scholium.

An equation, in the terms of which two powers only of the unknown quantity are found, and such that the index of the one is double that of the other, may, by the preceding rules, be reduced to a pure equation, and may therefore be resolved by § 1. of this chapter.

Such an equation may generally be represented thus:

Examp. 15. To find two numbers, of which the product is 100, and the difference of their square roots 3.

If $x=4$, the other number is 25; and this is the proper solution, for $x$ was supposed to be the least. In this case, indeed, the negative root of the equation being applied according to the rules for negative quantities, gives a positive answer to the question; and if $x=25$, the other number is 4.

The same would have been got, by substituting in the general theorem $m=\backslash frac\{1\}\{2\}$, $a=3$, and $b^2=100$; or, if the less number had been called $x^\{\backslash frac\{1\}\{2\}\}$, the equation would not have had fractional exponents.

CHAP. VI.

Of Indeterminate Problems.

It was formerly observed (Chap. III.), that if there are more unknown quantities in a question than equations

tions by which their relations are expressed, it is indeterminate; or it may admit of an infinite number of answers. Other circumstances, however, may limit the number in a certain manner; and these are various, according to the nature of the problem. The contrivances by which such problems are resolved are so very different in different cases, that they cannot be comprehended in general rules.

Examp. 1. To divide a given square number into two parts, each of which shall be a square number.

There are two quantities sought in this question, and there is only one equation expressing their relation; but it is required also that they may be rational, which circumstance cannot be expressed by an equation: another condition therefore must be assumed, in such a manner as to obtain a solution in rational numbers.

Let the given square be $a^2$; let one of the squares sought be $x^2$, the other is $a^2\; -\; x^2$. Let $rx\; -\; a$ also be a side of this last square, therefore

By transp.

Divide by $x$

Therefore

Let $r$ therefore be assumed at pleasure, and $\backslash frac\{2ra\}\{r^2\; +\; 1\}$,

$\backslash frac\{r^2a\; -\; a\}\{r^2\; +\; 1\}$, which must always be rational, will be the sides of the two squares required.

Thus, if $a^2\; =\; 100$; then if $r\; =\; 3$, the sides of the two squares are 6 and 8, for $36\; +\; 64\; =\; 100$.

Also let $a^2\; =\; 64$. Then if $r\; =\; 2$, the sides of the squares are $\backslash frac\{32\}\{5\}$ and $\backslash frac\{24\}\{5\}$; and $\backslash frac\{1024\}\{25\}\; +\; \backslash frac\{576\}\{25\}\; =\; \backslash frac\{1600\}\{25\}\; =\; 64$.

The reason of the assumption of $rx\; -\; a$ as a side of the square $a^2\; -\; x^2$, is that being squared and put equal to this last, the equation manifestly will be simple, and the root of such an equation is always rational.

Examp. 2. To find two square numbers whose difference is given.

Let $x^2$ and $y^2$ be the square numbers, and $a$ their difference.

If $x$ and $y$ are required only to be rational, then take $v$ at pleasure, and $z\; =\; \backslash frac\{a\}\{v\}$, whence $x$ and $y$ are known.

But if $x$ and $y$ are required to be whole numbers, take for $z$ and $v$ any two factors that produce $a$, and are both even or both odd numbers. And this is possible only where $a$ is either an odd number greater than

1, or a number divisible by 4. Then $\backslash frac\{z+v\}\{2\}$ and $\backslash frac\{z-v\}\{2\}$ are the numbers sought.

For the product of two odd numbers is odd, and that of two even numbers is divisible by 4. Also, if $z$ and $v$ are both odd or both even, $\backslash frac\{z+v\}\{2\}$ and $\backslash frac\{z-v\}\{2\}$ must be integers.

Ex. 1. If $a\; =\; 27$, take $v\; =\; 1$, then $z\; =\; 27$; and the squares are 196 and 169. Or $z$ may be 9 and $v\; =\; 3$, and then the squares are 36 and 9.

2. If $a\; =\; 12$, take $v\; =\; 2$, and $z\; =\; 6$; and the squares are 16 and 4.

Examp. 3. To find a sum of money in pounds and shillings, whose half is just its reverse.

Note. The reverse of a sum of money, as 8 l. 12s. is 12 l. 8s.

Let $x$ be the pounds and $y$ the shillings.

The sum required is $20x\; +\; y$

Its reverse is $20y\; +\; x$

In this equation there are two unknown quantities, and, in general, any two numbers of which the proportion is that of 13 to 6 will agree to it.

But, from the nature of this question, 13 and 6 are the only two that can give the proper answer, viz. 13 l. 6s. for its reverse 6 l. 13s. is just its half.

The ratio of $x$ and $y$ is expressed in the lowest integral terms by 13 and 6; any other expression of it, as the next greater 26 and 12, will not satisfy the problem, as 12 l. 26s. is not a proper notation of money in pounds and shillings.

CHAP. VII.

Demonstration of Theorems by Algebra.

ALGEBRA may be employed for the demonstration of theorems, with regard to all those quantities concerning which it may be used as an analysis; and from the general method of notation and reasoning, it possesses the same advantages in the one as in the other. The three first sections of this chapter contain some of the most simple properties of series which are of frequent use; and the last, miscellaneous examples of the properties of algebraical quantities and numbers.

I. Of Arithmetical Series.

Def. When a number of quantities increase or decrease by the same common difference, they form an arithmetical series.

Thus,

Also, 1, 2, 3, 4, 5, 6, &c. and 8, 6, 4, 2, &c.

Prop. In an arithmetical series, the sum of the first and

Demonstration of Theorems. and last terms is equal to the sum of any two intermediate terms, equally distant from the extremes.

Let the first term be $a$, the last $x$, and $b$ the common difference; then $a+b$ will be the second, and $x-b$ the last but one, &c.

Thus,

It is plain, that the terms in the same perpendicular rank are equally distant from the extremes; and that the sum of any two in it is $a+x$, the sum of the first and last.

Cor. 1. Hence the sum of all the terms of an arithmetical series is equal to the sum of the first and last, taken half as often as there are terms.

Therefore if $n$ be the number of terms, and $s$ the sum of the series; $s\; =\; a\; +\; x\; \backslash times\; \backslash frac\{n\}\{2\}$. If $a=0$, then $s\; =\; \backslash frac\{nx\}\{2\}$.

Cor. 2. The same notation being understood, since any term in the series consists of $a$, the first term, together with $b$ taken as often as the number of terms preceding it, it follows, that $x\; =\; a\; +\; n-1\; \backslash times\; b$, and hence $s\; =\; 2a\; +\; n-1\; \backslash times\; b\; \backslash times\; \backslash frac\{n\}\{2\}$; or by multiplication, $s\; =\; \backslash frac\{2an\; +\; n^2b\; -\; nb\}\{2\}$. Therefore from the first term, the common difference, and number of terms being given, the sum may be found.

Ex. Required the sum of 50 terms of the series 2, 4, 6, 8, &c.

Cor. 3. Of the first term, common difference, sum and number of terms, any three being given, the fourth may be found by resolving the preceding equation; $a,\; b,\; s$, and $n$, being successively considered as the unknown quantity. In the three first cases the equation is simple, and in the last it is quadratic.

II. Of Geometrical Series.

Def. When a number of quantities increase by the same multiplier, or decrease by the same divisor, they form a geometrical series. This common multiplier or divisor is called the common ratio.

Thus,

1, 2, 4, 8, &c.

Prop. 1. The product of the extremes in a geometrical series is equal to the product of any two terms, equally distant from the extremes.

Let $a$ be the first term, $y$ the last, $r$ the common ratio: then the series is,

It is obvious, that any term in the upper rank is equally distant from the beginning as that below it

from the end; and the product of any two such is equal to $ay$, the product of the first and last.

Prop. II. The sum of a geometrical series wanting the first term, is equal to the sum of all but the last term multiplied by the common ratio.

For, assuming the preceding notation of a series, it is plain, that

Cor. 1. Therefore $s$ being the sum of the series,

Hence $s$ can be found from $a,\; y$, and $r$; and any three of the four being given, the fourth may be found.

Cor. 2. Since the exponent of $r$ in any term is equal to the number of terms preceding it; hence in the last term its exponent will be $n-1$; the last term, therefore, $y\; =\; ar^\{n-1\}$, and $s\; =\; \backslash frac\{ar^n\; -\; a\}\{r-1\}\; =\; a\; \backslash times\; \backslash frac\{r^n\; -\; 1\}\{r-1\}$. Hence of these four, $s,\; a,\; r,\; n$, any three being given, the fourth may be found by the solution of equations. If $n$ is not a small number, the cases of this problem will be most conveniently resolved by logarithms; and of such solutions there are examples in the appendix to this part.

Cor. 3. If the series decreases, and the number of terms is infinite; then, according to this notation, $a$ the least term will be 0, and $s\; =\; \backslash frac\{yr\}\{r-1\}$, a finite sum.

Ex. Required the sum of the series to infinity.

Here $y=1$, and $r=2$. Therefore $s\; =\; \backslash frac\{1\; \backslash times\; 2\}\{2-1\}\; =\; 2$.

What are called in arithmetic repeating and circulating decimals, are truly geometrical decreasing series, and therefore may be summed by this rule.

Thus, is a geometrical series in which $y\; =\; \backslash frac\{3\}\{10\}$ and $r\; =\; 10$; therefore $s\; =\; \backslash frac\{yr\}\{r-1\}\; =\; \backslash frac\{3\; \backslash times\; 10\}\{10\; \backslash times\; 10\; -\; 1\}\; =\; \backslash frac\{1\}\{3\}$.

Thus, also, , for here $y\; =\; \backslash frac\{24\}\{100\}$ and $r\; =\; 100$; therefore $s\; =\; \backslash frac\{24\; \backslash times\; 100\}\{100\; \backslash times\; 100\; -\; 1\}\; =\; \backslash frac\{24\}\{99\}\; =\; \backslash frac\{8\}\{33\}$.

III. Of Infinite Series.

It was observed (Chap. I. and IV.), that in many cases, if the division and evolution of compound quantities be actually performed, the quotients and roots can only be expressed by a series of terms, which may be continued ad infinitum. By comparing a few of the first terms, the law of the progression of such a series

ries will frequently be discovered, by which it may be continued without any farther operation. When this cannot be done, the work is much facilitated by several methods; the chief of which is that by the binomial theorem.

THEOREM. Any binomial ($a+b$) may be raised to any power ($m$) by the following rules.

1. From inspecting a table of the powers of a binomial obtained by multiplication, it appears that the terms without their coefficients are $a^m$, $a^\{m-1\}b$, $a^\{m-2\}b^2$, &c.

2. The coefficients of these terms will be found by the following rule.

Divide the exponent of $a$ in any term by the exponent of $b$ increased by 1, and the quotient multiplied by the coefficient of that term will give the coefficient of the next following term.

This rule is found, upon trial in the table of powers, to hold universally. The coefficient of the first terms is always 1, and by applying the general rule now proposed, the coefficients of the terms in order will be as

follows: They may be more conveniently expressed thus: the capitals denoting the preceding coefficient. Hence This is the celebrated binomial theorem. It is deduced here by induction only; but it may be rigidly demonstrated, though upon principles which do not belong to this place.

Cor. 1. As $m$ may denote any number, integral or fractional, positive or negative; hence the division, involution, and evolution, of a binomial, may be performed by this theorem.

Ex. 1. Let $m\; =\; \backslash frac\{1\}\{2\}$, then $a^{\frac{1}{2}} + \frac{1}{2}a^{-\frac{1}{2}}b + \frac{1}{4}a^{-\frac{3}{2}}b^2 + \frac{1}{8}a^{-\frac{5}{2}}b^3 + \frac{1}{16}a^{-\frac{7}{2}}b^4 + \frac{1}{32}a^{-\frac{9}{2}}b^5 + \frac{1}{64}a^{-\frac{11}{2}}b^6 + \frac{1}{128}a^{-\frac{13}{2}}b^7 + \frac{1}{256}a^{-\frac{15}{2}}b^8 + \frac{1}{512}a^{-\frac{17}{2}}b^9 + \frac{1}{1024}a^{-\frac{19}{2}}b^{10} + \frac{1}{2048}a^{-\frac{21}{2}}b^{11} + \frac{1}{4096}a^{-\frac{23}{2}}b^{12} + \frac{1}{8192}a^{-\frac{25}{2}}b^{13} + \frac{1}{16384}a^{-\frac{27}{2}}b^{14} + \frac{1}{32768}a^{-\frac{29}{2}}b^{15} + \frac{1}{65536}a^{-\frac{31}{2}}b^{16} + \frac{1}{131072}a^{-\frac{33}{2}}b^{17} + \frac{1}{262144}a^{-\frac{35}{2}}b^{18} + \frac{1}{524288}a^{-\frac{37}{2}}b^{19} + \frac{1}{1048576}a^{-\frac{39}{2}}b^{20} + \frac{1}{2097152}a^{-\frac{41}{2}}b^{21} + \frac{1}{4194304}a^{-\frac{43}{2}}b^{22} + \frac{1}{8388608}a^{-\frac{45}{2}}b^{23} + \frac{1}{16777216}a^{-\frac{47}{2}}b^{24} + \frac{1}{33554432}a^{-\frac{49}{2}}b^{25} + \frac{1}{67108864}a^{-\frac{51}{2}}b^{26} + \frac{1}{134217728}a^{-\frac{53}{2}}b^{27} + \frac{1}{268435456}a^{-\frac{55}{2}}b^{28} + \frac{1}{536870912}a^{-\frac{57}{2}}b^{29} + \frac{1}{1073741824}a^{-\frac{59}{2}}b^{30} + \frac{1}{2147483648}a^{-\frac{61}{2}}b^{31} + \frac{1}{4294967296}a^{-\frac{63}{2}}b^{32} + \frac{1}{8589934592}a^{-\frac{65}{2}}b^{33} + \frac{1}{17179869184}a^{-\frac{67}{2}}b^{34} + \frac{1}{34359738368}a^{-\frac{69}{2}}b^{35} + \frac{1}{68709476736}a^{-\frac{71}{2}}b^{36} + \frac{1}{137418953472}a^{-\frac{73}{2}}b^{37} + \frac{1}{274837906944}a^{-\frac{75}{2}}b^{38} + \frac{1}{549675813888}a^{-\frac{77}{2}}b^{39} + \frac{1}{1099351627776}a^{-\frac{79}{2}}b^{40} + \frac{1}{2198703255552}a^{-\frac{81}{2}}b^{41} + \frac{1}{4397406511104}a^{-\frac{83}{2}}b^{42} + \frac{1}{8794813022208}a^{-\frac{85}{2}}b^{43} + \frac{1}{17589626044416}a^{-\frac{87}{2}}b^{44} + \frac{1}{35179252088832}a^{-\frac{89}{2}}b^{45} + \frac{1}{70358504177664}a^{-\frac{91}{2}}b^{46} + \frac{1}{140717008355328}a^{-\frac{93}{2}}b^{47} + \frac{1}{281434016710656}a^{-\frac{95}{2}}b^{48} + \frac{1}{562868033421312}a^{-\frac{97}{2}}b^{49} + \frac{1}{1125736066842624}a^{-\frac{99}{2}}b^{50} + \frac{1}{2251472133685248}a^{-\frac{101}{2}}b^{51} + \frac{1}{4502944267370496}a^{-\frac{103}{2}}b^{52} + \frac{1}{9005888534740992}a^{-\frac{105}{2}}b^{53} + \frac{1}{18011777069481984}a^{-\frac{107}{2}}b^{54} + \frac{1}{36023554138963968}a^{-\frac{109}{2}}b^{55} + \frac{1}{72047108277927936}a^{-\frac{111}{2}}b^{56} + \frac{1}{144094216555855872}a^{-\frac{113}{2}}b^{57} + \frac{1}{288188433111711744}a^{-\frac{115}{2}}b^{58} + \frac{1}{576376866223423488}a^{-\frac{117}{2}}b^{59} + \frac{1}{1152753732446846976}a^{-\frac{119}{2}}b^{60} + \frac{1}{2305507464893693952}a^{-\frac{121}{2}}b^{61} + \frac{1}{4611014929787387904}a^{-\frac{123}{2}}b^{62} + \frac{1}{9222029859574775808}a^{-\frac{125}{2}}b^{63} + \frac{1}{18444059719149551616}a^{-\frac{127}{2}}b^{64} + \frac{1}{36888119438299103232}a^{-\frac{129}{2}}b^{65} + \frac{1}{73776238876598206464}a^{-\frac{131}{2}}b^{66} + \frac{1}{147552477753196412928}a^{-\frac{133}{2}}b^{67} + \frac{1}{295104955506392825856}a^{-\frac{135}{2}}b^{68} + \frac{1}{590209911012785651712}a^{-\frac{137}{2}}b^{69} + \frac{1}{1180419822025571303424}a^{-\frac{139}{2}}b^{70} + \frac{1}{2360839644051142606848}a^{-\frac{141}{2}}b^{71} + \frac{1}{4721679288102285213696}a^{-\frac{143}{2}}b^{72} + \frac{1}{9443358576204570427392}a^{-\frac{145}{2}}b^{73} + \frac{1}{18886717152409140854784}a^{-\frac{147}{2}}b^{74} + \frac{1}{37773434304818281709568}a^{-\frac{149}{2}}b^{75} + \frac{1}{75546868609636563419136}a^{-\frac{151}{2}}b^{76} + \frac{1}{151093737219273126838272}a^{-\frac{153}{2}}b^{77} + \frac{1}{302187474438546253676544}a^{-\frac{155}{2}}b^{78} + \frac{1}{604374948877092507353088}a^{-\frac{157}{2}}b^{79} + \frac{1}{1208749897754185014706176}a^{-\frac{159}{2}}b^{80} + \frac{1}{2417499795508370029412352}a^{-\frac{161}{2}}b^{81} + \frac{1}{4834999591016740058824704}a^{-\frac{163}{2}}b^{82} + \frac{1}{9669999182033480117649408}a^{-\frac{165}{2}}b^{83} + \frac{1}{19339998364066960235298816}a^{-\frac{167}{2}}b^{84} + \frac{1}{38679996728133920470597632}a^{-\frac{169}{2}}b^{85} + \frac{1}{77359993456267840941195264}a^{-\frac{171}{2}}b^{86} + \frac{1}{154719986912535681882390528}a^{-\frac{173}{2}}b^{87} + \frac{1}{309439973825071363764781056}a^{-\frac{175}{2}}b^{88} + \frac{1}{618879947650142727529562112}a^{-\frac{177}{2}}b^{89} + \frac{1}{1237759895300285455059124224}a^{-\frac{179}{2}}b^{90} + \frac{1}{2475519790600570910118248448}a^{-\frac{181}{2}}b^{91} + \frac{1}{4951039581201141820236496896}a^{-\frac{183}{2}}b^{92} + \frac{1}{9902079162402283640472993792}a^{-\frac{185}{2}}b^{93} + \frac{1}{19804158324804567280945987584}a^{-\frac{187}{2}}b^{94} + \frac{1}{39608316649609134561891975168}a^{-\frac{189}{2}}b^{95} + \frac{1}{79216633299218269123783950336}a^{-\frac{191}{2}}b^{96} + \frac{1}{158433266598436538247567900672}a^{-\frac{193}{2}}b^{97} + \frac{1}{316866533196873076495135801344}a^{-\frac{195}{2}}b^{98} + \frac{1}{633733066393746152990271602688}a^{-\frac{197}{2}}b^{99} + \frac{1}{1267466132787492305980543205376}a^{-\frac{199}{2}}b^{100} + \frac{1}{2534932265574984611961086410752}a^{-\frac{201}{2}}b^{101} + \frac{1}{5069864531149969223922172821504}a^{-\frac{203}{2}}b^{102} + \frac{1}{10139729062299938447844345643008}a^{-\frac{205}{2}}b^{103} + \frac{1}{20279458124599876895688691286016}a^{-\frac{207}{2}}b^{104} + \frac{1}{40558916249199753791377382572032}a^{-\frac{209}{2}}b^{105} + \frac{1}{81117832498399507582754765144064}a^{-\frac{211}{2}}b^{106} + \frac{1}{162235664996799015165509530288128}a^{-\frac{213}{2}}b^{107} + \frac{1}{324471329993598030331019060576256}a^{-\frac{215}{2}}b^{108} + \frac{1}{648942659987196060662038120152512}a^{-\frac{217}{2}}b^{109} + \frac{1}{1297885319974392121324076240305024}a^{-\frac{219}{2}}b^{110} + \frac{1}{2595770639948784242648152480610048}a^{-\frac{221}{2}}b^{111} + \frac{1}{5191541279897568485296304961220096}a^{-\frac{223}{2}}b^{112} + \frac{1}{10383082559795136970592609922440192}a^{-\frac{225}{2}}b^{113} + \frac{1}{20766165119590273941185219844880384}a^{-\frac{227}{2}}b^{114} + \frac{1}{41532330239180547882370439689760768}a^{-\frac{229}{2}}b^{115} + \frac{1}{83064660478361095764740879379521536}a^{-\frac{231}{2}}b^{116} + \frac{1}{166129320956722191529481758759043072}a^{-\frac{233}{2}}b^{117} + \frac{1}{332258641913444383058963517518086144}a^{-\frac{235}{2}}b^{118} + \frac{1}{664517283826888766117927035036172288}a^{-\frac{237}{2}}b^{119} + \frac{1}{1329034567653777532235854070072345536}a^{-\frac{239}{2}}b^{120} + \frac{1}{2658069135307555064471708140144690912}a^{-\frac{241}{2}}b^{121} + \frac{1}{5316138270615110128943416280289381824}a^{-\frac{243}{2}}b^{122} + \frac{1}{106322765412302202578868325605787664}a^{-\frac{245}{2}}b^{123} + \frac{1}{212645530824604405157736651211575328}a^{-\frac{247}{2}}b^{124} + \frac{1}{425291061649208810315473302423150656}a^{-\frac{249}{2}}b^{125} + \frac{1}{850582123298417620630946604846301312}a^{-\frac{251}{2}}b^{126} + \frac{1}{1701164246596835241261893209692602624}a^{-\frac{253}{2}}b^{127} + \frac{1}{3402328493193670482523786419385205248}a^{-\frac{255}{2}}b^{128} + \frac{1}{6804656986387340965047572838770410496}a^{-\frac{257}{2}}b^{129} + \frac{1}{13609313972774681930095145677540920992}a^{-\frac{259}{2}}b^{130} + \frac{1}{27218627945549363860190291355081841984}a^{-\frac{261}{2}}b^{131} + \frac{1}{54437255891098727720380582710163683968}a^{-\frac{263}{2}}b^{132} + \frac{1}{108874511782197455440761165420327379392}a^{-\frac{265}{2}}b^{133} + \frac{1}{217749023564394910881522330840654758784}a^{-\frac{267}{2}}b^{134} + \frac{1}{435498047128789821763044661681309517568}a^{-\frac{269}{2}}b^{135} + \frac{1}{870996094257579643526089323362619035136}a^{-\frac{271}{2}}b^{136} + \frac{1}{1741992188515159287052178646725238070272}a^{-\frac{273}{2}}b^{137} + \frac{1}{3483984377030318574104357293450476140544}a^{-\frac{275}{2}}b^{138} + \frac{1}{6967968754060637148208714586900952281088}a^{-\frac{277}{2}}b^{139} + \frac{1}{13935937508121274296417429173801904562176}a^{-\frac{279}{2}}b^{140} + \frac{1}{27871875016242548592834858347603809124352}a^{-\frac{281}{2}}b^{141} + \frac{1}{55743750032485097185669716695207618248704}a^{-\frac{283}{2}}b^{142} + \frac{1}{111487500064970194371339433390415236487008}a^{-\frac{285}{2}}b^{143} + \frac{1}{222975000129940388742678866780830472974016}a^{-\frac{287}{2}}b^{144} + \frac{1}{445950000259880777485357733561660945948032}a^{-\frac{289}{2}}b^{145} + \frac{1}{891900000519761554970715467123321891896064}a^{-\frac{291}{2}}b^{146} + \frac{1}{1783800001039523109941430934246643783792032}a^{-\frac{293}{2}}b^{147} + \frac{1}{3567600002079046219882861868493287567584064}a^{-\frac{295}{2}}b^{148} + \frac{1}{7135200004158092439765723736986575135168032}a^{-\frac{297}{2}}b^{149} + \frac{1}{1427040000831618487953144747397315027030064}a^{-\frac{299}{2}}b^{150} + \frac{1}{2854080001663236975906289494794630054060128}a^{-\frac{301}{2}}b^{151} + \frac{1}{5708160003326473951812578989589260108012256}a^{-\frac{303}{2}}b^{152} + \frac{1}{11416320006652947903625157979178520160024512}a^{-\frac{305}{2}}b^{153} + \frac{1}{22832640013305895807250315958357040320048032}a^{-\frac{307}{2}}b^{154} + \frac{1}{45665280026611791614500631916714080640096032}a^{-\frac{309}{2}}b^{155} + \frac{1}{91330560053223583229001263833428161280192032}a^{-\frac{311}{2}}b^{156} + \frac{1}{182661120106447166458002527666856322560384032}a^{-\frac{313}{2}}b^{157} + \frac{1}{365322240212894332916005055333712645120768032}a^{-\frac{315}{2}}b^{158} + \frac{1}{730644480425788665832010110667425290241536032}a^{-\frac{317}{2}}b^{159} + \frac{1}{1461288960851577331664020221334850580483072032}a^{-\frac{319}{2}}b^{160} + \frac{1}{2922577921703154663328040442669701160966048032}a^{-\frac{321}{2}}b^{161} + \frac{1}{5845155843406309326656080885339402321932096032}a^{-\frac{323}{2}}b^{162} + \frac{1}{11690311686812618653312161770678804643864096032}a^{-\frac{325}{2}}b^{163} + \frac{1}{23380623373625237306624323541357609287728096032}a^{-\frac{327}{2}}b^{164} + \frac{1}{46761246747250474613248647082715218575456096032}a^{-\frac{329}{2}}b^{165} + \frac{1}{93522493494500949226497294165430437150912096032}a^{-\frac{331}{2}}b^{166} + \frac{1}{18704498698900189845299458833086087430182096032}a^{-\frac{333}{2}}b^{167} + \frac{1}{37408997397800379690598917666172174860364096032}a^{-\frac{335}{2}}b^{168} + \frac{1}{7481799479560075938119783533234434972072096032}a^{-\frac{337}{2}}b^{169} + \frac{1}{14963598959120151876239567066468869944144096032}a^{-\frac{339}{2}}b^{170} + \frac{1}{29927197918240303752479134132937739888288096032}a^{-\frac{341}{2}}b^{171} + \frac{1}{59854395836480607504958268265875479776576096032}a^{-\frac{343}{2}}b^{172} + \frac{1}{11970879167296121500991653653175095955312096032}a^{-\frac{345}{2}}b^{173} + \frac{1}{23941758334592243001983307306350191910624096032}a^{-\frac{347}{2}}b^{174} + \frac{1}{47883516669184486003966614612700383821248096032}a^{-\frac{349}{2}}b^{175} + \frac{1}{95767033338368972007933229225400767642496096032}a^{-\frac{351}{2}}b^{176} + \frac{1}{191534066676737944015866458450801535284992096032}a^{-\frac{353}{2}}b^{177} + \frac{1}{383068133353475888031732916901603070569984096032}a^{-\frac{355}{2}}b^{178} + \frac{1}{766136266706951776063465833803206141139968096032}a^{-\frac{357}{2}}b^{179} + \frac{1}{1532272533413903552126931667606402282279936096032}a^{-\frac{359}{2}}b^{180} + \frac{1}{3064545066827807104253863335212804564559872096032}a^{-\frac{361}{2}}b^{181} + \frac{1}{6129090133655614208507726670425609129119744096032}a^{-\frac{363}{2}}b^{182} + \frac{1}{12258180267311228417015453340851218238239488096032}a^{-\frac{365}{2}}b^{183} + \frac{1}{24516360534622456834030906681702436476478976096032}a^{-\frac{367}{2}}b^{184} + \frac{1}{49032721069244913668061813363404872952957952096032}a^{-\frac{369}{2}}b^{185} + \frac{1}{98065442138489827336123626726809745905915904096032}a^{-\frac{371}{2}}b^{186} + \frac{1}{19613088427697965467224725345361949181020992096032}a^{-\frac{373}{2}}b^{187} + \frac{1}{3922617685539593093444945069072388836204096032}a^{-\frac{375}{2}}b^{188} + \frac{1}{78452353710791861868898901381447776720096032}a^{-\frac{377}{2}}b^{189} + \frac{1}{156904707421583723737797802762895553440192096032}a^{-\frac{379}{2}}b^{190} + \frac{1}{313809414843167447475595605525791106880384096032}a^{-\frac{381}{2}}b^{191} + \frac{1}{627618829686334894951191211051582213760768096032}a^{-\frac{383}{2}}b^{192} + \frac{1}{1255237659372669789902382422103164427521536096032}a^{-\frac{385}{2}}b^{193} + \frac{1}{2510475318745339579804764844206328855043072096032}a^{-\frac{387}{2}}b^{194} + \frac{1}{50209506374906791596095296884126577100801536096032}a^{-\frac{389}{2}}b^{195} + \frac{1}{100419012749813583192190593768253154201603072096032}a^{-\frac{391}{2}}b^{196} + \frac{1}{200838025499627166384381187536506308403203072096032}a^{-\frac{393}{2}}b^{197} + \frac{1}{40167605099925433276876237507301261680603072096032}a^{-\frac{395}{2}}b^{198} + \frac{1}{80335210199850866553752475014602523361203072096032}a^{-\frac{397}{2}}b^{199} + \frac{1}{160670420399701733107504950029205046722403072096032}a^{-\frac{399}{2}}b^{200} + \frac{1}{321340840799403466215009900058410093444803072096032}a^{-\frac{401}{2}}b^{201} + \frac{1}{642681681598806932430019800116820186880603072096032}a^{-\frac{403}{2}}b^{202} + \frac{1}{12853633631976138648600396002336403737603072096032}a^{-\frac{405}{2}}b^{203} + \frac{1}{25707267263952277297200792004672807475203072096032}a^{-\frac{407}{2}}b^{204} + \frac{1}{5141453452790455459440159400934561494403072096032}a^{-\frac{409}{2}}b^{205} + \frac{1}{10282906905580910918880318801869122988803072096032}a^{-\frac{411}{2}}b^{206} + \frac{1}{20565813811161821837760637603738245977603072096032}a^{-\frac{413}{2}}b^{207} + \frac{1}{41131627622323643675521275207476491955203072096032}a^{-\frac{415}{2}}b^{208} + \frac{1}{82263255244647287351042550414952983910403072096032}a^{-\frac{417}{2}}b^{209} + \frac{1}{164526510489294574702085100829905967820803072096032}a^{-\frac{419}{2}}b^{210} + \frac{1}{329053020978589149404170201659811935641603072096032}a^{-\frac{421}{2}}b^{211} + \frac{1}{658106041957178298808340403319623871283203072096032}a^{-\frac{423}{2}}b^{212} + \frac{1}{13162120839143565976166808066392477425664030720$

THEOR. III. The difference of any two square numbers is equal to the sum of the two roots, together with twice the sum of the numbers in the natural scale between the two roots.

Let the one number be $p$, and the other $p+n$, the intermediate numbers are $p+1,\; p+2,\; \backslash dots$ &c. $p+n-1$. The difference of the squares of the given numbers is $2pn+n^2$; the sum of the two roots is $2p+n$, and twice the sum of the series $p+1+p+2\; \backslash dots$ &c. $p+n-1$ is (by Cor. 1. 1st Sect. of this Chap.) $2r=2p+n\; \backslash times\; n-1$, viz. the sum of the first and last multiplied by the number of terms, and it is plain that $2p+n+2p+n\; \backslash times\; n-1=2pn+n^2$. Therefore, &c.

Lem. 1. Let $r$ be any number, and $n$ any integer, $r^n-1$ is divisible by $r-1$.

The quotient will be $r^\{n-1\}+r^\{n-2\}\; \backslash dots$ &c. till the index of $r$ be 0, and then the last term of it will be 1; for if this series be multiplied by the divisor $r-1$, it will produce the dividend $r^n-1$. It will appear also by performing the division, and inserting for $n$ any number.

Lem. 2. Let $r$ be any number, and $n$ any integer odd number, $r^n+1$ is divisible by $r+1$. Also, if $n$ is any even number, $r^n-1$ is divisible by $r+1$.

The quotient in both cases is $r^\{n-1\}-r^\{n-2\}\; \backslash dots$ &c. till the exponent of $r$ be 0, and the last term $r^0=1$. If this series consist of an odd number of terms, and be multiplied by $r+1$ the divisor, the product is $r^n+1$ the dividend. If the series consist of an even number of terms, the product is $r^n-1$; but it is plain that the number of terms will be odd only when $n$ is odd, and even only when $n$ is even. The conclusion will be manifest by performing the division.

Lem. 3. If $r$ is the root of an arithmetical scale, any number in that scale may be represented in the following manner, $a,\; b,\; c,\; \backslash dots$ &c. being the coefficients of digits, $a+br+cr^2+dr^3+er^4,\; \backslash dots$ &c.

THEOR. IV. If from any number in the general scale now described, the sum of its digits be subtracted, the remainder is divisible by $r-1$.

The number is $a+br+cr^2+dr^3,\; \backslash dots$ &c. and the sum of the digits is $a+b+c+d,\; \backslash dots$ &c. Subtracting the latter from the former, the remainder is $br-b+cr^2-c+dr^3-d,\; \backslash dots$ &c. $\backslash equiv\; br\; \backslash times\; -1\; +\; c\; \backslash times\; r^2\; -\; 1\; +\; d\; \backslash times\; r^3\; -\; 1,\; \backslash dots$ &c. But (by Lem. 1.) $r^n-1$ is divisible by $r-1$, whatever integer number $n$ may be, and therefore any multiple of $r^n-1$ is also divisible by $r-1$: Hence each of the terms, $br\; \backslash times\; -1,\; c\; \backslash times\; r^2\; -\; 1,\; \backslash dots$ &c. is divisible by $r-1$, and therefore the whole is divisible by $r-1$.

Cor. 1. Any number, the sum of whose digits is divisible by $r-1$, is itself divisible by $r-1$. Let the number be called $N$, and the sum of the digits $D$; then by this prop. $N-D$ is divisible by $r-1$, and $D$ is supposed to be divisible by $r-1$; therefore it is plain that $N$ must also be divisible by $r-1$.

Cor. 2. Any number, the sum of whose digits is divisible by an aliquot part of $r-1$, is also divisible by that aliquot part. For, let $N$ and $D$ denote as before; and since $N-D$ (Theor. 4.) is divisible by $r-1$, it is also divisible by an aliquot part of $r-1$; but $D$ is divisible by an aliquot part of $r-1$, therefore $N$ is also divisible by that aliquot part.

Cor. 3. This theorem, with the corollaries, relates to any scale whatever. It includes therefore the well known property of 9 and of 3 its aliquot part, in the decimal scale; for, since $r=10,\; r-1=9$.

THEOR. V. In any number, if from the sum of the coefficients of the odd powers of $r$ the sum of the coefficients of the even powers be subtracted, and the remainder added to the number itself, the sum will be divisible by $r+1$.

In the number $a+br+cr^2+dr^3+er^4+fr^5,\; \backslash dots$ the sum of the coefficients of the odd powers of $r$ is $b+d+f,\; \backslash dots$ &c. the sum of the coefficients of the even powers of $r$ is $a+c+e,\; \backslash dots$ &c. If the latter sum be subtracted from the former, and the remainder added to the given number, it makes $br+b+cr^2-c+dr^3+d+er^4+fr^5+f,\; \backslash dots$ &c. $\backslash equiv\; b\; \backslash times\; r+1\; +\; c\; \backslash times\; r^2\; -\; 1\; +\; d\; \backslash times\; r^3\; +\; 1\; +\; e\; \backslash times\; r^4\; -\; 1\; +\; f\; \backslash times\; r^5\; +\; 1,\; \backslash dots$ &c. But (by Lem. 2.) $r+1,\; r^2+1,\; r^3+1,\; \backslash dots$ &c. are each divisible by $r+1$, and therefore any multiples of them are also divisible by $r+1$, hence the whole number is divisible by $r+1$.

Cor. 1. If the difference of the sum of the even digits, and the sum of the odd digits of any number be divisible by $r+1$, the number itself is divisible by $r+1$.

Let the sum of the even digits (that is, the coefficients of the odd powers of $r$) be $D$, the sum of the odd digits be $d$, and let the number be $N$. Then by the theorem $N+D-d$ is divisible by $r+1$, and it is supposed that $D-d$ is divisible by $r+1$; therefore $N$ is divisible by $r+1$.

Cor. 2. In like manner, if $D-d$ is divisible by an aliquot part of $r+1$, $N$ will be divisible by that aliquot part.

Cor. 3. If a number want all the odd powers of $r$, or if it want all the even powers of $r$, and if the sum of its digits be divisible by $r+1$, that number is divisible by $r+1$.

Cor. 4. In the common scale $r+1=11$, which therefore will have the properties mentioned in this theorem, and the corollaries. Thus, in the number 64,834, the sum of the even digits is 7, the sum of the odd digits is 18, and the difference is 11, a number divisible by 11, the given number therefore (Cor. 1.) is divisible by 11. Thus also, the sum of the digits of 7040308 is divisible by 11, and therefore the number is divisible by 11. (Cor. 3.)

These theorems relate to any scale whatever, and therefore the properties of $r-1$ in Theor. 4. would in a scale of eight belong to seven, and those in Theor. 5. to nine. If twelve was the root of the scale, the former properties would belong to eleven, and the latter to thirteen.

ALGEBRA may be employed in expressing the relations of magnitude in general, and in reasoning with regard to them. It may be used in deducing not only the relations of number, but also those of extension, and hence those of every species of quantity expressible by numbers or extended magnitudes. In this appendix are mentioned some examples of its application to other parts of mathematics, to physics, and to the

the practical calculations of business. The principles and suppositions peculiar to these subjects, which are necessary in directing both the algebraical operations, and the conclusions to be drawn from them, are here assumed as just and proper.

I. Application of Algebra to Geometry.

Algebra has been successfully applied to almost every branch of mathematics; and the principles of these branches are often advantageously introduced into algebraical calculations.

The application of it to geometry has been the source of great improvement in both these sciences; on account of its extent and importance it is here omitted, and the principles of it are more particularly explained in the third part of these elements.

In this place shall be given an example of the use of logarithms in resolving certain algebraical questions.

Note. When logarithms are used, let $(l.)$ denote the logarithm of any quantity before which it is placed.

Ex. To find the number of terms of a geometrical series, of which the sum is 511, the first term 1, and the common ratio 2.

From sect. 2. chap. 6. it appears that $s\; =\; \backslash frac\{ar^n\; -\; a\}\{r\; -\; 1\}$, and in this problem, $s$, $r$, and $a$ are given, and $n$ is to be found. By reducing the equation $r^n\; =\; \backslash frac\{s\; \backslash times\; r\; -\; 1\; +\; a\}\{a\}$ and from the known property of logarithms $n\; \backslash times\; l.r\; =\; l.s\; \backslash times\; r\; -\; 1\; +\; a\; -\; l.a$, and $n\; =\; \backslash frac\{l.s\; \backslash times\; r\; -\; 1\; +\; a\; -\; l.a\}\{l.r\}$. But here $s\; =\; 511$, $a\; =\; 1$, $r\; =\; 2$, and $n\; =\; \backslash frac\{l.512\}\{l.2\}\; =\; \backslash frac\{2.7092700\}\{0.3010300\}\; =\; 9$.

In like manner may any such equation be resolved, when the only unknown quantity is an exponent, and when it is the exponent only of one quantity.

Ex. 2. An equation of the following quadratic form $a^x\; =\; 2ba^x\; =\; c$ may be resolved by logarithms. 1st, by scholium of Chap. V. $a^x\; =\; \backslash pm\; b\; \backslash pm\; \backslash sqrt\{b^2\; \backslash pm\; c\}$. And then $x$ is discovered in the same manner as in the preceding example. Thus, let $a\; =\; 2$, $b\; =\; 10$, and $c\; =\; 96$ and the equation $2^x\; =\; 20\; \backslash times\; 2^x\; =\; 96$. 1st, $2^x\; =\; 10\; \backslash pm\; \backslash sqrt\{4\}\; =\; 12$ or 8. If $2^x\; =\; 8$ then $x\; =\; \backslash frac\{l.8\}\{l.2\}\; =\; 3$ and $2^6\; =\; 20\; \backslash times\; 2^3\; =\; 96$ is a true equation. If $2^x\; =\; 12$, then $x\; =\; \backslash frac\{l.12\}\{l.2\}\; =\; \backslash frac\{1.0791812\}\{0.3010300\}\; =\; 3.5849$, and this number being inserted for $x$ in the given equation, by means of logarithms, will answer the conditions.

Ex. 3. The sum of 2000l. has been out at interest for a certain time, and 500l. has been at interest double of that time, the whole arrear now due reckoning 4 per cent. compound interest, is 6000l. What were the times?

By the rules in the third part of this appendix for compound interest, it is plain that if $R\; =\; 1.04$, and the time at which the 2000l. is at interest be $x$, the arrear of it will be $2000\; \backslash times\; R^x$. The arrear of the 500l. is $500\; \backslash times\; R^\{2x\}$, hence $2000\; \backslash times\; R^x\; +\; 500\; \backslash times\; R^\{2x\}\; =\; 6000$. This
No 11.

resolved gives $R^x\; =\; 2$ and $x\; =\; \backslash frac\{l.2\}\{l.R\}\; =\; 17.67$, + nearly, that is, 17 years and 8 months nearly, and the double is 35 years and 4 months; which answer the conditions.

II. Application of Algebra to Physics.

Physical quantities which can be divided into parts, that have proportions to each other, the same as the proportions of lines to lines, or of numbers to numbers, may be expressed by lines and numbers, and therefore by algebraical quantities. Hence these mathematical notations may be considered as the measures of such physical quantities; they may be reasoned upon according to the principles of algebra, and from such reasonings, new relations of the quantities which they represent may be discovered.

In those branches of natural philosophy, therefore, in which the circumstances of the phenomena can be properly expressed by numbers, or geometrical magnitudes, algebra may be employed, both in promoting the investigation of physical laws by experience, and also in deducing the necessary consequences of laws investigated and presumed to be just.

It is to be observed likewise, that if various hypotheses be assumed concerning physical quantities, without regard to what takes place in nature, their consequences may be demonstratively deduced, and thus a science may be established, which may be properly called mathematical. The use of algebra in this science, which is sometimes called Theoretical Mechanics, is obvious from the principles already laid down.

In conducting these inquiries, it is to be observed, that, for the sake of brevity, the language of algebraical operations is often used with regard to physical quantities themselves; though it is always to be understood, that, in strict propriety, it can be applied only to the mathematical notations of these quantities.

Before illustrating this application of algebra by examples, it may be proper to explain a method of stating the proportion of variable quantities, and reasoning with regard to it, which is of general use in natural philosophy.

1. Of the Proportion of variable Quantities.

Mathematical quantities are often so connected, that when the magnitude of one is varied, the magnitudes of the others are varied, according to a determined rule. Thus, if two straight lines, given in position, intersect each other; and, if a straight line, cutting both, moves parallel to itself, the two segments of the given lines between their intersection and the moving line, however varied, will always have the same proportion. Thus also, if an ordinate to the diameter of a parabola move parallel to itself, the abscissa will be increased or diminished in proportion as the square of the ordinate is increased or diminished.

In like manner may algebraical quantities be connected. If represent any variable quantities, while $a,\; b,\; c,$ represent such as are constant or invariable, then an equation containing two or more variable quantities, with any number of constant quantities, will exhibit a relation of variable quantities, similar to those already mentioned. Thus, if $ax\; =\; by$, then $x\; :\; y\; ::\; b\; :\; a$, that is, $x$ has a constant proportion to $y$,
in

Of Equations. in whatever way these two quantities may be varied. Likewise, if $xy^2\; =\; a^2b$, then $y^2:a^2::b:x$, or $y^2:\backslash frac\{1\}\{x\}::a^2$, that is, $y^2$ has a constant proportion to the reciprocal of $x$, or $y^2$ is increased in the same proportion as $x$ is diminished, and conversely. It is necessary to premise the following definitions.

Let there be any number of variable quantities, $X,\; Y,\; Z,\; V$, &c. connected in such a manner, that when $X$ becomes $x,\; Y,\; Z,\; V$, &c. becomes respectively $y,\; z,\; v$, &c. And let $a,\; b,\; c$, &c. represent any constant quantities, whether given or unknown. Then

1. If two variable quantities $X$ and $Y$ are so connected, that whatever be the values of $x$ and $y$, $X:x::Y:y$, this proportion is expressed thus, $X=Y$, and $X$ is said to be directly as $Y$, or shortly, $X$ is said to be as $Y$.

2. If two variable quantities $X$ and $Y$ are so connected, that $X:x::Y:y$, or $X:x::\backslash frac\{1\}\{Y\}:\backslash frac\{1\}\{y\}$, their relation is thus expressed, $X=\backslash frac\{1\}\{Y\}$; and $X$ is said to be inversely, or reciprocally as $Y$.

3. If $X,\; Y,\; Z$, are three variable quantities, so connected, that $X:x::YZ:yz$, their relation is so expressed, $X=YZ$, and $X$ is said to be directly as $Y$ and $Z$, jointly; or $X$ is said to be as $Y$ and $Z$.

4. If any number of variable quantities as $X,\; Y,\; Z,\; V$, &c. are so connected, that $X:Y::YZ:yz$; then $X=YZ$, and $X$ is said to be directly as $YZ$, and inversely as $V$, or more explicitly, $X$ and $Y$ jointly, are directly as $Y$ and $Z$ jointly, and inversely as $V$.

In like manner are other combinations of variable quantities denoted and expressed.

It is to be observed also, the same definitions take place, when the variable quantities are multiplied or divided by any constant quantities. Thus, if $aX:ax::\backslash frac\{b\}\{Y\}:\backslash frac\{b\}\{y\}$ then $aX=\backslash frac\{b\}\{Y\}$, &c.

5. Let the preceding notation of proportion be called a proportional equation ($\backslash Lambda$), the equations formerly treated of being in this place, for the sake of distinction, called absolute.

Cor. Every absolute equation, containing more than one variable quantity, may be considered as a proportional equation; and in a proportional equation, if at any particular corresponding values of the variable quantities, the equation becomes absolute, it will be universally absolute.

Prop. 1. If one side of a proportional equation be either multiplied or divided by any constant quantity, it will continue to be true. Thus, if $X=\backslash frac\{1\}\{Y\}$, then

$X=\backslash frac\{a^2\}\{bY\}$. For since $X=\backslash frac\{1\}\{Y\}$ (Def. 3.) $X:x::\backslash frac\{1\}\{Y\}:\backslash frac\{1\}\{y\}$ Of Equations. it follows, (Chap. II.) that $X:x::\backslash frac\{a^2\}\{bY\}:\backslash frac\{a^2\}\{by\}$, therefore (Def. 4.) $X=\backslash frac\{a^2\}\{bY\}$.

Prop. 2. If the two sides of a proportional equation be both multiplied, or both divided by the same quantity, it will continue to be true.

1^st. If the quantity be constant, it is manifest from Prop. 1.

2^d. If the quantity be variable, let $X=Y$, and $Z$ a variable quantity, then $XZ=YZ$. For, since $X=Y$, (Def. 2.) $X:x::Y:y$; multiply the antecedents by $Z$, and the consequents by $z$, then $XZ:YZ::YZ:yz$, therefore (Def. 5.) $XZ=YZ$. In like manner, if $X=Y$, $\backslash frac\{X\}\{Z\}=\backslash frac\{Y\}\{z\}$.

Cor. Any variable quantity, which is a factor of one side of a proportional equation, may be made to stand alone. Thus, if $XZ=\backslash frac\{Z\}\{V\}$, then $X=\backslash frac\{Z\}\{VZ\}$; also, $Z=XV$; and $Y=\backslash frac\{Z\}\{XV\}$, and also $V=\backslash frac\{Z\}\{XY\}$, &c. Hence, also, if one side of a proportional equation be divided by the other, the quotient is a constant quantity, viz. 1.

Prop. 3. If two proportional equations have a common side, the remaining two sides will form a proportional equation. Also, that common side will be as the sum or difference of the other two.

Thus, if $X=Y$, and $Y=Z$, then $X=Z$. For $X:x::Y:y$, and $Y:y::Z:z$, therefore multiplying these ratios, $X:Y::YZ:yz$, and by dividing antecedents and consequents, $X:x::Z:z$, therefore (Def. 2.) $X=Z$.

Likewise, if $X=Y$, and $Y=Z$, $Y=X+Z$. For, since $X:x::Y:y::Z:z$ (Chap. II.) $Y:y::X+Z$; $x+z$, therefore Def. 5. $Y=X+Z$.

Cor. Hence, one side of a proportional equation will be as the sum, or as the difference of the two sides; and the sum of the two sides will be as their difference. Thus, if $X=Y+Z$, then $X=X+Y+Z$ and $X=X-Y-Z$, and also $X+Y+Z=X-Y-Z$.

Prop. 4. If the two sides of a proportional equation be respectively multiplied or divided by the two sides of any other proportional equation, the products or quotients will form a proportional equation.

Thus, if $X=Y$, and $Z=V$, then $XZ=YV$. For since $X:x::Y:y$, and $Z:z::V:v$, by multiplying these proportions (Chap. I. II.) $XZ:YZ::YV:zV$, therefore (Def. 5.) $XZ=YV$. In like manner in the case of division.

Cor. 1. The two sides of a proportional equation may be raised to any power, or any root may be extracted out of both, and the equation will continue to be true.

Thus, if $X=Y$, then $X^m=Y^m$; for since $X=Y$, $X:x$

($\backslash Lambda$) These terms are used only with a view to give more precision to the ideas of beginners. In order to avoid the ambiguity in the meaning of the sign $=$, some writers employ the character $\backslash propto$, to denote constant proportion; but this is seldom necessary, as the quantities compared are generally of different kinds, and the relation expressed is sufficiently obvious. See Emerson's Mathematics, vol. I.

Of Equations. $X:x::Y:y$, and therefore $X^m:x^m::Y^m:y^m$; therefore $X^m=Y^m$. And, if $X=y$, also $X^m=y^m$.

Cor. 2. If two proportional equations have a common side, that side will be as the square root of the product of the other two. Thus if $X=Y$, and $Y=Z$, by this Prop. $Y^2=XZ$, and (Cor. 1.) $Y=\backslash sqrt\{XZ\}$. Hence also, in this case, $\backslash sqrt\{XZ\}=X\; \backslash pm\; Z$; for (Prop. 3.) $Y=X\; \backslash pm\; Z$.

Cor. 3. If one side of a proportional equation be a factor of a side of another proportional equation, the remaining side of the former may be inserted in the latter, in place of that factor. Thus, if $X=ZY$, and $Z=\backslash frac\{1\}\{Y\}$, then $X=\backslash frac\{Y\}\{Y\}$, as appears by multiplying the two equations, and dividing by $Z$.

Prop. 5. Any proportional equation may be made absolute, by multiplying one side by a constant quantity.

Thus, if $X=Y$, then let two particular corresponding values of these variable quantities be assumed as constant, and let them be $a$ and $b$, then $X:a::Y:b$, and $Xb=aY$, or $X=Y\; \backslash times\; \backslash frac\{a\}\{b\}$, an absolute equation.

Scholium.

1. If there be two variable physical quantities, either of the same, or of different kinds, which are so connected, that when the one is increased or diminished, the other is increased or diminished in the same proportion; or, if the magnitudes of the one, in any two situations, have the same ratio to each other, as the magnitudes of the other in the corresponding situations, the relation of the mathematical measure of these quantities may be expressed by a proportional equation, according to Def. 1.

2. If two variable physical quantities be so connected, that the one increases in the same proportion as the other is diminished, and conversely; or, if the magnitudes of the one, in any two situations, be reciprocally proportional to the magnitudes of the other, in the corresponding situations, the relation of their measures may be expressed by a proportional equation, according to Def. 2.

3. If three variable physical quantities are so connected, that one of them is increased or diminished, in proportion as both the others are increased or diminished; or, if the magnitudes of one of them, in any two situations, have a ratio which is compounded of the ratios of the magnitudes of the other two, in the corresponding situations; the relation of the measures of these three may be expressed by a proportional equation, according to Def. 3.

4. In like manner may the relations of other combinations of physical quantities be expressed according to Def. 4. And when these proportional equations are obtained, by reasoning with regard to them, according to the preceding propositions, new relations of the physical quantities may be deduced.

2. Examples of Physical Problems.

The use of algebra, in natural philosophy, may be properly illustrated by some examples of physical problems. The solution of such problems must be derived from known physical laws, which, though ultimately

founded on experience, are here assumed as principles, and reasoned upon mathematically. The experiments by which the principles are ascertained admit of various degrees of accuracy; and on the degree of physical accuracy in the principles will depend the physical accuracy of the conclusions mathematically deduced from them. If the principles are inaccurate, the conclusions must, in like manner, be inaccurate; and, if the limits of inaccuracy in the principles can be ascertained, the corresponding limits, in the conclusions derived from them, may likewise be calculated.

Examp. 1. Let a glass tube, 30 inches ($a$) long, be filled with mercury, excepting 8 inches ($b$); and let it be inverted as in the Toricellian experiment, so that the 8 inches of common air may rise to the top: It is required to find at what height the mercury will remain suspended, the mercury in the barometer being at that time 28 inches ($d$) high.

The solution of this problem depends upon the following principles:

1. The pressure of the atmosphere is measured by the column of mercury in the barometer; and the elastic force of the air, in its natural state, which resists this pressure, is therefore measured by the same column.

2. In different states, the elastic force of the air is reciprocally as the spaces which it occupies.

3. In this experiment, the mercury which remains suspended in the tube, together with the elastic force of the air in the top of it, being a counterbalance to the pressure of the atmosphere, may therefore be expressed by the column of mercury in the barometer.

Let the mercury in the tube be $x$ inches, the air in the top of it occupies now the space $a-x$; it occupied formerly $b$ inches, and its elastic force was $d$ inches of mercury: Now, therefore, the force must be $(a-x):b::d$.

$\backslash frac\{bd\}\{a-x\}$ inches. (2.) Therefore (3.) $x\; +\; \backslash frac\{bd\}\{a-x\}\; =\; d$. This reduced, and putting $a+d=2m$ the equation is $x^2-2mx=bd-ad$.

This resolved gives $x=m\; \backslash pm\; \backslash sqrt\{m^2+bd-ad\}$.

In numbers $x=44$ or $14$.

One of the roots 44 is plainly excluded in this case, and the other, 14, is the true answer. If the column of mercury $x$, suspended in the tube, were a counterbalance to the pressure of the atmosphere, expressed by the height of the barometer $d$, together with the measure of the elastic force of $b$ inches of common air in the space $x-a$, that is, if $x=d\; +\; \backslash frac\{bd\}\{x-a\}$, or $x\; -\; \backslash frac\{bd\}\{x-a\}\; =\; d$, the equation will be the same as before, and the root 44 would be the true answer. But the experiment in this question does not admit of such a supposition.

Examp. 2. The distance of the earth and moon ($d$), and their quantities of matter ($t,\; l$), being given, to find the point of equal attraction between them.

Let the distance of the point from the earth be $x$: Its distance from the moon will be therefore $d-x$. But gravitation is as the matter directly, and as the square of the distance inversely; therefore the earth's attraction is as $\backslash frac\{t\}\{x^2\}$; and the moon's attraction is as $\backslash frac\{l\}\{(d-x)^2\}$. But these are here equal; therefore,

This equation reduced gives $x\; =\; \backslash frac\{d\backslash sqrt\{t\}\}\{\backslash sqrt\{t\}\; +\; \backslash sqrt\{l\}\}$

Or mult. numerator and denominator by $\backslash sqrt\{t\}\; -\; \backslash sqrt\{l\}$ } $x\; =\; \backslash frac\{dt\; -\; d\backslash sqrt\{tl\}\}\{t-l\}$

In round numbers, let $d=60$ femidiameters of the earth, $t=40$, $l=1$, then $x=52$ femidiameters nearly. There is another point beyond the moon at which the attractions are equal, and it would be found by putting the square root of $d-x^2$ to be $x-d$, which, in this case, would be a positive quantity; and then $x\; =\; \backslash frac\{dt+d\backslash sqrt\{tl\}\}\{t-l\}\; =\; 72$ nearly. If the quantities had been multiplied before extracting the square roots, the affected quadratic would have given the same two roots.

Examp. 3. Let a stone be dropt into an empty pit; and let the time from the dropping of it to the hearing the sound from the bottom be given: To find the depth of the pit.

Let the given time be $a$; let the fall of a heavy body in the 1st second of time (16.122 feet) be $b$; also, let the motion of sound in a second (1142 feet) be $c$.

This equation being resolved, gives the value of $x$, and from it may be got $bx^2$ or $ca-cx$, the depth of the pit.

If the time is 10", then $x=8.885$ nearly, and the depth is 1273 feet.

There are several circumstances in this problem which render the conclusion inaccurate.

1. The values of $c$ and $b$, on which the solution is founded, are derived from experiments, which are subject to considerable inaccuracies.

2. The resistance of the air has a great effect in retarding the descent of heavy bodies, when the velocity becomes so great as is supposed in this question; and this circumstance is not regarded in the solution.

3. A small error, in making the experiment to which this question relates, produces a great error in the conclusion. This circumstance is particularly to be attended to in all physical problems; and, in the present case, without noticing the preceding imperfections, an error of half a second, in estimating the time, makes an error of above 100 feet in the expression of the depth of the pit.

III. Of Interest and Annuities.

The application of algebra to the calculation of interests and annuities, will furnish proper examples of its use in business. Algebra cannot determine the propriety or justice of the common suppositions on which these calculations are founded, but only the necessary conclusions resulting from them.

In the following theorems let $p$ denote any principal sum of which 1 l. is the unit, $t$ the time during which it bears interest, of which one year shall be the unit, $r$ the rate of interest of 1 l. for one year, and let $s$ be the amount of the principal sum $p$ with its interest for the time $t$ at the rate $r$.

I. Of Simple Interest.

$s\; =\; p\; +\; prt$, and of these four, $s,\; p,\; t,\; r$, any three being given, the fourth may be found by resolving a simple equation.

The foundation of the canon is very obvious; for the interest of 1 l. in one year is $r$, for $t$ years it is $tr$, and for $p$ pounds it is $ptr$; the whole amount of principal and interest must therefore be $p\; +\; ptr\; =\; s$.

II. Of Compound Interest.

When the simple interest at the end of every year is supposed to be joined to the principal sum, and both to bear interest for the following year, money is said to bear compound interest. The same notation being used, let $1+r=R$. Then $s\; =\; pR^t$.

For the simple interest of 1 l. in a year is $r$, and the new principal sum therefore which bears interest during the second year is $(1+r)=R$; the interest of $R$ for a year is $rR$, and the amount of principal and interest at the end of the 2d year, is $R+rR=R\; \backslash times\; 1+r=R^2$. In like manner, at the end of the 3d year it is $R^3$, and at the end of $t$ years it is $R^t$, and for the sum $p$ it is $pR^t\; =\; s$.

Cor. 1. Of these four $p,\; R,\; t,\; s$, any three being given the 4th may be found. When $t$ is not very small, the solution will be obtained most conveniently by logarithms. When $R$ is known $r$ may be found, and conversely.

Ex. If 500 l. has been at interest for 21 years, the whole arrear due, reckoning $4\backslash frac\{1\}\{2\}$ per cent. compound interest, is 1260.12 l. or 1260 l. 2s. 5d. In this case $p=500$, $R=1.045$ and $t=21$ and $s=1260.12$, and any one of these may be derived by the theorem from the others being known. Thus, to find $s$; $l.R^t\; =\; t\; \backslash times\; l.R\; =\; 21\; \backslash times\; 0.0191163\; =\; 0.4014423$, therefore $R^t\; =\; 2.520242$ and $s\; =\; (pR^t)\; =\; 500\; \backslash times\; 2.520242\; =\; 1260.121$.

Cor. 2. The present worth of a sum ($s$) in reversion that is payable after a certain time $t$ is found thus. Let the present worth be $x$, then this money improved by compound interest during $t$ produces $xR^t$, which must be equal to $s$, and if $xR^t\; =\; s$, $x\; =\; \backslash frac\{s\}\{R^t\}$.

Cor. 3. The time in which a sum is doubled at compound interest will be found thus. $pR^t\; =\; 2p$ and $R^t\; =\; 2$ and $t\; =\; \backslash frac\{l.2\}\{l.R\}$; thus, if the rate is 5 per cent. $r=.05$ and

Many other suppositions might be made with regard to the improvement of money by compound interest. The interest might be supposed to be joined to the capital, and along with it to bear interest at the end of every

every month, at the end of every day, or even at the end of every instant, and suitable calculations might be formed; but these suppositions, being seldom used in practice, are omitted.

An annuity is a payment made annually for a certain term of years, and the chief problem with regard to it is, 'to determine its present worth.' The supposition on which the solution proceeds is, that the money received by the seller, being improved by him in a certain manner during the continuance of the annuity, amounts to the same sum as the several payments received by the purchaser, improved in the same manner. The suppositions with regard to the improvement may be various. What is called the method of simple interest, in which simple interest only is reckoned upon the purchase-money, and simple interest on each annuity from the time of payment, is so manifestly inequitable, as to be universally rejected; and the supposition which is now generally admitted in practice, is the highest improvement possible on both sides, viz. by compound interest. As the taking compound interest is prohibited by law, the realizing of this supposed improvement requires punctual payment of interest, and therefore the interest in such calculations is usually made low. Even with this advantage, it can hardly be rendered effectual in its full extent; it is however universally acquiesced in, as the most proper foundation of general rules; and when peculiar circumstances require any different hypothesis, a suitable calculation may be made.

Let then the annuity be called $a$, and let $p$ be the present worth of it or purchase-money, $t$ the time of its continuance, and let the other letters denote as formerly.

The seller, by improving the price received $p$, at compound interest, at the time the annuity ceases, has $pR^t$.

The purchaser is supposed to receive the first annuity $a$ at the end of the first year, which is improved by him for $t-1$ years; it becomes therefore (Th. 2.) $aR^\{t-1\}$.

He receives the 2d annuity at the end of the 2d year, and when improved $t-2$, it becomes $aR^\{t-2\}$.

The third annuity becomes $aR^\{t-3\}$, &c.

The last annuity is simply $a$, therefore the whole amount of the improved annuities is the geometrical series $a\; +\; aR\; +\; aR^2$, &c. $\backslash dots\; aR^\{t-1\}$. The sum of this series, by Chap. VI. Sect. 2. is $a\; \backslash times\; \backslash frac\{R^t\; -\; 1\}\{R\; -\; 1\}\; =\; a\; \backslash times\; \backslash frac\{R^t\; -\; 1\}\{r\}$.

But, from the nature of the problem, $pR^t\; =\; a\; \backslash times\; \backslash frac\{R^t\; -\; 1\}\{r\}$,

and hence $p\; =\; a\; \backslash times\; \backslash frac\{R^t\; -\; 1\}\{rR^t\}\; =\; a\; \backslash times\; 1\; -\; \backslash frac\{1\}\{rR^t\}$.

The same conclusion results from calculating the present worth of the several annuities, considered as sums payable in reversion.

Cor. 1. Of these four $p$, $a$, $R$, $t$, any three being given, the fourth may be found, by the solution of equations; $t$ is found easily by logarithms, $R$ or $r$ can be

found only by resolving an affected equation of the Of Equa-
t order. tions.

Cor. 2. If an annuity has been unpaid for the term $t$, the arrear, reckoning compound interest, will be $a\; \backslash times\; \backslash frac\{R^t\; -\; 1\}\{r\}$.

Cor. 3. The present worth of an annuity in reversion, that is to commence after a certain time ($n$), and then to continue $t$ years, is found by subtracting the present worth for $n$ years from the present worth for $n+t$ years, and then

Also of $R$, $t$, $n$, $a$, $p$, any four being given, the fifth may be found.

Cor. 4. If the annuity is to continue for ever, then $R^t\; -\; 1$ and $R^t$ may be considered as the same; and $p\; =\; a\; \backslash times\; \backslash frac\{R^t\; -\; 1\}\{rR^t\}\; =\; \backslash frac\{a\}\{r\}$.

Cor. 5. A perpetuity in reversion (by Cor. 3.) since $R^t\; -\; 1\; =\; R^t$, is $p\; =\; \backslash frac\{a\}\{rR^n\}$.

Prob. When 12 years of a lease of 21 were expired, a renewal for the same term was granted for 1000l.; 8 years are now expired, and for what sum must a corresponding renewal be made, reckoning 5 per cent. compound interest?

From the first transaction the yearly profit rent must be deduced; and from this the proper fine in the second may be computed.

In the first bargain, an annuity in reversion for 12 years, to commence 9 years hence, was sold for 1000l. the annuity will therefore be found by Cor. 3. in which

all the quantities are given, but $a\; =\; p\; \backslash times\; \backslash frac\{rR^n\}\{1\; -\; \backslash frac\{1\}\{R^t\}\}$.

and by inserting numbers, viz. $p\; =\; 1000$, $t\; =\; 12$, $n\; =\; 9$, $r\; =\; .05$, and $R\; =\; 1.05$; and working by logarithms $a\; =\; 175.029\; =\; 175l.\; 2s.\; 7d.$

Next, having found $a$, the second renewal is made by finding the present worth of the annuity $a$ in reversion, to commence 13 years hence, and to last 8 years. In the canon (Cor. 3.) insert for $a$ 175.029, and let $t\; =\; 8$, $n\; =\; 13$, and $r\; =\; .05$ as before, $p\; =\; 599.93\; =\; 599l.\; 18s.\; 6\backslash frac\{1\}\{2\}d.$ The fine required.

As these computations often become troublesome, and are of frequent use, all the common cases are calculated in tables, from which the value of any annuity, for any time, at any interest, may easily be found.

It is to be observed also, that the preceding rules are computed on the supposition of the annuities being paid yearly; and therefore, if they be supposed to be paid half yearly, or quarterly, the conclusions will be somewhat different, but they may easily be calculated on the preceding principles.

The calculations of life annuities, depend partly upon the principles now explained, and partly on physical principles, from the probable duration of human life, as deduced from bills of mortality.

Of the Origin and Composition of Equations; and of the Signs and Coefficients of their Terms.

IN order to resolve the higher orders of equations, and to investigate their general affections, it is proper first to consider their origin from the combination of inferior equations.

As it would be impossible to exhibit particular rules for the solution of every order of equations, their number being indefinite; there is a necessity of deducing rules from their general properties, which may be equally applicable to all.

In the application of algebra to certain subjects, and especially to geometry, there may be an opposition in the quantities, analogous to that of addition and subtraction, which may therefore be expressed by the signs $+$ and $-$. Hence these signs may be understood by abstraction, to denote contrariety in general; and therefore, in this method of treating of equations, negative roots are admitted as well as positive. In many cases the negative will have a proper and determinate meaning; and when the equation relates to magnitude only, where contrariety cannot be supposed to exist, these roots are neglected, as in the case of quadratic equations formerly explained. There is besides this advantage in admitting negative roots, that both the properties of equations from which their resolution is obtained, and also those which are useful in the many extensive applications of algebra, become more simple and general, and are more easily deduced.

In this general method, all the terms of any equation are brought to one side, and the equation is expressed by making them equal to 0. Therefore, if a root of the equation be inserted instead of $(x)$ the unknown quantity, the positive terms will be equal to the negative, and the whole must be equal to 0.

Def. When any equation is put into this form, the term in which $(x)$ the unknown quantity, is of the highest power, is called the First; that in which the index of $x$ is less by 1, is the Second, and so on, till the last into which the unknown quantity does not enter, and which is called the Absolute Term.

Prop. I. If any number of equations be multiplied together, an equation will be produced, of which the dimension $(\backslash Lambda)$ is equal to the sum of the dimensions of the equations multiplied.

If any number of simple equations be multiplied together, as $x-a=0$, $x-b=0$, $x-c=0$, &c. it is obvious, that the product will be an equation of a dimen-

sion, containing as many units as there are simple equations. In like manner, if higher equations are multiplied together, as a cubic and a quadratic, one of the fifth order is produced, and so on.

Conversely. An equation of any dimension is considered as compounded either of simple equations, or of others, such that the sum of their dimensions is equal to the dimension of the given one. By the resolution of equations these inferior equations are discovered, and by investigating the component simple equations, the roots of any higher equation are found.

Cor. 1. Any equation admits of as many solutions, or has as many roots as there are simple equations which compose it, that is, as there are units in the dimension of it.

Cor. 2. And conversely, no equation can have more roots than the units in its dimension.

Cor. 3. Imaginary or impossible roots must enter an equation by pairs; for they arise from quadratics, in which both the roots are such.

Hence also, an equation of an even dimension may have all its roots, or any even number of them impossible, but an equation of an odd dimension must at least have one possible root.

Cor. 4. The roots are either positive or negative, according as the roots of the simple equations, from which they are produced, are positive or negative.

Cor. 5. When one root of an equation is discovered, one of the simple equations is found, from which the given one is compounded. The given equation, therefore, being divided by this simple equation, will give an equation of a dimension lower by 1. Thus, any equation may be depressed as many degrees as there are roots found by any method whatever.

Prop. II. To explain the general properties of the signs and coefficients of the terms of an equation.

Let $x-a=0$, $x-b=0$, $x-c=0$, $x-d=0$, &c. be simple equations, of which the roots are any positive quantities $+a$, $+b$, $+c$, $+d$, &c. and let $x+m=0$, $x+n=0$, &c. be simple equations, of which the roots are any negative quantities $-m$, $-n$, &c. and let any number of these equations be multiplied together, as in the following table:

($\backslash Lambda$) The term dimension, in this treatise, is used in senses somewhat different, but so as not to create any ambiguity. In this chapter it means either the order of an equation, or the number denoting that order, which was formerly defined to be the highest exponent of the unknown quantity in any term of the equation.

From this table it is plain,

1. That in a complete equation the number of terms is always greater by unit than the dimension of the equation.

2. The coefficient of the first term is 1.

The coefficient of the second term is the sum of all the roots () with their signs changed.

The coefficient of the third term is the sum of all the products that can be made by multiplying any two of the roots together.

The coefficient of the fourth term is the sum of all the products which can be made by multiplying together any three of the roots with their signs changed; and so of others.

The last term is the product of all the roots, with their signs changed.

3. From induction it appears, that in any equation (the terms being regularly arranged as in the preceding example) there are as many positive roots as there are changes in the signs of the terms from $+$ to $-$, and from $-$ to $+$; and the remaining roots are negative. The rule also may be demonstrated.

Note. The impossible roots in this rule are supposed to be either positive or negative.

In this example of a numeral equation $x^4-10x^3+35x^2-50x+24=0$, the roots are, $+1,\; +2,\; +3,\; +4$, and the preceding observations with regard to the signs and coefficients take place.

Cor. If a term of an equation is wanting, the positive and negative parts of its coefficient must then be equal. If there is no absolute term, then some of the roots must be $=0$, and the equation may be depressed by dividing all the terms by the lowest power of the unknown quantity in any of them. In this case also, may be considered as so many of the component simple equations, by which the given equation being divided, it will be depressed so many degrees.

CHAP. II.

Of the Transformation of Equations.

THERE are certain transformations of equations necessary towards their solution; and the most useful are contained in the following propositions.

Prop. 1. The affirmative roots of an equation become negative, and the negative become affirmative, by changing the signs of the alternate terms, beginning with the second.

Thus the roots of the equation $x^4-x^3-19x^2+49x$

$-30=0$ are $+1,\; +2,\; +3,\; -5$, whereas the roots of the equation $x^4+x^3-19x^2-49x-30=0$, are $-1,\; -2,\; -3,\; +5$.

The reason of this is derived from the composition of the coefficients of these terms, which consist of combinations of odd numbers of the roots, as explained in the preceding Chapter.

Prop. 2. An equation may be transformed into another that shall have its roots greater or less than the roots of the given equation by some given difference.

Let $x$ be the unknown quantity of the equation, and $e$ the given difference; let $y=x+e$, then $x=y-e$; and if for $x$ and its powers in the given equation, $y-e$ and its powers be inserted, a new equation will arise, in which the unknown quantity is $y$, and its value will be $x+e$; that is, its roots will differ from the roots of the given equation by $e$.

Let the equation proposed be $x^3-px^2+qx-r=0$, of which the roots must be diminished by $e$. By inserting for $x$ and its powers $y-e$ and its powers, the equation required is,

Cor. 1. From this transformation, the second, or any other intermediate term, may be taken away; granting the resolution of equations.

Since the coefficients of all the terms of the transformed equation, except the first, involve the powers of $e$ and known quantities only, by putting the coefficient of any term equal to 0, and resolving that equation, a value of $e$ may be determined; which being substituted, will make that term to vanish.

Thus, in this example, to take away the second term, let its coefficient, $3e-p=0$, and $e=\backslash frac\{1\}\{3\}p$, which being substituted for $e$, the new equation will want the second term. And universally, the coefficient of the first term of a cubic equation being 1, and $x$ being the unknown quantity, the second term may be taken away by supposing $x=y-\backslash frac\{1\}\{3\}p$, $\backslash frac\{1\}\{3\}p$ being the coefficient of that term.

Cor. 2. The second term may be taken away by the solution of a simple equation, the third by the solution of a quadratic, and so on.

Cor. 3. If the second term of a quadratic equation be taken away, it will become a pure equation, and thus a solution of quadratics will be obtained, which coincides with the solution already given in Part I.

Cor. 4. The last term of the transformed equation is the same with the given equation, only having $e$ in place of $x$.

Prop. 3. In like manner may an equation be transformed into another, of which the roots shall be equal to the roots of the given equation, multiplied or divided by a given quantity.

Let $x$ be the unknown letter in the given equation, and $y$ that of the equation wanted; also let $e$ be the given quantity.

To multiply the roots let $x=e\; y$, and $x=\backslash frac\{y\}\{e\}$.

To divide the roots let $\backslash frac\{x\}\{e\}=y$, and $x=ye$.

Then

Then substitute for $x$ and its powers, $\backslash frac\{y\}\{a\}$ or $ye$ and its powers, and the new equation of which $y$ is the unknown quantity will have the property required.

Cor. 1. By this proposition an equation, in which the coefficient of the first term is any known quantity, as $a$, may be transformed into another, in which the coefficient of the first term shall be unit. Thus, let the equation be $ax^3\; -\; px^2\; +\; qx\; -\; r\; =\; 0$. Suppose $y\; =\; ax$, or $x\; =\; \backslash frac\{y\}\{a\}$, and for $x$ and its powers insert $\backslash frac\{y\}\{a\}$ and its powers, and the equation becomes $\backslash frac\{y^3\}\{a^2\}\; -\; \backslash frac\{py^2\}\{a^2\}\; +\; \backslash frac\{qy\}\{a\}\; -\; r\; =\; 0$, or $y^3\; -\; py^2\; +\; qay\; -\; a^3r\; =\; 0$. Also, let the equation be $5x^3\; -\; 6x^2\; +\; 7x\; -\; 30\; =\; 0$; and if $x\; =\; \backslash frac\{y\}\{5\}$, then $y^3\; -\; 6y^2\; +\; 35y\; -\; 750\; =\; 0$.

Cor. 2. If the two transformations in Prop. 2. and 3. be both required, they may be performed either separately or together.

Thus, if it is required to transform the equation $ax^3\; -\; px^2\; +\; qx\; -\; r\; =\; 0$ into one which shall want the second term, and in which the coefficient of the first term shall be 1; let $x\; =\; \backslash frac\{y\}\{a\}$, and then $y^3\; -\; py^2\; +\; qay\; -\; a^3r\; =\; 0$ as before; then let $y\; =\; z\; +\; \backslash frac\{p\}\{3\}$, and the new equation, of which $z$ is the unknown quantity, will want the second term, and the coefficient of $z^3$, the highest term is 1. Or, if $x\; =\; \backslash frac\{z\; +\; \backslash frac\{p\}\{3\}\}\{a\}$, the same equation as the last found will arise from one operation.

Ex. Let the equation be $5x^3\; -\; 6x^2\; +\; 7x\; -\; 30\; =\; 0$. If $x\; =\; \backslash frac\{y\}\{5\}$, then $y^3\; -\; 6y^2\; +\; 35y\; -\; 750\; =\; 0$. And if $y\; =\; z\; +\; 2$, $z^3\; +\; 23z\; -\; 696\; =\; 0$. Also, at once, let $x\; =\; \backslash frac\{z\; +\; 2\}\{5\}$, and the equation properly reduced, by bringing all the terms to a common denominator, and then calling it off, will be $z^3\; +\; 23z\; -\; 696\; =\; 0$, as before.

Cor. 3. If there are fractions in an equation, they may be taken away, by multiplying the equation by the denominators, and by this proposition the equation may then be transformed into another, without fractions, in which the coefficient of the first term is 1. In like manner may a surd coefficient be taken away in certain cases.

Cor. 4. Hence also, if the coefficient of the second term of a cubic equation is not divisible by 3, the fractions thence arising in the transformed equation, wanting the second term, may be taken away by the preceding corollary. But the second term also may be taken away, so that there shall be no such fractions in the transformed equation, by supposing $x\; =\; \backslash frac\{z\; +\; \backslash frac\{p\}\{3\}\}\{3a\}$, being the coefficient of the second term of the given equation. And if the equation $ax^3\; -\; px^2\; +\; qx\; -\; r\; =\; 0$ be given, in which $p$ is not divisible by 3, by supposing $x\; =\; \backslash frac\{z\; +\; \backslash frac\{p\}\{3\}\}\{3a\}$, the transformed equation reduced is $z^3\; -\; 3p^2\; +\; 9apq\; \backslash cdot\; xz\; -\; 2p^3\; +\; 9apq\; -\; 27a^3r\; =\; 0$; wanting the second term, having 1 for the coefficient of the first

term, and the coefficients of the other terms being all of Equations, integers, the coefficients of the given equation being also supposed integers.

General Corollary to Prop. 1. 2. 3.

If the roots of any of these transformed equations be found by any method, the roots of the original equation, from which they were derived, will easily be found from the simple equations expressing their relation. Thus, if 8 is found to be a root of the transformed equation $z^3\; +\; 23z\; -\; 696\; =\; 0$ (Cor. 2. prop. 3.) Since $x\; =\; \backslash frac\{z+2\}\{5\}$, the corresponding root of the given equation $5x^3\; -\; 6x^2\; +\; 7x\; -\; 30\; =\; 0$ must be $\backslash frac\{8+2\}\{5\}\; =\; 2$. It is to be observed also, that the reasoning in Prop. 2. and 3. and the corollaries, may be extended to any order of equations, though in them it is applied chiefly to cubics.

CHAP. III.

Of the Resolution of Equations.

FROM the preceding principles and operations, rules may be derived for resolving equations of all orders.

I. CARDAN'S Rule for Cubic Equations.

The second term of a cubic equation being taken away, and the coefficient of the first term being made 1, (by Cor. 1. Prop. 2. and Cor. 1. Prop. 3. Chap. II.) it may be generally represented by $x^3\; +\; 3qx\; +\; 2r\; =\; 0$; the sign + in all terms denoting the addition of them, with their proper signs. Let $x\; =\; m\; +\; n$, and also $mn\; =\; -q$; by the substitution of these values, an equation of the 6th order, but of the quadratic form, is deduced, which gives the values of $m$ and $n$; and hence,

Cor. 1. In the given equation, if $3q$ is negative, and if $r^3$ is less than $q^3$, this expression of the root involves impossible roots; while, at the same time, all the roots of that equation are possible. The reason is, that in this method of solution it is necessary to suppose that $x$ the root may be divided into two parts, of which the product is $q$. But it is easy to show, that in this, which is called the irreducible case, it cannot be done.

For example, the equation (Ex. 3. Sect. 3. of this Chapter), $x^3\; -\; 156x\; +\; 560\; =\; 0$, belongs to the irreducible case, and the three roots are $+4$, $+10$, $-14$; and it is plain that none of these roots can be divided into two parts ($m$ and $n$), of which the product can be equal to $(-q)\; =\; \backslash frac\{156\}\{3\}\; =\; 52$; for the greatest product from the division of the greatest root $-14$, is $-7\; \backslash times\; -7\; =\; 49$ less than 52.

If the cube root of the compound surd can be extracted, the impossible parts balance each other, and the true root is obtained.

The geometrical problem of the trisection of an arch

arch is resolved algebraically, by a cubic equation of this form; and hence the foundation of the rule for resolving an equation belonging to this case, by a table of fines.

Cor. 2. Biquadratic equations may be reduced to cubics, and may therefore be resolved by this rule.

Some other classes of equations, too, may be resolved by particular rules; but these, and every other order of equations, are commonly resolved by the general rules, which may be equally applied to all.

II. Solution of Equations, whose Roots are commensurate.

Rule 1. All the terms of the equation being brought to one side, find all the divisors of the absolute term, and substitute them successively in the equation for the unknown quantity. That divisor which, substituted in this manner, gives the result $=0$, shall be a root of the equation.

The simple literal divisors of $-2a^3b$ are $a,\; b,\; 2a,\; 2b$, any of which may be inserted for $x$. Supposing $x\; =\; +a$, the equation becomes

The divisors of 90 are 1, 2, 3, 5, 6, 9, 10, 15, 18, 30, 45, 90.

The first of these divisors, which being inserted for $x$, will make the result $=0$, is $+3$; $+5$ is another; and it is plain the last root must be negative, and it is $-6$.

When 3 is discovered to be a root, the given equation may be divided by $x-3=0$, and the result will be a quadratic, which being resolved will give the other two roots, $+5$ and $-6$.

The reason of the rule appears from the property of the absolute term formerly defined, viz. that it is the product of all the roots.

To avoid the inconvenience of trying many divisors, this method is shortened by the following

Rule 2. Substitute in place of the unknown quantity successively three or more terms of the progression, 1, 0, $-1$, &c. and find all the divisors of the sums that result; then take out all the arithmetical progressions that can be found among these divisors whose common difference is 1, and the values of $x$ will be among those terms of the progressions which are the divisors of the result arising from the substitution of $x=0$. When the series increases, the roots will be positive; and when it decreases, the roots will be negative.

Examp. Let it be required to find a root of the equation $x^3\; -\; x^2\; -\; 10x\; +\; 6\; =\; 0$.

The operation is thus:

In this example there is only one progression, 4, 3, 2; and therefore 3 is a root, and it is $-3$, since the series decreases.

It is evident from the rules for transforming equations (Chap. II.), that by inserting for $x$, $+1$ ($=+e$) the result is the absolute term of an equation of which the roots are less than the roots of the given equation by 1 ($=e$). Cor. 4. Prop. 2. When $x=0$ the result is the absolute term of the given equation. When for $x$ is inserted $-1$ ($=-e$) the result is the absolute term of an equation whose roots exceed the roots of the given equation by 1 ($=e$). Hence, if the terms of the series 1, 0, $-1$, $-2$, &c. be inserted successively for $x$, the results will be the absolute terms of so many equations, of which the roots form an increasing arithmetical series with the difference 1. But as the commensurate roots of these equations must be among the divisors of their absolute terms, hence they must be among the arithmetical progressions found by this rule. The roots of the given equation therefore are to be sought for among the terms of these progressions which are divisors of the result, upon the supposition of $x=0$, because that result is its absolute term.

It is plain that the progressions must always be increasing, only it is to be observed, that a decreasing series with the sign $+$ becomes increasing with the sign $-$. Thus, in the preceding example, $-4,\; -3$, $-2$.

N^o 11.

$-2$, is an increasing series, of which $-3$ is to be tried, and it succeeds.

If, from the substitution of three terms of the progression, 1, 0, $-1$, &c. there arise a number of arithmetical series, by substituting more terms of that progression, some of the series will break off, and, of course, fewer trials will be necessary.

III. Examples of Questions producing the higher Equations.

Examp. 1. It is required to divide 161 between two persons, so that the cube of the one's share may exceed the cube of the other's by 386.

Let the greater share be $x$ pounds,
And the less will be $161-x$;

And by Inv. $2x^2\; -\; 48x\; +\; 768x\; -\; 4096\; =\; 386$
Transp. and divide $x^3\; -\; 24x^2\; +\; 384x\; -\; 2241\; =\; 0$.

Where 8, 9, 10, differ by 1; therefore $+9$ is to be tried; and being inserted for $x$, the equation is $=0$. The two shares then are 9 and 7 which succeed. Since

Of Equations. Since $x=9$; $x-9=0$, is one of the simple equations from which this cubic is produced, therefore

And the two roots of this quadratic are impossible.

Examp. 2. What two numbers are those whose product multiplied by the greater will produce 405, and their difference multiplied by the less 20?

Let the greater number be $x$, and the less $y$.

Then by quest. $\backslash begin\{cases\}\; (xy\; \backslash times\; x)\; =\; x^2\; =\; 405\; \backslash \backslash \; (x-y\; \backslash times\; y)\; =\; y^2\; =\; 20\; \backslash end\{cases\}$

Therefore $x\; =\; \backslash frac\{y^2\; +\; 20\}\{y\}$

And $x^2\; =\; \backslash frac\{y^4\; +\; 40y^2\; +\; 400\}\{y^2\}$

Also $x^2\; =\; \backslash frac\{405\}\{y^2\}$

Therefore $\backslash frac\{y^4\; +\; 40y^2\; +\; 400\}\{y^2\}\; =\; \backslash frac\{405\}\{y^2\}$

Mult. and transp. $y^4\; +\; 40y^2\; -\; 405y^2\; +\; 400\; =\; 0$.

This biquadratic, resolved by divisors, gives $y=5$; and therefore $x=9$. Also $\backslash frac\{y^4\; +\; 40y^2\; -\; 405y^2\; +\; 400\}\{y-5\}\; =\; y^3\; +\; 5y^2\; +\; 65y\; -\; 80\; =\; 0$.

This cubic equation has one positive incommensurate root, viz. 1.114, &c. which may be found by the rule in the next section, and two impossible. The incommensurate root $y=1.114$, &c. gives $x=19.067$, &c. and these two answer the conditions very nearly.

Examp. 3. The sum of the squares of two numbers 208, and the sum of their cubes 2240 being given, to find them.

Let the greater be $x+y$, and the less $x-y$.

Then $(x+y)^2\; +\; (x-y)^2\; =\; 2x^2\; +\; 2y^2\; =\; 208$

Hence $y^2\; =\; 104\; -\; x^2$

Also $(x+y)^3\; +\; (x-y)^3\; =\; 2x^3\; +\; 6x^2y\; =\; 2240$

Substitute for $y^2$ its value and $2x^3\; +\; 6x^2y\; -\; 6x^2y\; =\; 2240$. This reduced gives $x^2\; -\; 156x\; +\; 560\; =\; 0$.

The roots of this equation are $+10$, $+4$, $-14$. If $x=10$, then $y=2$; and the numbers sought are 12 and 8, which give the only just solution. If $x=4$, then $y^2=88$ and $y=\backslash sqrt\{88\}$. The numbers sought are therefore $4+\backslash sqrt\{88\}$ and $4-\backslash sqrt\{88\}$. The last is negative, but they answer the conditions. Lastly, if $x=-14$, then $y^2=-92$, hence $y=\backslash sqrt\{-92\}$, is impossible; but still the two numbers $-14+\backslash sqrt\{-92\}$, $-14-\backslash sqrt\{-92\}$, being inferred, would answer the conditions. But it has been frequently observed, that such solutions are both useless and without meaning.

IV. Solution of Equations by Approximation.

By the former rules, the roots of equations, when they are commensurate, may be obtained. These, however, more rarely occur; and when they are incommensurate, we can find only an approximate value of them, but to any degree of exactness required. There are various rules for this purpose; one of the most simple is that of Sir Isaac Newton, which shall be now explained.

VOL. I. PART II.

Lemma. If any two numbers, being inferred for the unknown quantity ($x$) in any equation, give results with opposite signs, an odd number of roots must be between these numbers.

This appears from the property of the absolute term, and from this obvious maxim, that if a number of quantities be multiplied together, and if the signs of an odd number of them be changed, the sign of the product is changed. For, when a positive quantity is inferred for $x$, the result is the absolute term of an equation whose roots are less than the roots of the given equation by that quantity (Prop. 2. Cor. 3. Chap. II.). If the result has the same sign as the given absolute term, then from the property of the absolute term (Prop. 2. Chap. I.) either none or an even number only of the positive roots, have had their signs changed by the transformation; but if the result has an opposite sign to that of the given absolute term, the signs of an odd number of the positive roots must have been changed. In the first case, then, the quantity substituted must have been either greater than each of an even number of the positive roots of the given equation, or less than any of them; in the second case, it must have been greater than each of an odd number of the positive roots. An odd number of the positive roots, therefore, must lie between them when they give results with opposite signs. The same observation is to be extended to the substitution of negative quantities and the negative roots.

From this lemma, by means of trials, it will not be difficult to find the nearest integer to a root of a given numeral equation. This is the first step towards the approximation; and both the manner of continuing it, and the reason of the operation, will be evident from the following example.

Let the equation be $x^3\; -\; 2x\; -\; 5\; =\; 0$.

1. Find the nearest integer to the root. In this case a root is between 2 and 3; for these numbers being inferred for $x$, the one gives a positive, and the other a negative, result. Either the number above the root, or that below it, may be assumed as the first value; only it will be more convenient to take that which appears to be nearest to the root, as will be manifest from the nature of the operation.

2. Suppose $x=2+f$, and substitute this value of $x$ in the equation.

As $f$ is less than unit, its powers $f^2$ and $f^3$ may be neglected in this first approximation, and $10f=1$, or $f=0.1$ nearly, therefore $x=2.1$ nearly.

3. As $f=0.1$ nearly, let $f=1+g$, and insert this value of $f$ in the preceding equation.

and neglecting $g^2$ and $g^3$ as very small $0.061\; +\; 11.23g\; =\; 0$,
3 1 = 0,

Application to Geometry. $\backslash frac\{-0.061\}\{11.23\}\; =\; -.0054$, hence $f\; =\; .1\; +\; g\; =\; .0946$ nearly, and $x\; =\; 2.0946$ nearly.

4. This operation may be continued to any length, as by supposing $g\; =\; -.0054\; +\; h$, and so on, and the value of $x\; =\; 2.09455147$ nearly.

By the first operation a nearer value of $x$ may be found thus; since $f\; =\; .1$ nearly and $-1\; +\; 10f\; +\; 6f^2\; +\; f^3\; =\; 0$, $f\; =\; \backslash frac\{1\}\{10\; +\; 6f\; +\; f^2\}$, that is, $f\; =\; \backslash frac\{1\}\{10\; +\; .6\; +\; .01\}\; =\; .094$ true to the last figure, and $x\; =\; 2.094$.

In the same manner may the root of a pure equation be found, and this gives an easy method of approximating to the roots of numbers which are not perfect powers.

This rule is applicable to numeral equations of every order; and, by assuming a general equation, general rules may be deduced for approximating to the roots of any proposed equation. By a similar method we may approximate to the roots of literal equations, which will be expressed by infinite series.

PART III.

Of the Application of ALGEBRA to GEOMETRY.

CHAP. I.

General Principles.

GEOMETRY treats both of the magnitude and position of extension, and their connections.

Algebra treats only of magnitude; therefore, of the relations which subsist in geometrical figures, those of magnitude only can be immediately expressed by algebra.

The opposite position of straight lines may indeed be expressed simply by the signs $+$ and $-$. But, in order to express the various other positions of geometrical figures by algebra from the principles of geometry, some relations of magnitude must be found, which depend upon these positions, and which can be exhibited by equations: And, conversely, by the same principles may the positions of figures be inferred from the equations denoting such relations of their parts.

Though this application of algebra appears to be indirect, yet such is the simplicity of the operations, and the general nature of its theorems, that investigations, especially in the higher parts of geometry, are generally easier and more expeditious by the algebraical method, though less elegant than by what is purely geometrical. The connections also, and analogies of the two sciences established by this application, have given rise to many curious speculations.

Geometry has been rendered far more extensive and useful, and algebra itself has received considerable improvements.

I. Of the Algebraical Expression of Geometrical Magnitudes.

A line, whether known or unknown, is represented by a single letter: a rectangle is properly expressed by the product of the two letters representing its sides: and a rectangular parallelepiped by the product of three letters; two of which represent the sides of any of its rectangular bases, and the third the altitude.

These are the most simple expressions of geometrical magnitudes; and any other which has a known proportion to these, may in like manner be expressed algebraically. Conversely, the geometrical magnitudes, represented by such algebraical quantities, may be found, only the algebraical dimensions above the third, not having any corresponding geometrical dimensions, must be expressed by proportionals (A).

The opposite position of straight lines, it has been remarked, may be expressed by the signs $+$ and $-$.

Thus, let a point A be given in the line

$\backslash overline\{P\; \backslash quad\; A\; \backslash quad\; M\; \backslash quad\; P\; \backslash quad\; B\}$

AP, any segment AP taken to the right hand being considered as positive, a segment Ap to the left is properly

(A) All algebraical dimensions above the third must be expressed by inferior geometrical dimensions; and though any algebraical quantities of two or three dimensions may be immediately expressed by surfaces and solids respectively, yet it is generally necessary to express them, and all superior dimensions, by lines.

If, in any geometrical investigation by algebra, each line is expressed by a single letter, and each surface or solid by an algebraical quantity of two or three dimensions respectively, then whatever legitimate operations are performed with regard to them, the terms in any equation derived will, when properly reduced, be all of the same dimension; and any such equation may be easily expressed geometrically by means of proportionals, as in the following example.

Thus, if the algebraical equation $a^3\; +\; b^3\; =\; c^4\; -\; d^4$, is to be expressed geometrically, $a,\; b,\; c,$ and $d$, being supposed to represent straight lines; let $a:b:c:f:g$, in continued proportion, then $a^3:b^3::a:g$ and $a^4:a^4\; +\; b^4::a:a+g$; then let $a:c:b:k:l$, and $a^4:c^4::a:l$; also, let $c:d:m:n:p$, and $c^4:d^4::c:p$, or $c^4:c^4\; -\; d^4::c:c-p$. By combining the two former proportions (Chap. II. Part I.), $c^4:a^4\; +\; b^4::l:a+g$, and combining the latter with this last found, $c^4\; -\; d^4:a^4\; +\; b^4::c-p:l:c+a+g$; therefore $c-p\; \backslash times\; l\; =\; c\; \backslash times\; a\; +\; g$, and $c:c-p::l:a+g$.

Application perly represented by a negative quantity. If $a$ and $b$ represent two lines; and if, upon the line $AB$ from the point $A$, $AP$ be taken towards the right equal to $a$, it may be expressed by $+a$; then $PM$ taken to the left and equal to $b$, will be properly represented by $-b$, for $AM$ is equal to $a-b$. If $a=b$, then $M$ will fall upon $A$, and $a-b=0$. By the same notation, if $b$ is greater than $a$, $M$ will fall to the left of $A$; and in this case, if $2a=b$, and if $Pp$ be taken equal to $b$, then $(a-b)=-a$ will represent $Ap$, which is equal to $a$, and situated to the left of $A$. This use of the signs, however, in particular cases, may be precluded, or in some measure restrained.

The positions of geometrical figures are so various, that it is impossible to give general rules for the algebraical expression of them. The following are a few examples.

An angle is expressed by the ratio of its sine to the radius; a right angle in a triangle, by putting the squares of the two sides equal to the square of the hypothenuse; the position of points is ascertained by the perpendiculars from them on lines given in position; the position of lines by the angles which they make with given lines, or by the perpendiculars on them from given points; the similarity of triangles by the proportionality of their sides which gives an equation, &c.

These and other geometrical principles must be employed both in the demonstration of theorems and in the solution of problems. The geometrical proposition must first be expressed in the algebraical manner, and the result after the operation must be expressed geometrically.

II. The Demonstration of Theorems.

All propositions in which the proportions of magnitudes only are employed, also all propositions expressing the relations of the segments of a straight line, of their squares, rectangles, cubes, and parallelopipeds, are demonstrated algebraically with great ease. Such demonstrations, indeed, may in general be considered as an abridged notation of what are purely geometrical.

This is particularly the case in those propositions which may be geometrically deduced without any construction of the squares, rectangles, &c. to which they refer. From the first proposition of the second book of Euclid, the nine following may be easily derived in this manner, and they may be considered as proper examples of this most obvious application of algebra to geometry.

If certain positions are either supposed or to be inferred in a theorem, we must find, according to the preceding observations, the connection between these positions and such relations of magnitude as can be expressed and reasoned upon by algebra. The algebraical

demonstrations of the 12th and 13th propositions of the 2d book of Euclid, require only the 47th of the I. El. The 35th and 36th of the 3d book require only the 3. III. El. and 47. I. El.

From a few simple geometrical principles alone, a number of conclusions, with regard to figures, may be deduced by algebra; and to this in a great measure is owing the extensive use of this science in geometry. If other more remote geometrical principles are occasionally introduced, the algebraical calculations may be much abridged. The same is to be observed in the solution of problems; but such in general are less obvious, and more properly belong to the strict geometrical method.

III. Of the Solution of Problems.

Upon the same principles are geometrical problems to be resolved. The problem is supposed to be constructed, and proper algebraical notations of the known and unknown magnitudes are to be sought for, by means of which their connections may be expressed by equations. It may first be remarked, as was done in the case of theorems, that in those problems which relate to the divisions of a line and the proportions of its parts, the expression of the quantities, and the stating their relations by equations, are so easy as not to require any particular directions. But when various positions of geometrical figures and their properties are introduced, the solution requires more attention and skill. No general rules can be given on this subject, but the following observations may be of use.

1. The construction of the problem being supposed, it is often farther necessary to produce some of the lines till they meet; to draw new lines joining remarkable points; to draw lines from such points perpendicular or parallel to other lines, and such other operations as seem conducive to the finding of equations; and for this purpose, those especially are to be employed which divide the scheme into triangles that are given, right angled or similar.

2. It is often convenient to denote by letters, not the quantities particularly sought, but some others from which they can easily be deduced. The same may be observed of given quantities.

3. The proper notation being made, the necessary equations are to be derived by the use of the most simple geometrical principles; such as the addition and subtraction of lines or of squares, the proportionality of lines, particularly of the sides of similar triangles, &c.

4. There must be as many independent equations as there are unknown quantities assumed in the investigation, and from these a final equation may be inferred by the rules of Part I.

If the final equation from the problem be resolved, the roots may often be exhibited geometrically; but the geometrical construction of problems may be effected

3 I 2

If any known line is assumed as 1, as its powers do not appear, the terms of an equation, including any of them, may be of very different dimensions; and before it can be properly expressed by geometrical magnitudes, the deficient dimensions must be supplied by powers of the 1. When an equation has been derived from geometrical relations, the line denoting 1 is known; and when an assumed equation is to be expressed by the relations of geometrical magnitudes, the 1 is to be assumed.

In this manner may any single power be expressed by a line. If it is $x^5$, then to 1, $x$ find four quantities in continued proportion; so that $1:x:m:n:p:q$, then $1:q::1^5:x^5$, or $q=x^5$; and so of others.

feet also without resolving the equation, and even without deducing a final equation, by the methods afterwards to be explained.

If the final equation is simple or quadratic, the roots being obtained by the common rules, may be geometrically exhibited by the finding of proportionals, and the addition or subtraction of squares.

By inserting numbers for the known quantities, a numeral expression of the quantities sought will be obtained by resolving the equation. But in order to determine some particulars of the problem besides finding the unknown quantities of the equation, it may be further necessary to make a simple construction; or, if it is required that every thing be expressed in numbers, to substitute a new calculation in place of that construction.

PROP. I. To divide a given straight line AB into two parts, so that the rectangle contained by the whole line and one of the parts may be equal to the square of the other part.

This is prop. 11th II. B. of Eucl.

Let C be the point of division, and let AB = a, AC = x, and then CB = a - x. From the problem $a^2\; -\; ax\; =\; x^2$; and this equation being resolved (Chap. V. P. II.) gives $x\; =\; \backslash frac\{a\; \backslash pm\; \backslash sqrt\{a^2\; +\; a^2\}\}\{2\}$.

The quantity $\backslash sqrt\{a^2\; +\; a^2\}$, is the hypotenuse of a right-angled triangle, of which the two sides are a and $\backslash frac\{a\}\{2\}$, and is therefore easily found; $\backslash frac\{a\}\{2\}$ being taken from this line, gives $x\; =\; AC$, which is the proper solution. But if a line AC be taken on the opposite side of A, and equal to the above-mentioned hypotenuse, together with $\backslash frac\{a\}\{2\}$, it will represent the negative root $-\backslash frac\{a\}\{2\}$, and will give another solution; for in this case also $AB\; \backslash times\; BC\; =\; AC^2$. But c is without the line AB; and therefore, if it is not considered as making a division of AB, this negative root is rejected.

This solution coincides with what is given by Euclid. For $\backslash sqrt\{a^2\; +\; a^2\}$ is equal (see the fig. of Prop. 11th II. B. Eucl. Simson's edit.) to EB or EF, and therefore $x\; =\; \backslash sqrt\{a^2\; +\; a^2\}\; -\; \backslash frac\{a\}\{2\}\; =\; EF\; -\; EA\; =\; AF\; =\; AH$; and

the point H corresponds to C in the preceding figure. Besides, if on $(EF\; +\; EA\; =)\; CF$ (instead of $EF\; -\; EA\; =\; FA$) a square be described on the opposite side of CF from AG, BA produced will meet a side of it in a point; which if it be called K, will give $KB\; \backslash times\; BA\; =\; KA^2$. K corresponds to c, and this solution will correspond with the algebraical solution by means of the negative root.

If CB had been called x, and AC = a - x, the equation would be $ax\; =\; a^2\; -\; 2ax\; +\; x^2$, which gives $x\; =\; \backslash frac\{3a\; \backslash pm\; \backslash sqrt\{5a^2\}\}\{2\}$, in which both roots are positive, and the

solutions derived from them coincide with the preceding Application to Geometry. If the solution be confined to a point within the line, then one of these positive roots must be rejected, for one of the roots of the compound square from which it is derived, $x\; =\; \backslash frac\{3a\}\{2\}$, a negative quantity, which in this strict hypothesis is not admitted. In such a problem, however, both constructions are generally received, and considered even as necessary to a complete solution of it.

If a solution in numbers be required, let AB = 10, then $x\; =\; \backslash frac\{10\; \backslash pm\; \backslash sqrt\{125\}\}\{2\}\; =\; 5$. It is plain, whatever be the value of AB, the roots of this equation are incommensurate, though they may be found, by approximation, to any degree of exactness required. In this case, $x\; =\; \backslash frac\{10\; \backslash pm\; 11.1803\}\{2\}\; =\; 5$, nearly; that is AC = 6.1803, nearly; and AC = 16.1803, nearly.

PROP. II. In a given Triangle ABC to inscribe a Square.

Suppose it to be done, and let it be EFHG. From A let AD be perpendicular on the base BC, meeting EF in K.

Let BC = a, and AD = p, both of which are given because the triangle is given. Let AK be assumed as the unknown quantity, because from it the square can easily be constructed; and let it be called x. Then (KD = EG =) EF = p - x.

On account of the parallels EF, BC, AD : BC :: AK : EF; that is, $p\; :\; a\; ::\; x\; :\; p\; -\; x$, and $p^2\; -\; px\; =\; ax$, which equation being resolved, gives $x\; =\; \backslash frac\{p^2\}\{p\; +\; a\}$.

Therefore x or AK is a third proportional to p + a and p, and may be found by 11. VI. El. The point K being found, the construction of the square is sufficiently obvious.

PROP. III. In the right-angled Triangle ABC, the Base BC, and the Sum of the Perpendicular and Sides BA + AC + AD being given, to find the Triangle.

Such parts of this triangle are to be found as are necessary for describing it: The perpendicular AD will be sufficient for this purpose; and let it be called x. Let AB + AC + AD = a, BC = b; therefore BA + AC = a - x. Let

Let $BA-AC$ be denoted by $y$, then $BA\; =\; \backslash frac\{a+y-x\}\{2\}$,
and $AC\; =\; \backslash frac\{a-x-y\}\{2\}$. But [47. I. El.] $BC^2\; =\; BA^2\; +\; AC^2$, which being expressed algebraically, becomes
$b^2\; =\; \backslash frac\{(a+y-x)^2\}\{4\}\; +\; \backslash frac\{(a-x-y)^2\}\{4\}\; =\; \backslash frac\{a^2\; -\; 2ax\; +\; x^2\; +\; y^2\}\{2\}$. Like-
wise, from a known property of right-angled triangles,
$BC\; \backslash times\; AD\; =\; BA\; \backslash times\; AC$; that is, $bx\; =\; \backslash left(\backslash frac\{a+y-x\}\{2\}\backslash right)\; \backslash times\; \backslash left(\backslash frac\{a-x-y\}\{2\}\backslash right)\; =\; \backslash frac\{a^2\; -\; 2ax\; +\; x^2\; -\; y^2\}\{4\}$. This last equation
being multiplied by 2, and added to the former, gives
$b^2\; +\; 2bx\; =\; a^2\; -\; 2ax\; +\; x^2$, which being resolved according to the rules of Part I. Chap. V. gives $x\; =\; a\; +\; b\; -\; \backslash sqrt\{2ab\; +\; 2b^2\}$.

To construct this: $a+b$ is the sum of the perimeter and perpendicular, and is given; $\backslash sqrt\{2ab\; +\; 2b^2\}\; =\; \backslash sqrt\{a+b\}\; \backslash times\; 2b$ is a mean proportional between $a+b$ and $2b$, and may be found; therefore, from the sum of the perimeter and perpendicular subtract the mean proportional between the said sum and double the base, and the remainder will be the perpendicular required.

From the base and perpendicular the right-angled triangle is easily constructed.

In numbers, let $BA+AC+AD\; =\; 28.8\; =\; a$; $BC\; =\; 10\; =\; b$; then $AD\; =\; a+b\; -\; \backslash sqrt\{2ab\; +\; 2b^2\}\; =\; 28.8\; -\; \backslash sqrt\{576\}\; =\; 4.8\; =\; x$, and $BA+AC\; =\; 14$. By either of the first equations $y^2\; =\; 2b^2\; +\; 2ax\; -\; a^2\; -\; x^2\; =\; 4$ and $y\; =\; BA-AC\; =\; 2$; therefore $BA\; =\; 8$, and $AC\; =\; 6$.

The geometrical expression of the roots of final equations arising from problems may be found without resolving them by the intersection of geometrical lines. Thus, the roots of a quadratic are found by the intersections of the circle and straight line, those of a cubic and biquadratic, by the intersections of two conic sections, &c.

The solution of problems may be effected also by the intersections of the loci of two intermediate equations without deducing a final equation. But these two last methods can only be understood by the doctrine of the loci of equations.

CHAP. II.

Of the Definition of Lines by Equations.

Lines which can be mathematically treated of must be produced according to an uniform rule, which determines the position of every point of them.

This rule constitutes the definition of any line from which all its other properties are to be derived.

A straight line has been considered as so simple as to be incapable of definition. The curve lines here treated of are supposed to be in a plane; and are defined either from the section of a solid by a plane, or more universally by some continued motion in a plane,

according to particular rules. Any of the properties which are shown to belong peculiarly to such a line, may be assumed also as the definition of it, from which all the others, and even what upon other occasions may have been considered as the primary definition, may be demonstrated. Hence lines may be defined in various methods, of which the most convenient is to be determined by the purpose in view. The simplicity of a definition, and the ease with which the other properties can be derived from it, generally give a preference.

Definitions. 1. When curve lines are defined by equations, they are supposed to be produced by the extremity of one straight line, as $PM$ moving in a given angle along another straight line $AB$ given in position, which is called the base.

2. The straight line $PM$ moving along the other, is called an Ordinate, and is usually denoted by $y$.

3. The segment of the base $AP$ between a given point in it $A$, and an ordinate $PM$, is called an Absciss with respect to that ordinate, and is denoted by $x$. The ordinate and absciss together are called Co-ordinates.

4. If the relation of the variable absciss and ordinate $AP$ and $PM$, be expressed by an equation, which besides $x$ and $y$ contains only known quantities, the curve $MO$ described by the extremity of the ordinate, moving along the base, is called the Locus of that equation.

5. If the equation is finite, the curve is called Algebraical ($\backslash Delta$). It is this class only which is here considered.

6. The dimensions of such equations are estimated from the highest sum of the exponents of $x$ and $y$ in any term. According to this definition, the terms $x^4,\; x^3y,\; x^2y^2,\; xy^3,\; y^4$ are all of the same dimension.

7. Curve lines are divided into orders from the dimensions of their equations, when freed from fractions and surds.

In these general definitions, the straight line is supposed to be comprehended, as it is the locus of simple equations. The loci of quadratic equations are shown

(A) The terms Geometrical and Algebraical, as applied to curve lines, are used in different senses, by different writers; there are several other classes of curves besides what is here called algebraical, which can be treated of mathematically, and even by means of algebra. See Scholium at the end.

Application to be the conic sections, which are hence called lines to Geometry. of the second order, &c.

It is sufficiently plain from the nature of an equation, containing two variable quantities, that it must determine the position of every point of the curve, defined by it in the manner now described: for if any particular known value of one of the variable quantities as $x$ be assumed, the equation will then have one unknown quantity only, and being resolved, will give a precise number of corresponding values of $y$, which determine so many points of the curve.

As every point of the locus of an equation has the same general property, it must be one curve only, and from this equation all its properties may be derived. It is plain also, that any curve line defined from the motion of a point, according to a fixed rule, must either return into itself, or be extended ad infinitum with a continued curvature.

The equation, however, is supposed to be irreducible: because, if it is not, the locus will be a combination of inferior lines: but this combination will possess the general properties of the lines of the order of the given equation.

It is to be observed all along, that the positive values of the ordinate, as $PM$, being taken upwards, the negative $Pm$ will be placed downwards, on the opposite side of the base: and if positive values of the abscissæ, as $AP$, be assumed to the right from its beginning, the negative values, $AP$ will be upon the left, and from these the points of the curve $M,\; m$, on that side are to be determined.

In the general definition of curves it is usual to suppose the co-ordinates to be at right angles. If the locus of any equation be described, and if the abscissæ be assumed on another base, and the ordinate be placed at a different angle, the new equation expressing their relation, though of a different form, will be of the same order as the original equation; and likewise will have, in common with it, those properties which distinguish the equations of that particular curve.

This method of defining curves by equations may not be the fittest for a full investigation of the properties of a particular curve; but as their number is without limit, such a minute inquiry concerning all, would be not only useless, but impossible. It has this great advantage, however, that many of the general affections of all curves, and of the distinct orders, and also some of the most useful properties of particular curves, may be easily derived from it.

I. The Determination of the Figure of a Curve from its Equation.

The general figure of the curve may be found by substituting successively particular values of $x$ the abscissæ, and finding by the resolution of these equations the corresponding values of $y$ the ordinate, and of consequence so many points of the curve. If numeral values be substituted for $x$, and also certain numbers for the known letters, the resolution of the equation gives numeral expressions of the ordinates; and from these, by means of scales, a mechanical description of the curve will be obtained, which may often be useful, both in pointing out the general disposition of the figure, and also in the practical applications of geometry.

Some more general suppositions may be of use in determining the figure: but these can be suggested only from the particular form of the equation in view. By supposing $x$ to have certain relations to the known quantities, the values of $y$ may become more simple, and the equation may be reduced to such a form as to show the direction of the curve, and some of its obvious properties.

The following general observations may also be laid down:

1. If in any case a value of $y$ vanishes, then the curve meets the base in a point determined by the corresponding value of $x$. Hence by putting $y=0$, the roots of the equation, which in that situation are values of $x$, will give the distances on the base from the point assumed as the beginning of $x$, at which the curve meets it.

2. If at a particular value of $x$, $y$ becomes infinite, the curve has an infinite arc, and the ordinate at that point becomes an asymptote.

3. If when $x$ becomes infinitely great, $y$ vanishes, the base becomes an asymptote.

4. If any value of $y$ becomes impossible, then so many intersections of the ordinate and curve vanish. If at any value of $x$ all the values of $y$ become impossible, the ordinate does not there meet the curve.

5. If two values of $y$ become equal and have the same sign, the ordinate in that situation either touches the curve, or passes through an intersection of two of its branches, which is called a punctum duplex, or through an oval become infinitely little, called a punctum conjugatum.

In like manner is a punctum triplex, &c. to be determined.

The following example will illustrate this doctrine:

Let the equation be $ay^2\; -\; xy^2\; =\; x^3\; +\; bx^2$:

Let $AB$ be assumed as a base on which the abscissæ are to be taken from $A$, and the ordinates perpendicular to it.

Since the two values of $y$ are equal, but have opposite signs; $PM$, and $Pm$ which represent them, must be taken equal to each other on opposite sides of $AB$; and it is plain that the parts of the curve on the two sides of $AB$, must be every way similar and equal.

which is an algebraical expression for infinity; therefore if $AC$ is taken equal to $a$, the perpendicular $CD$ will become an asymptote to the curve, which will have two infinite arcs (Obs. 2.). If $x$ is greater than $a$, the quantity under the radical sign becomes negative, and the values of $y$ are impossible; that is, no part of the curve lies beyond $CD$. (4.)

Both branches of the curve pass through $A$, since $y=0$, when $x=0$. (1.) Let $x$ be negative, and $y\; =\; \backslash pm\; x\; \backslash sqrt\{\backslash frac\{b-x\}\{a+x\}\}$; the values of $y$ will be possible, if $x$ is not greater than $b$; but if $x=b$, then $y=0$, and if $x$ is greater

Application to Geometry. If the absciss $AP$ be taken to the left of $A$, and less than $b$, there will be two real equal values of $y$, viz. $PM$, $Pm$ on the opposite sides as before; if $AE$ be taken equal to $b$ the curve will pass through $E$, and no part of it is beyond $E$. (1. and 4.)

The portion between $A$ and $E$ is called a Nodus.

If $y$ be put $=0$, then the values of $x$ are $0,\; 0,\; -b$. That is, the curve passes twice through $A$, or $A$ is a punctum duplex, and it passes also through $E$ as before. (1.)

The mechanical description of curves mentioned in the beginning of this section, may be illustrated by the preceding example. For this purpose, let any numeral values of $a$ and $b$ be assumed; and if successive numeral values of $x$ be inserted, corresponding numeral values of $y$ will be obtained, by which so many points in the curve may be constructed.

Let $AC\; =\; a\; =\; 10$; $AE\; =\; b\; =\; 12$; and, first let $x\; =\; 1$, then $y\; =\; \backslash pm\; x\; \backslash sqrt\{\backslash frac\{x+b\}\{a-x\}\}\; =\; \backslash pm\; \backslash sqrt\{\backslash frac\{13\}\{3\}\}\; =\; \backslash pm\; 1.2$ nearly, which gives the length of the ordinates when the absciss is 1; and in the same manner are the ordinates to be found when $x$ is 2, 3, or any other number. Thus, if $x\; =\; 6$, then $y\; =\; \backslash pm\; 6\; \backslash sqrt\{\backslash frac\{18\}\{2\}\}\; =\; \backslash pm\; 12.73$ nearly; and if $AP$ be taken from the scale of equal parts (according to which $AB$ and $AE$ are supposed to be laid down) and equal to 6, then $PM$, $Pm$, being taken from the same scale, each equal to 12.73, will give the points of the curve $M,\; m$. In like manner, if $x\; =\; -9$, $y\; =\; \backslash pm\; 9\; \backslash sqrt\{\backslash frac\{3\}\{19\}\}\; =\; \backslash pm\; 3.58$, nearly; and if $AP\; =\; 9$, then $PM$, $Pm$ being taken from the same scale equal to 3.58, will give the points $M,\; m$. In the same manner may any number of points be found, and these being joined, will give a representation of the curve, which will be more or less just, according to the number of points found, and the accuracy of the several operations employed.

By the same methods the locus of any other equation is to be traced: Thus, by varying the former equation, the figure of its locus will be varied. If $b\; =\; 0$, then the points $A$ and $E$ coincide, the nodus vanishes, and $A$ is called a cuspis.

If $b$ is negative, then $E$ is to the right of $A$, which Application will now be a punctum conjugatum. The rest of the curve will be between $E$ and $C$, and $CD$ becomes an asymptote.

If $a\; =\; 0$ then $-xy^2\; =\; x^3\; -\; bx^2$ or $y^2\; =\; bx\; -\; x^2$, which is an equation to the circle of which $b\; =\; AE$ is the diameter.

II. General Properties of Curves from their Equations.

The general properties of equations lead to the general affections of curve lines. For example,

A straight line may meet a curve in as many points as there are units in the dimension of its equation; for so many roots may that equation have. An asymptote may cut a curve line in as many points, excepting two, as it has dimensions, and no more. The same may be observed of the tangent.

Impossible roots enter an equation by pairs; therefore the intersections of the ordinate and curve must vanish by pairs.

The curves of which the number expressing the order is odd, must have at least two infinite areas; for the absciss may be so assumed, that, for every value of it, either positive or negative, there must be at least one value of $y$, &c.

The properties of the coefficients of the terms of equations, mentioned Part II. Chap. I. furnish a great number of the curious and universal properties of curve lines. For example, the second term of an equation is the sum of the roots with the signs changed, and if the second term is wanting, the positive and negative roots must be equal. From this it is easy to demonstrate, "That if each of two parallel straight lines meet a curve line in as many points as it has dimensions, and if a straight line cut these two parallels, so that the sum of the segments of each on one side be equal to the sum of the segments on the other, this straight line will cut any other line parallel to these in the same manner." Analogous properties, with many other consequences from them, may be deduced from the composition of the coefficients of the other terms.

Many properties of a particular order of curves may be inferred from the properties of equations of that order. Thus, "If a straight line cut a curve of the third order in three points, and if another straight line be drawn, making a given angle with the former, and cutting the curve also in three points, the parallelopiped by the segments of one of these lines between its intersection with the other, and the points where it meets the curve, will be to the parallelopiped by the like segments of the other line in a given ratio." This depends upon the composition of the absolute terms, and may be extended to curves of any order.

III. The Subdivision of Curves.

As lines are divided into orders from the dimensions of their equations, in like manner, from the varieties of the equations of any order, may different genera and species of that order be distinguished, and from the peculiar properties of these varieties, may the affections of the particular curves be discovered.

For this purpose a complete general equation is assumed of that order, and all the varieties in the terms and coefficients which can affect the figure of the locus are enumerated.

It was formerly observed, that the equations belonging to any one curve, may be of various forms, according to the position of the base, and the angle which the ordinate makes with it, though they be all of the same order, and have also certain properties, which distinguish them from the other equations of that order.

The locus of simple equations is a straight line. There are three species of lines of the second order, which are easily shown to be the conic sections, reckoning the circle and ellipse to be one. Seventy-eight species have been numbered of the third order: And as the superior orders become too numerous to be particularly reckoned, it is usual only to divide them into certain general classes.

A complete arrangement of the curves of any order would furnish canons, by which the species of a curve whose equation is of that order might be found.

IV. Of the place of Curves defined from other principles in the Algebraical System.

If a curve line be defined from the section of a solid, or from any rule different from what has been here supposed, an equation to it may be derived, by which its order and species in the algebraical system may be found. And, for this purpose, any base and any angle of the co-ordinates may be assumed, from which the equation may be most easily derived, or may be of the most simple form.

The three Conic Sections are of the second order, as their equations are universally quadratic; the Cissoid of the ancients is of the third order, and the 42 species, according to Sir Isaac Newton's enumeration; this is the curve defined by the equation in page 439, col. 1. par. ult. when $b=0$. The curve delineated above in the same page, is the 41st species. When $b$ is negative in that equation, the locus is the 43d species. The Conchoid of Nicomedes is of the fourth order; the Cassinian curve is also of the fourth order, &c.

It is to be observed, that not only the first definition of a curve may be expressed by an equation, but likewise any of those theorems called loci, in which some property is demonstrated to belong to every point of the curve. The expression of these propositions by equations, is sometimes difficult; no general rules can be given; and it must be left to the skill and experience of the learner.

Scholium.

This method of treating curve lines by equations, besides the uses already hinted at, has many others, which do not belong to this place; such are, the finding the tangents of curves, their curvature, their areas and lengths, &c. The solution of these problems has been accomplished by means of the equations to curves, though by employing, concerning them, a method of reasoning different from what has been here explained.

CHAP. III.

I. Construction of the Loci of Equations.

The description of a curve, according to the definition of it, is assumed in geometry as a postulate.

If the properties of a particular curve are investigated, it will appear that it may be described from a
N^o 11.

variety of data different from those assumed in the postulate, by demonstrating the dependence of the former upon the latter.

As the definitions of a curve may be various, so also may be the postulates, and a definition is frequently chosen from the mode of description connected with it. The particular object in view, it was formerly remarked, must determine the proper choice of a definition; the simplicity of it, the ease with which the other properties of the figure may be derived from it, and sometimes even the ease with which it can be executed mechanically, may be considered as important circumstances.

In the straight line, the circle, the conic sections, and a few curves of the higher orders, the most convenient definitions, and the postulates connected with them, are generally known and received. An equation to a curve may also be assumed as a definition of it; and the description of it, according to that definition, may be considered as a postulate: but, if the geometrical construction of problems is to be investigated by means of algebra, it is often useful to deduce from the equation to a curve, those data which, from the geometrical theory of the curve, are known to be necessary to its description in the original postulate, or in any problem founded upon it. This is called Constructing the locus of an equation, and from this method are generally derived the most elegant constructions which can be obtained by the use of algebra. In the following section, there is an example of a problem resolved by such constructions.

Sometimes a mechanical description of a curve line defined by an equation is useful; and as the exhibition of it, by such a motion as is supposed in that definition, is rarely practicable, it generally becomes necessary to contrive some more simple motion which may in effect correspond with the other, and may describe the curve with the degree of accuracy which is wanted. Frequently, indeed, the only method which can be conveniently practised, is the finding a number of points in the curve by the resolution of numeral equations, in the manner mentioned in Sec. 1. of this Chapter, and then joining these points by the hand; and though this operation is manifestly imperfect, it is on some occasions useful.

II. Solution of Problems.

The solution of geometrical problems by algebra is much promoted, by describing the loci of the equations arising from these problems.

For this purpose, equations are to be derived, according to the methods formerly described, and then to be reduced to two, containing each the same two unknown quantities. The loci of these equations are to be described, the two unknown quantities being considered as the co-ordinates, and placed at the same angle in both. The co-ordinates at an intersection of the loci, will be common to both, and give a solution of the problem.

The simplicity of a construction obtained by this method, will depend upon a proper notation, and the choice of the equations of which the loci are to be described. These will frequently be different from what would be proper in a different method of solution.

PROB.

PROB. IV. To find a Point F in the Base of the given Triangle ABC, so that the Sum of the Squares of FE, FD drawn from it perpendicular upon the two Sides, may be equal to a given Space.

Draw BH, CG perpendicular on the two sides, and

let $FD\; =\; x$, $FE\; =\; y$,
$BF\; =\; z$, $BC\; =\; b$,
$BH\; =\; p$, $CG\; =\; r$,
and the given space
$FD^2\; +\; FE^2\; =\; m^2$.

From similar tri-
angles $z\; :\; x\; ::\; b\; :\; r$

Also $b\; -\; z\; :\; y\; ::\; b\; :\; p$,

and $z\; =\; b\; -\; \backslash frac\{y^2\}\{p\}$;

therefore $\backslash frac\{bx\}\{r\}\; =\; b\; -\; \backslash frac\{y^2\}\{p\}$.

$\backslash frac\{y^2\}\{p\}$. That is $y\; =\; p$

$-\backslash frac\{px\}\{r\}$, an equation to a straight line.

But $x^2\; +\; y^2\; =\; m^2$ of which the locus is a circle, having $m$ for the radius. By constructing these loci, their intersection will give a solution of the problem.

Let $KL\; =\; CG\; (=r)$ be at right angles to $LM\; =\; BH\; (=p)$, join $KM$ to which let $LN$ be parallel; $LN$ is the locus of the equation

$y\; =\; p\; -\; \backslash frac\{px\}\{r\}$; for let any line $OPQ$ be drawn parallel to $LM$, if $KP\; =\; x$, then $PQ\; =\; \backslash frac\{px\}\{r\}$, and $QO\; =\; LM\; =\; p$, therefore $PO\; =\; y\; =\; p\; -\; \backslash frac\{px\}\{r\}$.

About the centre $K$, with a distance equal to the line $m$, let a circle be described; that circle will be the locus of the equation $m^2\; =\; x^2\; +\; y^2$; for it is plain that if $OP$ be any perpendicular from the circumference upon $KL$, $KP$ being $x$, $OP$ will be $y$. Either of the points, therefore, in which these two loci intersect each other, as $O$, will give $OP$ an ordinate in both equations, $KP$ being the common abscissa; therefore $KP$, $OP$ are the two perpendiculars required, from which the point $F$ is easily found.

The construction might have been made on figure 1st, with fewer lines. If the circle touches $LN$, there is only one solution which is a minimum; and if the circle does not meet $LN$, the problem becomes impossible.

When the circle touches $LN$, the radius $m$ must be equal to the perpendicular from $K$ on $LN$, or from $L$

on $KM$. This perpendicular is equal to $\backslash frac\{pr\}\{\backslash sqrt\{p^2\; +\; r^2\}\}$ or a fourth proportional to $MK$, $KL$, and $LM$, and its square therefore is the least sum of the squares of the perpendiculars from a point in the base on the two sides.

It may be remarked also, that the point which gives the sum of the squares a minimum, is found by dividing the base, in the proportion of the squares of the two sides of the triangle; and this is easily demonstrated from the preceding construction.

PROB. V. Between two given Lines to find two mean Proportionals.

Let the lines be $a$ and $b$, and let the two means be $x$ and $y$; therefore $a\; :\; x\; :\; y\; :\; b$, and hence $ay\; =\; x^2$, and $bx\; =\; y^2$, which are both equations to the parabola, and are easily constructed. The co-ordinates at the intersection of these two loci will be the means required.

If one unknown quantity only is assumed, or if it is convenient to deduce a final equation containing only one, the construction of the roots is to be obtained by the method mentioned in the next section.

Scholium.

The constructions of the two preceding problems are geometrical; but it is sometimes convenient to have a practical solution, by the mechanical description either of the algebraical lines employed in the geometrical solution, or of other geometrical lines by which it can be effected. But few of these are tolerably accurate; so that, in general, by means of calculation, the practical operations are all reduced to what may be performed by a ruler and a compass.

III. Construction of Equations.

The roots of an equation, containing only one unknown quantity, may be found by the intersection of lines, the product of whose dimensions is equal to the dimension of that equation. And hence problems are resolved without an algebraical solution of the equation arising from them.

Thus cubic and biquadratic equations may be constructed by the intersections of two conic sections as the circle and parabola, which are generally assumed as being most easily described.

In order to find these constructions, a new equation is to be assumed, containing two variable quantities, one of which is the unknown quantity of the given equation, and the other by substitution is to be inferred also in the given equation; the intersection of the loci of these equations will exhibit the roots required.

Canons may be devised for the construction of particular orders, without assuming the new equation.

The final equation from prob. 5. would be $x^3\; =\; a^2\; b$, which being constructed according to the rules, exhibits the common geometrical solution of that problem by the circle and parabola.

If an equation be assumed, as $ay\; =\; x^2$, the other by substitution becomes $xy\; =\; ab$; the locus of the former is a parabola, and of the latter an hyperbola, one of its asymptotes being the base, and the co-ordinates at their intersection will represent $x$ and $y$; the first of the two means is $x$, and in this case $y$ is the other.

Equations also might be assumed so as to give a solution of this problem by other combinations of two of the conic sections, one of them not being the circle.

As geometrical magnitudes may be represented by algebra, so algebraical quantities and numbers may be represented by lines. Hence this construction of equations has sometimes been used as an easy method of approximation to the roots of numerical equations. For this purpose, the necessary straight lines must be laid down by means of a scale of equal parts, and the curve lines, on whose intersection the construction depends, must be actually described; the linear roots being measured on the scale will give the numbers required. These operations may be performed with sufficient accuracy for certain purposes; but as they depend on mechanical principles, the approximation obtained by them cannot be continued at pleasure; and hence it is

seldom used, except in finding the first step of an approximation, which is to be carried on by other methods.

If the relation between the ordinate and abscissa be fixed, but not expressible by a finite equation, the curve is called Mechanical (A) or Transcendental. This class is also sometimes defined by equations, by supposing either $x$ or $y$ in a finite equation to be a curve line, of which the relation to a straight line cannot be expressed in finite terms.

If the variable quantities $x$ or $y$ enter the exponents of any term of an equation, the locus of that equation is called an Exponential Curve.

Many properties of these two classes of curves may be discovered from their equations.

ALGEDO, the running of a gonorrhœa stopping suddenly after it appears. When it thus stops, a pain reaches to the anus, or to the testicles, without their being swelled; and sometimes this pain reaches to the bladder; in which case there is an urging to discharge the urine, which is with difficulty passed, and in very small quantities at a time. The pain is continued to the bladder by the urethra; to the anus, by the acceleratory muscles of the penis; and to the testicles, by the vasa deferentia, and vesiculae feminales. In this case, calomel repeated so as to purge, brings back the running, and then all difficulty from this symptom ceases.

ALGENEB, a fixed star, of the second magnitude, in Perseus's right side; its longitude is $27^\{\backslash circ\}\; 46\text{'}\; 12\text{'}\text{'}$ of Taurus, and its latitude $30^\{\backslash circ\}\; 05\text{'}\; 28\text{'}\text{'}$ north, according to Mr Flamsteed's catalogue.

ALGEZIRA, a town of Andalusia in Spain, with a port on the coast of the Straits of Gibraltar. By this city the Moors entered Spain in 713; and it was taken from them in 1344, after a very long siege, remarkable for being the first in which cannon were made use of. It was called Old Gibraltar, and is about four leagues from the New. W. Long. 5. 2. N. Lat. 36. 0.

ALGHIER, or ALGERI, a town in Sardinia, with a bishop's see, upon the western coast of the island, between Sassari and Bosa. Though it is not large, it is well peopled, and has a commodious port. The coral fished for on this coast is in the highest esteem of any in the Mediterranean. W. Long. 4. 2. Lat. 36. 0.

ALGIABARI, a Mahometan sect of predestinarians, who attribute all the actions of men, good or evil, to the agency or influence of God. The Algiabarii stand opposed to the ALKADARI. They hold absolute degrees and physical premonition. For the justice of God in punishing the evil he has caused, they resolve it wholly into his absolute dominion over the creatures.

ALGIERS, a kingdom of Africa, now one of the states of Barbary. According to the latest and best computations, it extends 460 miles in length from east to west, and is very unequal in breadth; some places being scarce 40 miles broad, and others upwards of 100. It lies between Long. 0. 16. and 0. 16. W. and extends from Lat. 36. 55. to 44. 50. N. It is bounded on the north, by the Mediterranean; on the east, by the river Zaine, the ancient Tufca, which divides it from Tunis; on the west, by the Mulvya, and the mountains of Trava, which separate it from Morocco; and on the south by the Sahara, Zaara, or Numidian desert.

The climate of Algiers is in most places so moderate, that they enjoy a constant verdure; the leaves of the trees being neither parched up by heat in summer, nor nipped by the winter's cold. They begin to bud in February; in April the fruit appears in its full bigness, and is commonly ripe in May. The soil, however, is excessively various; some places being very hot, dry, and barren, on which account they are generally suffered to lie uncultivated by the inhabitants, who are very negligent. These barren places, especially such as lie on the southern side, and are at a great distance from the sea, harbour vast numbers of wild creatures, as lions, tigers, buffaloes, wild boars, flags, porcupines, monkeys, ostriches, &c. On account of their barrenness, they have but few towns, and those thinly peopled; though some of them are so advantageously situated for trading with Bidulgerid and Negroland, as to drive a considerable traffic with them.

The Algerine kingdom made formerly a considerable part of the Mauritania Tingitana (See MAURITANIA), which was reduced to a Roman province by Julius Cæsar, and from him also called Mauritania Cæsariensis. In the general account of Africa, it has been noticed, that the Romans were driven out of that continent by the Vandals; these by Belisarius, the Greek emperor Justinian's general; and the Greeks in their turn by the Saracens. This last revolution happened

(A) The term Mechanical, in this place, is used merely as the name of a particular class of curves, without implying that they have any more dependence on the principles of Mechanics or Physics than the algebraical curves which have been treated of.