SERIES.

(1.) Series, in Arithmetic or Algebra, a rank or progression of quantities which succeed one another according to some determinate law. For example, the numbers

3, 5, 7, 9, 11, 13, 15, &c.

constitute a series, the law of which is, that each term exceeds that before it by a given number, viz. 2. Again, the numbers

3, 6, 12, 24, 48, 96, 192, &c.

constitute a series of a different kind, each term being the product of the term before it, and the given number 2.

(2.) As the law according to which the terms of a series are formed may be infinitely varied, there may be innumerable kinds of series. We shall enumerate a few of the most common.

1. Arithmetical Series. The general form of a series of this kind is a, α -Id, a + 2d, α -f- 3d, α -j-4d, &c. and its law is, that the difference between any two adjacent terms is the same quantity, viz. d. The first of the two preceding examples is a series of this nature.

2. Geometrical Series. Its general form is a, ar, ar ’ , ar 3 , at*, &c.

In this kind of series each term is the product of that which precedes it and a constant number r, which is called the common ratio of the terms. The second of the above examples is a particular case of a geometrical series.

3. Harmonic Series is that in which the first of any three of its consecutive terms is to the third, as the difference between the first and second to the difference between the second and third; hence we readily find, that putting a and b for its first two terms, its general form will be , ab ab ab α ° , b, 2^∑b' So —25’ ⅛"-30’ * c ∙

If we suppose a — 1 and b s= ∣, we get b ⅛> i> i> ⅛> «’ ^ ic ∙

as a particular example of a harmonic series.

4. Recurring Series. Let its terms be denoted by

A, B, C, D, E, F, &c.

Then we shall form a recurring series if, m and n being put for given quantities, we take

C = mA -f- ∏B, E = mC + ∏D,

D ~ mB -f-nC, F — mD + nE.

For example, let us suppose A = l, B = 2x, rn= 4x*, n=3x; then C = 10z*, D = 38z s , E = 154ar*, F = 6l4z t , so that the first six terms of the series are

1, 2x, l(λr s , 38x 5 , 154αr 4 , 6l4x 5 .

We have here supposed each term to be formed from the two which come immediately before it; but the name recurring series is given to every one in which the terms are formed in like manner from some assigned number of the terms which precede that sought. Thus, putting, as be fore, A, B, C, D, &c. for the terms of the series, and m , n , p, q, for given quantities, we shall have another recurring series, if we suppose them so related that mA -{- nß -p ρC -p çD = 0, mB -j- ∏C + pD -f-çE = 0, mC -∣- ∏D + pE -(- <7 F = 0.

The two series of quantities sin. a, sin. 2a, sin. 3a, &c. and cos. a, cos. 2a, cos. 3o, &c. are both recurring, as is manifest from the law which connects the quantities one with another. (See Algebra, § 251.)

(3.) As in general it is the sum of the terms of a series which is the object of investigation, it is usual to connect them by the sign + or —, and to apply the name series to the expression thus formed. Accordingly,

. l+S + 5 + 7+9∙∙∙ +{l+2(n-D}

(where n denotes the number of terms) is called an arithmetical series; and in like manner l+i + i + i∙ ∙∙+g⅛i is a geometrical series.

(4.) A series may either consist of a definite number of terms, or their number may be supposed greater than any that can be assigned, and in this case the series is said to be infinite. The number of terms of a series may be infinite, and yet their sum finite. This is true, for example, of the series

⅛ + i + ⅛ + T⅛+∙ *c∙ which is equivalent to unity, or 1.

(5.) We have already treated of several branches of the doctrine of series in the articles Algebra, Fluxions, and Logarithms ; and, in particular, we have given four different methods for expanding a quantity into a series, viz.

1. By Division or Evolution.

2. By the Method of Indeterminate Co-efficients.

3. By the Binomial Theorem. (Algebra, sect, xvii.)

4. By Taylor’s Theorem. (Fluxions, § 28.)

We shall here treat briefly of another branch of the theory, namely, how to find the sum of any proposed number of terms of certain series, or the sum of their terms continued ad infinitum, when that sum is finite.

(6.) There is a great analogy between the terms of a series and the ordinates of a curve which are supposed to stand upon the axis at equal distances from one another, the first ordinate reckoned from the extremity of the axis being analogous to the first term of the series, the second ordinate to the second term, and so on. From this analogy it follows immediately, that like as the nature of a curve is indicated by an equation expressing the value of an indefinite ordinate in terms of its corresponding abscissa, so also the nature of a series may be shown by an equation which shall express the relation between any term, and the num-[7:20:109] ber that denotes the place or order of that term in the series. In conformity to this method, putting the symbols T<∣), T<A T(s), &c^ to denote the terms of any series whatever, we may express it generally thus,—

T<i) + T(j) + T[j) ∙ ∙ + T(∙), where the characters (1), (2), are meant to denote the place or order of the terms to which they are joined (the first term being supposed to have the place 1, the second term the place 2, and so on), and (v ) is put for any indefinite number.

The nature of the arithmetical series a + (β + d) + (a + 2d) + (β + 3d) +, &c.

will be defined by the equation

T(.) = « + («,_ Dd; and, in like manner, the nature of the geometrical series a + ar + ar ’ + αr 3 +, &c.

will be expressed by the equation T(.) = βr'~ 1 .

(7.) As the expression for the value of the indefinite term T<∙> becomes identical with all the terms of the series in succession, by substituting the numbers 1, 2, 3, &c. one after another, for v, that expression is called the general term of the series. In the series ab ab ab α + b + ⅛∑∑i+ 3^≡26+⅛∑∑3δ +’

the general term is evidently 7 τ r— --z -τ-r∙

o (o— Dα— {v—2)b

(8.) We shall investigate the sum of any number of terms of such series as have their general terms expressed by any one of the following algebraic functions.

_ v(v+ 1) t>(e+D(t> + 2) n(t>+D(e+2)(e + 3)

”· —Γ2~ ’ —p∏—’ m ’ &c ·

Problem I. It is proposed to find the sum of n terms of the series of which the general term is the first function.

By putting 1, 2, 3, &c. to η successively for v, it appears that the series to be summed is l+2 + 3 + 4∙∙∙+n.

Now, as V = v ^ , f * e h° ve > putting in this formula 1, 2, 3, ∙ ∙ ∙ to n successively, for v ,

' , I’» λ 2 -* 48 L·?

2 2 ’

3∙4 2∙3

2 2 ’

. 4∙5 3-4 * = - 2^ Γ’

.. ,_(»—·)» (A —2)(n-1)

_ _ "(” + Ό _ (» — 1 )"

2 ∙2 "

Let the sum of the quantities on each side of the sign = be now taken; then, observing that each of the fractions on the right-hand side, with the exception of ⅛-, occurs twice, once with the sign +, and again with the sign —, by which it happens that their aggregate is = 0, it is evident that we have l + 2 + 3 + 4∙∙∙+η = -∖√ 2 -< Prob. II. It is proposed to sum n terms of the series having for its general term the second function p ( p + D

1 ∙ 2 -

This series, by substituting 1, 2, 3, &c. successively for v, is found to be

1 ∙ 2 2 3 3 ∙ 4 _ n(n -f- 1)

P^2 + l’ τ 2 + l’ r 8 ’ ’ + 1 ∙ 2 - We now, following the mode of proceeding employed in last problem, put the expression —y-⅛-under this form, e(e + l )(t> + 2) (n— Dt,(v + 1)

1 ∙ 2∙3 1 ∙2∙S ’

to which it is evidently equivalent, and, substituting 1, 2, 3, &c. successively for υ, find

1 2 1 ∙ 2 ∙ 3 n

1 ∙ 2 ~ 1 ∙ 2 ∙ 3 ’

2∙S2∙3∙4 l∙2∙3

1∙2~1∙2∙3 - Ί ∙2∙3 ’

3∙4 3∙4∙5 2∙3∙4

I∙2 - l∙2∙3l∙2∙3 ’

4 ∙ 6 _4·ό· 6 3∙4∙5

l∙2~l∙2∙S l∙2∙3

»(»+ 1 ) _ »(« +»)(” + a ) (n—D∏( n+ 1 )

1∙2 - 1∙2∙3 l∙2∙3 ’

In this problem, as in the former, it appears that each quantity on the right side of the equations, except n (n + 1) (n + 2)

—1*~~> ∙ 3 ‘ —^ , occur8 twice ' an< * wlt h contrary signs; therefore, taking the aggregate of the terms on each side, we have

1 ∙2 ι 2∙3 3∙4 ι 4∙5 l «(» + 1)

l∙2 + l∙2 + l∙2 + l∙2 " + l∙2

_ «(» + *)(” + ¾) - 1 ∙2∙3

(9.) It will be obvious, by a little attention to the solutions of these two problems, that in each, the terms of the series to be summed are the differences betwixt the adjacent terms of another series, namely, that which has for its general term the function next in order to the general term of the series under consideration; that is, the terms of the series whose general term is v , are the differences betwixt those of the series having — γ y^> for its general term; and again, the terms of this last are the differences of the terms of the series having +__++_ for its general term. Now, as the sum of the differences of any series of quantities whatever which begins with θ must necessarily be the lost term of that series,^[1. For example, let the quantities be 0, α, 6, e, d; then it is manifest that (α — 0) + (i∣ — a) + (e — ⅛) + (4 — c) w d. ] it follows that the sum of all the terms of each of the series we have considered must be equal to the last term of the next following series; and this term is necessarily the expression formed by substituting n for v in its general term, that is, the sum of the series 1 + 2 + 3 ∙ ∙ ∙ -(- n, which has v for its general

. n(jt 4- I) , , ., term, is ’ ∣ . g z ! an d the sum of the series[7:20:110] 1 2 ι 2 ∙ 3 3 ∙ 4 n(a + 1)

l’ τ 2 + T τ 2 ÷ l’ 7 2” ' + + i ∙ 2 a (a + 1) (a + 2) 18 1 ∙ 2 ∙ 3

The next series, which has -for its gene ral term, as well as all that succeed, will be found to have the very same property, as may be proved as follows. Let p denote any term of the series of natural numbers 1, 2, 3, &c. Then, because

, + p *>—1 p + l p + 1

if we multiply these equals by the product of all the factors r, —E T_, 4c. to , we get »(» + !)( » + 2 )∙∙ ∙ (p+p— 1)

1 ∙ 2 3 ∙ ∙ ∙ jd

(p ( p + D(f + 2)∙∙∙(p + P)

I 1 ∙ 2 ∙ 3 ∙ ∙ Q> + 1)

J (»-1)»(»+1)···(» + ρ-1)

I l∙2∙3∙∙∙(p + 1)

Now, if in this identical equation we substitute the numbers 1, 2, 3, &c. to n successively, for », the results obtained from its first member ρ(»+1)(» + 2)···(»+ρ—1)

1∙2∙3 ∙ ∙ ∙p ’ will be a series having this function for its general term, and the terms of which will evidently be the difference between the terms of another series having the first part of the second member of the equation, viz.

v (v + 1 ) (v + 2) ∙ ∙ ’ (v +p) 1∙2∙3∙∙∙Q>+1) ’

for its general term: Hence it will happen, as in the two foregoing problems, that the sum of all the terms of the former series will be equal to the last term of the latter; which conclusion may be expressed in the form of a theorem, as follows:

THeorem. The sum of n terms of a series having for its general term the function »(»+1)( » + 2) ···(»+ρ-1) l∙2∙S∙∙∙p is equal to a(a + D(a + 2 )∙∙∙∙( a + p) l∙2∙3∙∙(7+tr ∙

Or, setting aside the denominators of the terms, we may express the theorem thus: The sum of n terms of a series, having far its general term the expression

»(»+ 1)(» + 2)···(»+ρ_1), is equal to w(a + O(» + 2) ···(»+/>) P + 1

We shall give a few particular cases of this formula.

I. l +2 + 3 + 4∙∙∙ + * = "(w + υ ∙

II. l∙2 + 2∙3 + 3∙4 + 4∙5∙∙∙ + n(>I+ 1)

_ a(a+D(a + 2) - 3

III. l∙2∙3 + 2∙3∙4 + 3 ∙ 4 ∙ 5 ∙ ∙ ∙+a(n+1) (a + 2)

n (n+D(n+2)(n+3 )

- 4

(10.) By means of the above general theorem, we may find the sum of any number of terms of a series composed of the powers of the terms of an arithmetical progression, the general term of which will, in the simplest case, be t i , p being a given number. The manner of doing this will appear from the following problems.

Prob. III. It is proposed to find the sum of a terms of the series of squares 1 + 4 + 9 + 16 + 25 +, &c. or 1’ + 2 ii +3 s + 4* + 5 ! +, &c.

The general term of this series being r*, we put it under this form, v (v + 1) — v; hence we get, by substituting 1, 2, 3, &c. for V,

1*= l∙2-I,

2» = 2 ∙ 3 — 2,

3 3 = 3 ∙ 4 — 3,

4 ! = 4 ∙ 5 — 4, n 2 = n(a + D- η.

Therefore, adding, we find I« + 2» + 3» + 4’ ∙ ∙ ∙ ∙ -tn*

il∙2 + 2∙S. + S∙4 + 4∙5∙∙∙ + a(a + D t — (l + 24-8-f-4 ’ ∙ ’ 4∙n).

But by the general theorem (9.)

l∙2+2∙3 + 3∙4∙∙∙ + a(a+D = - C” + Ό < w + J), and 1 + 2 + 3 + 4 ∙ ∙ ∙ + n = — ) . therefore l 2 + 2 2 + 3 2 + 4 2 ∙ ∙ ∙ + η i _” (" + D(n + 2) a(n + D

3 2

_ a (a + 1) (2a + 1)

6

We might have arrived at the same conclusion by considering, that since »‘, the general term of the series, is equivalent to v (v + 1 ) — v, the series must be the difference between two others, one having υ (υ + 1) and the other υ for its general term; for the sake of perspicuity, however, we have put down the terms of all the three series.

Prob. IV. It is proposed to find the sum of n terms of the series l 3 + 2’ -∣- S 3 + 4 3 + 5’ +, &c.

The general term in this case is «’; now, to transform this function, so as to deduce the sum of the series from the general theorem, we assume υ 3 = v (» + 1) (v -j- 2) + Α» (» + 1) + Be, where A and B denote quantities which are to have such values as shall render the two sides of the equation identical, whatever be the value of υ . Taking now the product of the factors, we have v 3 = v 3 + (A + 3) »' + (A + B + 2) v, therefore, by the theory of indeterminate co-efficients (Algebra, § 159),

A + S = 0, A + B+ 2 = 0t hence we find A = — 3, B = — A — 2 = 1; thus it appears that, v being any number whatever, υ 3 = v (υ -J- 1) (» + 2) — 3» (» + I) + ».

Now, let S denote the sum of n terms of the series under consideration, which has υ 3 for its general term, and put P, Q, R for the like sums of the three series whose general terms are the functions υ (υ + 1) (υ + 2), υ (υ + 1), and “respectively; then it is evident that S = P — 8Q + R. But by the theorem (9.)

_ a (a + 1) (a + 2) (a + 3) ,

4

n _ a (a + 1) (a + 2)

3 —,

_ a(a + D

κ- 2 ,[7:20:111] m -, i , ι 5√ l "÷ l - i -÷ ill -÷ι l _„(„ + i)<,. + 2) + ÜÜ±-!>, and, by proper reduction,

S = 1 3 + 2 3 + 3 3 + 4 3 ∙∙∙ + w j =--⅞2 )ζ 4»

Corollary. We have found (Prob. I.) that 1 + 2 + 3 + 4∙∙ + n=

therefore, comparing this with the result just now obtained, it is evident that

(1 + 2 + 3 + 4∙∙∙ + n)'= 1’+ 2 3 + 3 3 + 4 3 ∙∙∙ + w 3 . This is a very curious and elegant property of numbers.

(11.) It is manifest that, by the mode of proceeding employed in last problem, we may investigate the sum of n terms of the series

1™ + 2 m + 3 n, + 4 ra +, &c.

m being any whole positive number whatever; and indeed in the very same way we may find the sum of any number of terms of a series whose general term is a + bυ + cv i + dυ s +, &c.

where a and t, &c. denote given numbers; namely, by transforming it into a function of the form

A + B υ + C υ (v + 1) + Dr(» + 1) (» + 2) +, &c. where A, B, and C, &c· denote constant quantities. Our limits, however, will not allow us to go into particulars.

(12.) The next class of series we shall consider, comprehends such as may be formed by the successive substitution of α, o+ 1, α+ 2, &c. (a being put for any given quantity whatever) in the βeries of functions

1 1 1 .

V (v + 1 ) ’ v (v + 1 ) (» + 2) ’ v (v + 1 ) (« + 2) (υ + 3) , C ’ We shall begin with the first of these.

Prob. V. It is proposed to find the sum of n terms of the series

α(β+ 1) + (o+D(o + 2) + (α + 2)(α + 3) +, &C * which is formed by substituting a, a + 1, β + 2, &c. successively for v in the general term , ∖ ,,.

v(υ + 1)

Whatever be the value of v, we have 1 _l 1 e(v + I)" v v + 1’

therefore, proceding as in the foregoing problems, we get 1 _ 1 1

a(a +1) α β+ l’

1 _ 1 1 (β + 1) (a + 2) - a + 1 a + 2’

1 I 1

(o + 2) (o + 3) - a + 2 a + 3’

_1 1 1

- («+ «— 2 ) (o + n—I) o + »— 2 α+n—1’

1 _ 1 l_

(a + n—D(o + n) o + n—l a + η

Here it is evident that the terms of the series to be summed are the differences betwixt every two adjoining terms of this other series,

- 1 + ∙∙ 1 + ' 1 p 1 ∣ 1 ∙

a α + 1 o + 2 α + 3 a + » ’ hence it immediately follows, that the sum of all the terms of the former is the difference between the two extreme terms of the latter; that is,

- 1 - + 1 .... + ∖ α (α + 1 ) (α+D(α + 2) (a+n — D(a+n)

_ 1 _l_

a a + n

If we suppose the series to be continued ad infinitum, then, as n will be indefinitely great, and - indefinitely small, the sum will be simply -; or, in other words, the

α

fraction - is a limit to the sum of the series. a Prob. VI. Let it be required to find the sum of n terms of this series,

1 ι 1 o(o+D(o + 2) + (o+ D(o + 2)(α + 3)

+ (a+ 2) (o + 3) (β + 4) +, &C · 5 the general term in this case being —-,—, _. ,— i — i ∖.

v(υ + 1) (v + 2√

2 11

Because ———— = —therefore, multiplying υ{y + 2) v v + 2 ∣ ; b by ¾⅜⅞i) , we have t>(o+ D(t> + 2) = ÷ { v∖ υ + 1) - („+ D(p + 2)} i and hence, by substituting α, a + I, o + 2, &c. successively for v, a(a+D(o + 2) 2 {a(o+D (o+D(a + 2)∫ ’

(o + D(β + 2)(o + 3) = 2 { (a+ D(o + 8)

~(o + 2)(o + 3)} ’ 1 -/ 1

(o + 2)(o + 3)(o + 4) 4(a + 2)(a + 3)

~(a + 3) (a + 4)} ’

1

(o + n — 1) (a + n) (a + n + 1)

- 2 { (a + n — 1) (a + n) (a + n) (a + n + 1) ∫ ' Hence it appears that the terms of the series to be summed are the halves of the differences of the terms of the series a(α + J) (o + 1) (« + 2) τ (o + 2)(β + 3) ’ ’

-I- 1 fo + n)(a + n+ 1)’

consequently, the sum of all the terms of the former is half the difference between the extreme terms of the latter, or is =

2 { a (α + 1) - (a + n) (a + n +1) } '

(13.) From these two particular cases it is easy to see how we may sum the series when the general term is

1

v (v + 1) (» + 2) . . . (υ + p)' [7:20:112] p being any whole number whatever: for since P 1 1_

p(p + p) v V + p therefore, multiplying the denominators by all the factors which are intermediate between v and ν + p, we have v (r + I)? (v'+ 2) "',. (t> + p)

1

- v (v + 1) (v + 2) ... (p + p — 1)

1

(p+D(p + β)(e + S)...(e+p)∙

Now the latter side of this equation is a general expression for the difference between any two adjacent terms of a series whose general term is

__2 1

r(r+ 1)(p + 2)...(p +/> —1) ’ therefore the difference between the first and last terms of this series must be the sum of the series whose general term is the function on the other side of the equation, viz.

. . ' , P

® (® + 1) (p + 2) . . . (e + pf Hence we have the following very general theorem.

THEorem. Let a denote any number whatever, and let l, 2, 3 . . . p 6e α series of numbers, each of which exceeds that before it by unity; the sum of n terms of a series formed by substituting the numbers a, a +1, a + 2, &c. to a + n — 1 successively for v in the function

1

p (v + 1) (y + 2) . . . (p + p) is equal to

1; α(<t + 1) (α+^i2) ... (α + j>-r-D

Ü) 1

' (a + n)(o + n+D(o+a + 2).. . + (o + n+∕‰-i)^

Corollary. The same series continued ad infinitum is equal to

1 1

p ' α (a +1) (α + 2) ... (a + p— 1)"

(14.) We shall now give examples of the application of this theorem.

Example 1. Required the sum of n terms of the series I 1 1

2 ∙ 3 ∙ 4. ∙ 5 ’ 3 ∙ ⅛ ∙ 5 ∙ 6 ' 4L ∙ 5 ∙ 6 ∙ 7 ,

The terms of this series are evidently produced by the successive substitution of the numbers 2 3, 4, 5, &c. for r in the function

1

p(p+ D(p + 2) (p + 3)’

therefore, comparing this expression with the general formula, we hâve a = z, p — 3, and the sum required = IÎ_J ~ 1, )

t 12∙3∙4 (2 + ») (3 + n)(4 + n)∕∙

Ex. 2. Required the sum of the series 1 - l ’. 1 . 1 t_.~

I ∙ 4 ∙ 7 ' 4 ∙ 7 ∙ 10. 7 ∙ 10 ∙ 13 ^ t " 1,0 ∙ 13 ∙ 16 ^*^ ’ continued αrf infinitum.

By a little attention it will appear that its terms are produced by the substitution of the numbers ]∙, 1+ 2⅛, &c. successively for p in the function

1 _ 1 3e (3p + 3) (3p +^6) - 27v(p+ 1) (e + 2)‘

In this case, a — ⅜, p = 2, therefore the sura is

I×l× _L_-1

2 27 ⅜ X 1⅜ - 24'

(15.) When the function from which the series is derived has not the very form required in the theorem, it may be brought to that form by employing suitable transformations, as in the two following examples.

Ex. 3. It is proposed to find the sum of the series

± + ±+-i+± + &c

1∙4 2∙5 3∙6 4∙7 +, continued ad infinitum.

This series is evidently formed by the substitution of the numbers 1, 2, 3, &c. successively for v in the function t , ( t , 4- ¾y This expression, however, does not in its present form agree with the general formula, because the factore p + 1, p + 2 are wanting; therefore, to transform it, we multiply its numerator and denominator by (v + 1) (p + 2), and it becomes (p ÷ I)(p + 2) p(p+ 9 (p+2)(p+3)∙

We next assume its numerator

(p + D(e + 2) = A(e+ 2)(p + 3) + B(c+ 3) + C, and by multiplying get p ! + 3e + 2 = At? + (5A + B) v + (6A + 3B + C); therefore, that p may be indeterminate, we must make

A = 1, 5A + B = 3, 6A + 3B + C = 2, from which equations we get A = 1, B — 3 — 5A ≈ — 2, C = 2- 6A — 3B = 2, so that

_J (P + 2) (p + 3) - 2 (P + 3) + 2 p(p+3) p(e + 1) (p + 2}p + 3)

_ 1 2____

p (p + I) v (p + 1) (p + 2)

+ ?

' p(p + 1)(p + 2)(p + 3)'

Thus it appears that the proposed aeries is resolvable into three others, the general terms of which all agree with the theorem-Now the sum of the infinite series whose general term is . ∖— r - appears by tħc theorem to be -, orl,bep(p + I) r, z a cause α = 1, and the sum of the infinite series whose ge-

- r 2

neral term is —;—, ,. .— r - 5s is in like manner found p(p + 1>(p + 8)

t0 be ΐ + Γ⅛ = ΐ ; and > ,astl >' the infinite series 2

whose general term is . , ,.-.—-,-⅞⅛--.—, o . is e p (p + D (e + 2) (p + 3)

* 2 1 1

—; , g . g “§· therefore, collecting these into one, the sum of the proposed series is 1 — 1 + 5 = TΞ> the answer.

Ex. 4. Required the sum of the infinite series 1 . 2 3 , 4 1 s

2 3 ∙ 4 + 3 ∙ 4 ∙ 5 + 4 ∙ δ ∙ 6 ^ ’ ^ 5 ∙ 6 ∙ 7 +, &C ·

The terms of this series are evidently formed by the sub stitution of the numbers 2, 3, 4, successively in the function p—I p(p + 1) (o + 2)’

Now p — 1 = r + 2 — 3; therefore p _ 1 I I S i 1 p(p+ D(p + 2)~ β (s>+ 1> p(p+1>(p+2)∙

Thus it appears that the proposed series is reducible to two[7:20:113] others, one having its terma produced by the substitution of

2, 3, &c. for v in the function —, and the other by e(υ + 1) j

3

a like substitution in the function —,—. .. .— r -Now, c(t' + D(u+ 2)

by our theorem, the sum of the first of these is -, and that of 3 1 1

the second is —5- ' —5 = — -, therefore the sum of the A A ' .s 4

. . . 1 1 _ 1

proposed series is 5 — - = -.

From these examples it is sufficiently evident how the theorem is to be applied in other cases; and it appears also, that by means of it we can sum any series whatever whose general term is of the form ∣ 5. , C , t∙(l + e)^ t ^r(l+ u)(p+ D^ l ^r(e + ∣)(e + 2)(υ +3) +, &c.

or admits of being reduced to that form.

(16.) It deserves to be remarked, that the series

1 1 I 1 1

Î + 2+3 + 4 +5+’ &C · which is of a very simple form, and in appearance of the same nature as those we have summed, does not, however, admit of being treated in the same manner; and indeed if it be continued cd infinitum, its sum is infinite, that is, it exceeds any number which can be assigned. The truth of this assertion will be evident if we can show that a certain definite number of its terms, beginning with any proposed term, can always be found, the sum of which shall exceed an unit, of 1; for this being the case, as we can go on continually in assigning such sets of terms, we can conceive as mnny to be taken as there are units in any proposed number, however great; and therefore their sum, and much more the sum of all the terms of the series, from its beginning to the end of the last sets of terms, will exceed that number. Now, that this can always be done may be proved as follows:

Let the term of the series from which we are to reckon bc^, then, if the thing he possible, and if n be the requisite number of terms, we must have

1 I I 1_ l w+α-∣-l+α-f-2 a -f- 3 + π -∣- n— 1 ' Now, because 0 (1 + D≈= 0+2 ÷∙ √. + i)'=.+. + i + ⅛

and in general,

α(l+D i '=σ + p + ^=21+,ftc. therefore, p being any whole number, a ( 1 + -) ’ a + ρ, and consequently β ⅛7¾ ι hence it follows, that the series ’ 1 1 , 1 1 a + a + I + a -(- 2 " + α -in — I

w ill be greater than the other series μ ≠Γ≠Γ≠l’

1

+ ∕. ∣∖ i ~ l α (1 + 0)

Now, this last being evidently a geometrical series, of which the common ratio is ——r its sum is

+-ι ’

1 4- 1 _ -!-_

' FT

therefore the sum of the series l I 1 1 1 1 a af-l+α4-2 + α-}-3 - +a-f-n — I

will always be greater than this expression; but if we suppose η so great that the quantity (l -(- -) is equal to or exceeds a, which is evidently always possible, then the above expression for the sum of the geometrical series will be equal to 1, or will exceed 1; therefore the same number of terms of the series-^ + -——, -1 -—7: + —7—4-, &c. will al-

α l α-∣-l 1 a -{- 2 ’ a 4- 3

ways exceed 1; now this is the property of the series we proposed to demonstrate.

When a = (l 4- ^) , then d t = a (l -f-; but this quantity is greater than a -in— 1, the denominator of the last term of the series i + ^ + LL a+ -J-... + I—, a' a-j-L'a-j-2 a -j- 3 a -j- η — 1 the sum of which, we have proved, will upon that hypothesis exceed unity; much more then will the sum exceed unity if we suppose the series continued until the denominator of its last term be equal to or greater than a*. Hence, beginning with the term ∣, it appears that i + ⅜ + 4_ ’ >

, 1

i + i∙∙∙ +⅛τpΙ,

, 1

9 ⅛+ 2V∙∙∙ + 676 = 26*^ 1 -

K⅛ + 5⅛” ∙+ 45832 9 _ 677 . 1,

<S∙∙c.

Although the sum of the series we have been considering is infinite, yet it evidently increases very slowly; indeed it is a limit to all such as have a finite sum; for every infinite series the terms of which decrease faster than the reciprocals of an arithmetical progression is always finite.

(17.) We have already explained what is meant by a recurring series (2.). We shall now treat briefly, first, of their origin; next, of the way in which they may be summed; and, lastly, of the manner of determining the general term of any particular series.

The series which is produced by the development of a rational algebraic fraction has always the property which constitutes the characteristic of the class called recurring (2.); and, on the other hand, any series having that property being proposed, an algebraic fraction may be found, by the expansion of which the series shall be produced.

1 _L. 2 X

The fraction —— -, for example, by dividing the numerator by the denominator, is converted into the infinite series

1 ψ3χ-j-4χSψ7x 3 -p 11 X* -f∙ 18 x i -∣-, &c.[7:20:114] which is of such a nature that if T, T', T", denote any ' three of its succeeding terms, their relation to one another Is expressed by the equation

T''=Tx ’ + T'a∙.

If we employ algebraic division to convert the fraction into a series, the law of its terms will not appear so readily as if we were to use the method of indeterminate co-efficients. By this method we assume the fraction equal to

A -fB X 4- C x t 4. D x 3 + E X* -(-, &c.; and hence, multiplying by the denominator, and bringing all the terms toone side, as explained in Algebra, § 159, we have

A + B1 + Ci + D)

— 1 — A J- X— B x 2 - C ’- x 1 +, &c. = 0;

-2i — A) -B)

and hence

A —1-0, C —B —A = 0,

B—A — 2 = 0, D — C —B = 0,

&c.

From these equations it appears that the law of the series is such as we have assigned.

The equation expressing the relation which subsists among a certain number of succeeding terms of a recurring series is called its scale of relation. The same name is also sometimes given to the equation expressing the connection of the co-efficients of the terms. Thus the scale of relation of the foregoing series is either T'=Tλ+ Υ'x', where T, T', and T" denote any three succeeding terms of the series; or it is

R = P + Q, where P, Q, and R denote their numeral co-efficients.

(18.) We come next to show how the sum of any proposed number of terms of a recurring series may be found. Let the series continued to n terms be

T(i> 4- 1 (»4· T∣∣)... 4 T <»—2) -)- T (»—i) + T (n), where the characters T <ιj, T <a,, &c. denote the successive terms, and the numbers (1), (2), &c. their order or place; and as, whatever number of terms is contained in the scale, the manner of summing the series is the same, we shall in what follows, for the sake of brevity, suppose that it consists of three, in which case it may be expressed thus, p'ι (a-2) 4- gΓ (.-I) 4- rT (») = 0, where p, q, r denote certain given quantities.

The scale of relation affords the follow ing series of equations, pT (i) 4- q T (2) 4- rT <s) = 0, pf (2) + yT (3) -(- rT (4) = 0, pT (J) 4- yT (4) -J-rT (51 = 0, pT (»—2) 4- qT (»—η 4- rT (») = 0.

Taking now the sum of these equations, we get

∕> {T (i) 4- T (2> 4- T (»>· ∙ ∙ 4- T (>-2); I

+ q {T<s) 4- T(J) 4- T(4)∙ ∙∙ 4- T (»-!)} > = 0.

4-r {T«) 4- T(4) 4- T(β) ’ ∙∙ 4- T(.)} J But, putting s for the sum of n terms of the series, this equation may manifestly be expressed thus, P { i —T (n) — T(β-ι,} )

+ 7 { s ~ T(» — T ου} f= 0 ∙

4-r {s-T(∣)-T(2>} )

Hence, after reduction, we find s = p{T(.-∣) + τ w } +y{T( l )4-T(,)} + r{T(∣) + Tθ)} .

,. , . P + + τ from which it appears that in this case the sum depends only on the first two and the last two terms of the series.

Example. It is proposed to find from this formula the sum of η terms of the series

1 4- 2λ 4- 3λ , 4- 4∙r 3 4* 4-, &c.

its scale of relation being λ s T (» —2) — 2x T (»—1) 4- T (∙) = 0.

Here p = x 2 , q = — 2x, r = I, therefore, observing that the last two terms of the series must be (n — 1) x λ ~ 1 and na, n-1 , we have, after substituting and reducing,

_ 1 — (n 4 Dι" 4- x"* l t ~ 1 1— 2ι 4- x l

This formula will not apply in the case of x = 1, because then the numcrator and denominator are each = 0: but in such cases as this we may find the value of the function which expresses the sum by what is delivered at § 55, FLUX1ONS.

(19.) The process by which we have determined the value of n terms of the series T (i) 4- T (2) 4- T (3) +, &c. will also apply to the finding the rational fraction from which the series may be deduced, which is also the sum of the series continued ad inf nilum. For in this case the equation from which we have deduced the sum being P {T (I) 4^ P W + A (3) 4-, &c. [ j

+ y {T (2) 4- T (3> 4- T («) 4-, &c.} > = 0,

+ r {T (3) 4- T (4) 4- T (β) 4-, &c.} )

that is, ps 4. y { s _ T (I)} 4. r {» — T (i) — T w } = 0,

V {? + r} T (I) + r T (2)

we have s = — r p + y + r

For example, let it be required to find the fraction which, being developed, produces the series

1 4^ %x + S∙r s + 4x 3 4^> & C · the scale of relation of which is x ’ T (∏-J) — 2∙rT (»—1) 4- T <») 4- 0.

Here p = «*, y = — 2x, r = 1, T (∣) = 1, T (2) = 2x; therefore, substituting in the formula, we get

1 l_

1 — 2x 4* x " ( I — ∙ t )'

for the fraction required, or for the sum of the series continued ad infinitum.

(20.) We come now to the last branch of the theory of recurring series which we proposed to consider, namely, how to find in any case the general term.

We shall begin with the most simple, and suppose the fraction to be ~ l , which being expounded into a series by division, is a 4- apχ 4- afi l χ 1 4^ α p 3 χ3 ^∣^> & c ·

Here it is immediately manifest that the general term is σ∕>" -1 a·"—*.

Next let us suppose the fraction to be ∣ T α j√-^ t 3.τ∙ -

Let the two roots of the quadratic equation 1 — ax — βx'

= 0 be x = -, x = -, so that 1 — px — 0, and 1 — qx ρ q

= 0; therefore 1 — ax — βx l — ( 1 — px) ( 1 — qx) ; thus we have a 4- hx _ a 4^ b χ

1 — αx — βχ∙ ~~ (1 —∕xr)(l — q χ )

Let us assume this expression equal to

_Q_

1 — px~ i. — qx' where P and Q denote quantities which are to be independent of x; then, reducing to a common denominator, we have

_ a ÷ kr _ P + Q — (yP + pθ)5

(l-^x)(l-yr) - "^(Γ-px)(l-y r)

Hence, that x may remain indeterminate, we roust make[7:20:115] P + Q = σ, çP + pQ = — b, and from these equations we get p _ ' 1 P + b Q __ g 9 + b p-g , p-q'

Now, by the operation of division, we find i - l’ pj = p + p p χ + p p iι *' + 4c ∙

- r -—— = Q + Qqx + Q∣jr⅛ 2 +, &c.;

1 — qj: .< r σ + bx P , Q .. p 1 therefore, since τ τc^t = ·: 1- - , it lol-

1— ax — px i 1— px 1 — qx lows that the development of the fraction i —~∙^-⅛ s - 5 ,

1 — ax — px ’ which proceeds according to the powers of x, is

(P + Q) + (Pp + Qq) x + (Pp* + Qr∕ 2 ) x 2

+ (p p 3 + Qr 1 ) a " 3 +> & c·

And here it is evident that the general term is (Pp" -1 + Qy"-') x"~ l .

Let us take as a particular example the fraction

1 — x

1 - x —2x s ' w h' c h w hen expanded into a series, becomes

1 + Ox + 2x’ + 2x 5 + 6x ’ + 10x s + 22χβ + 42x 7 + 861“ +, &c.

Here, from the equation 1 — x — 2x" = 0, we get x = ⅜ and x = — 1, so that 1 — 2x and 1 + x are divisors of the function 1 — x — 2x 2 , that is, 1 — x — 2x ’ = (1 + x) (1 — 2x); hencep = — 1, q = 2; and sincea = 1,0 =— 1, therefore P = Q = ⅛, and the general term (Pp" — 1 -Ι

Ο/·- 1 ) x" -1 becomes, by substituting, r2 11 2*—1-4-9

{ 5 (- 1 )-> + 32.-}x- ’ = ^⅛-a- ’, where the sign + is to be taken when n is an odd number; but the sign — when n is even.

Sometimes the values of p and q will come out imaginary quantities; these, however, will be found always to destroy one another when substituted in the general term.

Let us next suppose the fraction which produces a recurring series to be a 4. bx 4- ear 1 — ax — βx 2 — γx s '

Let x = -, x = -, x = - be the three roots of the cubic P I r equation 1 — ax — βx l — γx 3 = 0, then the denominator of the fraction will be the product of the three factors

1 — px, 1 — qx, 1 — rx.

We must now assume the fraction equal to the expression

1 — px 1 — qx 1 — rx ’ in which P, Q, R denote quantities which are independent of X.

The three terms of this expression are next to be reduced to a common denominator and collected into one, and the co-efficients of the powers of x in the numerator of the result are to be put equal to the like powers of x in the proposed fraction; we βhall then have

P + Q + R = β, (q + r) P + ( p-∣- r) Q + (p + q) R = — b, qrP + prQ + pyR = c, and by these equations the values of P, Q, R may be found.

r . P Q R 1 1 1 .

∙<~∙et η , , -=—-— be now resolved into se-

1 — px 1 — qx 1 — rx ries by division ∙ then, adding the like powers of x in each, *e have

(P + Q + R) + (Pp + Q.q + Rr) x + (Pp 2 4- Q7 2 + Rr 2 ) x 2 -J-, &c.

for the series which is the development of the fraction a + bx + cx ’

1 — αx — ∕3x s — yx ’ and here the general term is evidently

(Pp"- 1 + ⅝"- ’ + Rr"- ’) s^~ 1 ; and in thς very same manner may the general term be found in every case in which the denominator of the fraction admits of being resolved into unequal factors.

(21.) Let us now suppose the fraction to have the form ( l’ + √ , t ^ le l ^ enom * natθr being the product of two equal factors; this fraction cannot be decomposed into other fractions the denominators of which are the simple factors of its denominator. We may, however, transform it into two, which shall have their numerators constant quantities by proceeding as follows: Assume the numerator α + bx = P + Q(l —px), then, that x may remain indeterminate, we must have P + 0 = a, — pQ. = b, therefore

Q = --,P = α+-.

P P

The assumption of α + 6x=P + Q(l —px) gives us therefore a -)- bx _ P Q

(1 — pxf i — ( 1 — px) s 1 — px' Now, putting the first term of the latter side of this equation under the form P (1 — px)~ 1 , it is resolved by the binomial theorem into the series

P ( 1 + 2px + 3p 5 x t + 4ρ 3 x 3 +, &c.); the other fraction, τ———, being expanded into a series, is 1 — px

Q + Qpx + Qp'x 2 +, &c.

Therefore the complete development of [p—* s

P + Q + (2P + Q)px + (3P + Q)p 5 x 2 +, &c. and here the general term is manifestly («P 4- Q)p" -1 x"- 1 , or, substituting for P and Q their values,

{npa + (n— 1) bjp π ~ i χ"- 1 .

(22.) In general, whatever be the form of the fraction from which a recurring series is derived, to determine the general term we must decompose the fraction into others which may be as simple as possible; and provided it be rational, and the highest power of x in the numerator at least one degree less than the highest power in the denominator, it may be always decomposed into others having one or other of these two forms P 5__

1 — pχ ’ (l — qχ) n, in which expressions P, Q, p, and q, denote quantities independent of x. Each partial fraction gives a recurring series, the general term of which will be sufficiently obvious; and as the series belonging to the original fraction is the sum of these series, so also its general term will be the sum of all their general terms.

We have now treated of some of the more general methods of summing series which admit of being explained by the common principles of algebra; but the subject is of great extent, and to treat of it so as to give a tolerable notion of its various branches, would require more room than could with propriety be spared in such a work as ours.

(23.) The method of fluxions or differential calculus affords a method, almost the only general one we possess, of summing series. The general principles upon which it is applied may be stated briefly as follows. Since the integral of any differential containing one variable quantity may always be expressed by a series, on the contrary, every[7:20:116] series may be regarded as the expression of an integral: when any series then is proposed, we must endeavour to find the differential expression of which that series is the integral; and as we can always find the integral of a differential, at least by approximation, within given limits, we may thence determine, if not the exact, at least the approximate value of any infinite series. We shall now show how this principle may be applied in some particular cases.

Problem I. It is proposed to find the sum of “terms of the series x + 2x 2 + 3x s + 4,r 4 ∙ ∙ ∙ ∙ -+- nx".

Let the sum be denoted by s. Then, multiplying all the terms by —, we have 1 X sdx — — dx 4- 2xdx + 3x s tfx ∙ ∙ + nx"dx. X

Let the integral of both sides be now taken, and the result is

Z ≈ X + x i + x 3 + x i ∙ ’ ’ + x^. %' X

Now the series on the right-hand side of this equation is a geometrical progression, the sum of which is known

X — x” * l to be i -- (Algebra, § 56). Therefore psdx X — x" 11 J X 1 — x ’ and, taking the differentials, dx_dx — (n + Dx n dx + rix κ , 1 dx ___ (T^xÿ ’

Hence we find X — (n + Dχ"* l + nx n * s

This result agrees with that formerly found (17) of this article.

Problem II. It is proposed to sum the infinite series

ι 1 I 1 1 i 1 1 . , 1 3 + 5 7 + 9 n+>* ic ∙

We may consider this series as a particular case of the more general series x 3 . x s x 7 1 „

«—-§- +y — 7^+> &c ’

namely, that in which x = 1. Putting therefore the sum = s, and taking the differentials, we have ds = dx (1— x∙ + x t — x 6 + , &c.).

Now the series in the parenthesis is obviously the develop- 1 d x ment of the rational fraction — i —⅛ therefore els = l+a l+χ-

and taking the integral s = arc (tan. = x) + c, radius being unity. (FluxioNS, § 139.) Now, when x = 0, all the terms of the series vanish, so that in this case «= 0; and a3 when x = 0, arc (tan. = x) = 0; therefore c, the constant quantity added to complete the fluent, is 0, and we have simply s = arc (tan. = x), and when x = 1, then s = l a quadrant = ∙7853982.

Problem III. Required the sura of the infinite series x , x s , x a , x λ ,

1 ∙ 2 ' 2 ∙ 3 * 3 ∙ 4 *" 4 ∙ 5 ’ t

Putting s for the sum, and taking the differentials, we get rfx Zx 2 x 3 x 4 x* ∖

⅛ + 3 + 4~ + ^5 + > ftc ∙)

Now the series in the parenthesis is evidently equal to

—x—Nap. log. (1 —x), (see Algebra, sect, xix.); therefore ds = -~-~χ Nap. log. (I —x).

To find the integral, let us put v for the function - log.

(I — x), then, taking its fluxion, we have

, rfx , . 1 , dx

A = - p -×log.(I-x,- 7lτ -- y and --J × log. (1 —x) = dv+ i -^-); therefore, substituting, we get j , dx dx

'x(l—x) x , dx = dv + Γ=r x > and taking the integrals, s = v — log. (1 — x) + c

= ⅛⅛=i>-⅛<l-.> + c .

To determine the constant quantity c, let us take x = 0; then in this case all the terms of the series vanish, so that s = 0, also log. (1 —x) = log. 1 =0; and since in general log.(l-x)_l/ .r s x’ ∖ χ

—χ- 2 - 3—’ 4c 9 = - 1 - 2 -

, &c. when x = 0, then ⅛-i 1 r ) = — ι ; there-

3 x fore 0 = — I -∣- c, and c = I; hence it appears that

_ (l—x)log. (1— x) 1 x ∙^

Example. Let x = ⅜, then our formula gives 1 ι 1 . 1 i l∙2∙2 + 5S∙3∙tf + S∙4∙2 s + 4∙5∙8∙ +, &c · - 1 - Nap. log. 2 = ∙3068528.

Problem IV. Let the series to be summed be , “i m -U 1 .anJ- 2 .

1 + —x H v- τ x i -J 3-,r' 4-, &c.

n ‘n-f-l ’ n-∣-2 r Putting s for this series, let all its terms be multiplied by x “ - 1 , so that the exponent of x in each may be identical with its denominator; the result is

«— = *∙-> + £ *" +⅛-" f ' + ⅛" t, +>*c and hence, taking the differentials

χ∙ ’ ^^ ’ d⅛ -J-(n—Dix" - ¾∕x = (n — Dx"— a dx -J- mx n ~ i dx + (m + 1 ) x n dx 4- (m -∣- 2) x " h dx-f-, &c.

Let both sides of this equation be now multiplied by x m ~ ", and it becomes x∙"->tir -p (n — Γ)sχ m ~ a dx=(n—Dx , "~ a dx + mx" l -'dx + (»» -(- 1 ) X" , dx + (m + 2) x w, 1 dx -∣-, &c.

Putting now the single character dp for the fluxional expression which forms the first member of this equation, we get, by taking the fluents of both sides, p=^∈~X"- 1 + x™ + x"' 1 + x”» 2 +, &c.

= ⅛*"- 1 + *"(l+* + * ’ + * 3 +,*c.)!

but the series in the parenthesis is the development of

—, therefore 1 — x

« — 1 1 x m p = r x ra - 1 -)- 1 .

m — 1 ’ 1 — χ[7:20:117] Taking now the fluxions, and substituting instead of dp the expression it was put to represent, we get x n ~ ’ ds + (» — 1 ) sx m ~ t dx = (n-D*-¾te + Ί -—- +(Τ= -

and this, after reduction, becomes d s+--sdx = —- + T __ + __.

This fluxional equation being of the first degree and first order, its primitive equation may be found (from the general formula given in Fluxions, § 171) to be 1 V cf z ι∖ „ s; ,mx"~'dx x n dx 1

i = F= 7 ∙×√i ( "“υ ~ dx+ -∣⊂7~ + J 5 and this again, by remarking that p(n — i)x π ~ t dx = x^ ~ *, and that

∕>m r" ^^ l dx mx n ∕∙ mx^dx J ∖-x - n(l —a·) - .∕∏(l-.r)∙ ’ may be reduced to

— ι _l mx ∣ w — m l’ χn d χ

« (I — x) m n ~ l J (1 — je) s '

/» .}' “(lfC

The remaining fluent ∕ — - 3 may be found by § 101, Flux∣0N3, and it must be so taken, that after being multiplied by - it shall vanish when x = Ö; for then this hypothesis will make the whole function which expresses the value of s vanish, except its first term 1, as it ought to do.

Example. Let us suppose n = 2, then j» x dx t x ,a, .. ,

∕(TΞΞ7y = * + Γ=ι + 21 ° β ∙< 1 - a * and

2 — m ∕∙ x i dx (2— m)x 2x J (T∑∑^i; 5 - 8(1—»)

+ 10g ∙ (1 - *) , the fluent being here taken as directed. In this case, after collecting the terms, we get or m m+l m+2

1 + —— » + —,* s + —ÿ- ·»’ +, &c.

log. (!-»).

(24.) There is a branch of the doctrine of series which is of considerable importance in pure mathematics, as well as in many physical inquiries, and in the science of astronomy; it is called the Interpolation of series.

To interpolate a series is to interpose among its terms others which shall be subject to the same law, or which shall be formed in the same manner as the original terms of the series; or, in other words, it is to find the value of one or more terms by means of others which are given, and which may be either at equal or unequal intervals from one another, the places of the given terms as well as of those sought being supposed known.

It is easy to see that this problem may be applied to the construction of logarithmic tables; for we may regard the logarithms of the natural numbers 1, 2, 3, 4, &c. ad infini-tutn, as the terms of a particular series of which the numbers themselves are the indices; thus having given the logarithms of some numbers, we may by interpolating deduce from them the logarithms of others.

Again, in astronomy we may consider the numbers which express the successive observed ∣κ>sitions of a celestial body as the term3 of a series, their indices being the intervals of time between the observations and some assumed epoch, and the problem we are considering will enable us to determine the position at any instant different from the times of actual observation, provided the intervals between the observations be small, and the instant for which the position is sought not very remote from those at which the observations were made.

(25.) To illustrate the nature of the problem to be resolved, let us consider some particular case, as, for example, the arithmetical series a, a + d, a + 2d, a + 3d, a -⅛- id, &c.

Let t and t be two given terms of the series which are at any distance from one another, and let n and n ’ be their indices, or numbers which denote their places in the series. Also let y be any term whatever, and x its index. Then, by the nature of an arithmetical series, r = a + (n— Drf, < ʹ = α + (n'— Drf, y= a + (at— Dd.

Now, as there are here three equations, each involving the quantities a and d, we may eliminate both these quantities by the common rules (Algebra, sect, vii.); and this being done, we get (x—ri) (ι'— t) = (»' ->- n) (y — < ’); and hence we find this expression, y=τ∑∑* l +*≡n t ' which is a general formula for interpolating any arithmetical series; and it is observable, that it is entirely independent both of the first term and common difference.

Example. The 7th term of an arithmetical series Ls 15, and the 12th term is 25: it is required to find the 10th term.

Here n = 7, n' = 12, x = 10; t = 15, <' = 25, y is sought.

Therefore, by the formula,

2 3

w = -χl5 + -×25=2l, the answer.

5 o

(26.) The mode of investigation by which we have found a formula for the interpolation of an arithmetical series will apply also to others, if the law according to which the terms arc formed be known; in general, however, the law of a series to be interpolated is either not known, or it is not taken into account, and we only consider the absolute magnitudes of certain terms, and the numbers expressing their places in the series. To resolve the problem generally with these data, it is usual to proceed as follows: Let a straight line AB, and a point A in it, be assumed as given in position, and let there be taken the segments AD, AD', AD”, AD’", Ac., proportional to the numbers denoting the places of the terms of a series reckoned from any term assumed as a fixed origin; and at the points D, D', D ’, let there be erected perpendiculars proportional to the terms themselves. Let us now suppose a curve to pass through C, C', C”, C'", &c.; then, if it be so chosen that its curvature may vary gradually in its progress from point to point, without any abrupt changes of inflection, and, moreover, if the terms (which we may suppose to be either at equal or unequal distances) are pretty near to one another, it is easy to conceive, that if AP be taken equal to the number expressing[7:20:118] the place of a term between C"D", C w D'", any two others, the term itself will, if not exactly, at least be nearly, expressed by PQ, the ordinate to the curve.

As an infinite variety of curves may be found that shall pass through the same given points, in this respect the problem is unlimited; it is, however, convenient to assume such as are simple and tractable. The parabolic class possess these properties, and accordingly they are commonly employed.

Let us then express the ordinates CD, C ’ D', C''D", C" ’ D"', &c. which are the given terms of the series, by ∕, t, t", f, &c.

and the abscissae AD, AD', AD", AD"', or the numbers denoting the order of the terms, by a, a ’, a”, a" ’, &c.

Put y for PQ, a term to be interpolated, and x for AP its place. Then, considering x and g as indefinite co-ordinates, a parabolic curve that shall pass through the points C, C', C", C m , Sec., will have for its equation y = A + Bx + Ca∙ t + Dr 3 +, &c. the number of terms on the right-hand side being supposed equal to that of the given points, and A, B, C, &c. being put to denote constant quantities. To determine these, we must consider that when x — n, then y = t, and that when x = n', then y — t, and so on; therefore, substituting the successive corresponding values of x and y, we get t = A + Bn + Cn* + Dr’ +, &c.

f = A + Bn' + C√ i + Da ,3 +, &c.

t’ = A + Ba" + Cn" i + Da” +, &c.

r"= A + Ba” + Ca'" 2 + Da” 3 +, &c.

Sec. &c.

This series of equations must be continued until their number be the same as that of the co-eflicients A, B, C, D, &c. If we now consider r, t', f ’ , See. and n, n', n", Sec. as known, and A, B, C, Sec. as unknown quantities, we may determine these last by eliminating them one after another from the above equations, as is taught in Algebra. And the values of A, B, C, &c. being thus determined and substituted in the general equation, we shall have a general expression for y in terms of x, the number denoting its place and known quantities; and this is in substance the solution originally given of the problem by Sir Isaac Newton, who proposed it in the third book of his Principia, with a view to its application in astronomy.

A celebrated foreign mathematician (Lagrange) has, in the Cahiers de P Ecole Normale, given a different form to the expression for y. He has observed that since, when x becomes n, n', n'', n"', Sec. successively, then y becomes t, ∕', t", t'", See. It follows that the expression for y must have this form, y = at + βf + γt n + H'" +, Sec. where the quantities a, β, γ, Sec. must be such functions of x, that if we put x = », then a = 1 and β = 0, χ = 0, Sec. and if we put x = n', then a = 0, 3 = 1, 7 = 0, &c.; and again, if we make x = n", then x = 0, β = 0, γ — 1, Sec. and so on. Hence it is easy to conclude that the values of a, β, γ, Sec. must have the form

_ (⅞- n')(τw)(¾- n")

(a — a’) (a _ »") (a — a'")’

S - (. «-»)(*-»')(* —* r )

, (a'-n)(√-n")(π'-n"ζ) ,

„ - (* — »)(» —»9 (¾-*" , ) , ι .

7 ~ (a"-a)(a"-n')a"-a'*)’ a_ (* —∙) (r-n ’ ) (x — n"') e ~ ~ ( n ">-n) (n w — η'7(η’' _ λc,

Ac.

and here the number of factors in the numerator and denominator must be each equal to the number of given points in the curve. This formula would be found to be identical with that which may be obtained by the method indicated in last article, if we were to take the actual product of the factors and arrange the whole expression according to powers of x. It possesses however one advantage over the other, viz. that of admitting of the application of logarithms.

We shall now show the application of this formula.

Ex. 1. Having given the logarithms of 101, 102, 104, and 105, it is required to find the logarithm of 103.

In this case we may reckon the terms of the series forward from the first given term, viz. log. 101, so that we have t = log. 101 = 2∙0043214, a = 0, f = log. 102 = 20086002, »' = 1, ry = log. 103 = term sought, x — 2, t’ = log. 104 = 2∙0170333, n∙ — 3, f = log. 105 = 20211893, n” = 4.

Substituting now in the general formula, we get l×-1×-2 _ I 2×l×-2_ 2

1×-S×-4 - 6’ 7- 8×2x- 1 - 3’ g _ 2χ-I X —2 _ 2 2χlχ-l I

p- l×-2χ-3 - S’ 4×S×1 - 6’

-n. r e . 2f . 2l ' e '

Thereforey = -- + - + ---

= f(∕ + ∕')-⅛(< + <'")

= 2∙0128372, the answer.

Ex. 2. Given a comet’s distance from the sun on the following days in December, at twelve at night, to find its distance December 20.

December 12. distance 301, Dec. 24. distance 715,

21. 620, 26. 772.

Here we shall estimate the places of the terms from the time of the first position, viz. December 12. Therefore r = 301, a = 0, y is sought, x = 8, t' = 620, ri — 9,

<" = 715, a" =12, t n, = 772, rΓ = 14.

In this case the general formula gives us

_ 1 «_ 6 _ 2 . 8

“ ~ 63’ β ~ 45’ 7 - 3 , a - 35’

therefore y ~ 63 ÷ 45 3 + 35 '

= 586∙3, the answer.

We shall conclude this article with a brief enumeration of the best works on the subject which we have been treating of.

. Bernoulli, Ars Conjectandi; Newton, Methodus Differentialis; Taylor, Methodus Incrementorum; Stirling, Methodus Differentiatis, sive Tractatus de Summations et Interpolatione Serierurm; Euler, Institutiones calculi Differentiatis; Emerson’s Method of Increments; Emerson’s Differential Method; De Moivre, Miscellanea Analytica ; Lagrange, Theorie des Fonctions Analytiques; Traite des Différences et des Séries, a sequel to Lacroix’s work on the C alcul Différentiel; Dr Hutton’s Mathematical and Philosophical Tracts; Spence’s Essay on the Theory of the various orders of Logarithmic Transcendents, with an Inquiry into their Applications to the Integral Calculus, and the Summation of Series.[7:20:119]