= f{x + ndx+n("21)d*x+ }; the last general expression in which group may be shewn to be true for all positive and integral values of w, by a method similar to that employed in Art. 55. Hereby are determined the several and successive complete variations of an explicit function of x, corresponding to the successive values of the variable; but the general result is much shortened by making x equicrescent. 69.] Let all the dx'a be equal, so that d2x, which is the increment of one dx over the preceding dx, is equal to zero; and similarly ^ = ^ = = ^ = = Q; whereby the last equation of (71) becomes J N J n(n — 1) „ n(n — l)(w — 2) f(x + ndx) =y + ndy+ ^ 'diy+ ^ 'dsy+... (72) Thus the distinguishing character of an equicrescent variable is that all its differentials after the first vanish. And as this condition is of the greatest importance in the application of In. finitesimal Calculus to questions of Geometry and Physics, it is good to illustrate it before we proceed to discuss its other properties. Suppose that we are considering any function of x between the values xn and x0, xn being the greater of the two, and the function remaining finite and continuous for all values of x between these limits; let us resolve the difference x„—x0 into small elements, the number of them being of course infinite, when each element is infinitesimal; let dx be the type of each element. It is at once manifest that all the elements need not be equal; that is, all the dx'a are not necessarily equal. And if they are not, there will be an excess of one over another; that is, there will be a d2x. Neither again need all the rfVs be equal; that is, the dx'a need not be equicrescent; but if they are not, there will be an increment of one d2x over another d2x; that is, there will be a d.d2x or a d2x. And similarly with regard to the other differentials. But if we once introduce the condition that a differential of any order shall be resolved into elements which are all equal to one another, then all the subsequent differentials vanish; and thus, if all the dx'a are equal, as above, ,» 'd'x = d3x = ... =0. Or again, conceive a small body, as a billiard-ball, to move over a finite distance in a straight line in a finite time; consider the straight line to be the axis of x, and a certain point in it to be taken for the origin; let the body at the beginning of a certain time be at a distance x0 from the origin, and at the end of the time be at a distance x„, and conceive the time of its passing over the distance x„ — x0 to be t; resolve this time into equal elements dt, and the space x„—x0 into corresponding elements, of each of which the type is dx. If the body moves through the whole space at the same rate, viz. with the same velocity, then, during equal times dt, equal spaces dx will be described; but if the velocity varies, equal spaces will not be passed over in equal times. On the first supposition all the dx'a will be equal, therefore d2x = 0, and x is an equicrescent variable; on the second, the dx'a vary, and d2x, which is the increment of one dx passed over in a time dt, over another dx passed over in the preceding or succeeding time dt, as the case may be, is the measure of the increase of the rate of motion. If then all the d2x's are equal, we say that the velocity of motion is continually increasing, and at a constant rate; but if d2x is not constant, then the rate of increase of the velocity of the ball is no longer constant, but varies according to some law on which the rate of increase depends. It will be observed, however, that if the whole time of motion is resolved into equal elements dt, the supposition of x being equicrescent is incompatible with a varying velocity. Hence too it is clear, that generally we are not at liberty to assume more than one of the variables to increase or decrease by equal augments; for in the case above, if we resolve the time into equal elements, then, in general, unequal spaces will be passed over in equal times, and we cannot consider all the dx's to be equal, and therefore we cannot make d2x = 0; and if we resolve the distance into equal parts, then, if the velocity varies, these equal spaces will be passed over in unequal times, and therefore all the dl'a will not be equal, and we cannot put d2t — 0. In general, however, we are at liberty to choose for an equicrescent variable whichever is most convenient. 70.] Let us now consider in what manner these assumptions modify the equations of derived-functions in Art. 54. In the series there given we have y = fix), dy = /'(■*) dx. Now considering f\x) dx to be the product of two variable quantities, and differentiating it as such; and, in accordance with the former notation, making f"{x) dx to be the symbol for d.f\x) and f"'(x) dx for d.f'\x), and so on; we have d*y = f"(x)dx*+f'(x)d*x, day = f"'(x) dx3 + 3f"(x) dx d*x + f'(x) d3x, d*y = f'v(x) dx* + 6f"'(x) dx*d*x+3f"(x) (d2x)2 + 4f"(x) dx d3x +f\x) d*x, '1 Let x be equicrescent; that is, let dx be constant; whence d*x = 0, d3x = 0,; .-. dy = f'(x) dx, d*x = /'V) dx\ j d2v .-. f"(x), or its equivalent -~, is derived from f\x), on the supposition that x is the equicrescent variable; d3y f"\x), or its equivalent >'s derived from f"(x), on the same supposition; d"u and f"(x) = is derived fromon the same supposition. Whenever therefore we meet with these or similar symbols, it is to be borne in mind that they have been successively de "' 1.2.3 a series known by the name of Taylor's Series, having been discovered by Dr. Brook Taj'lor, and first given in his "Methodus Incrementorum" in the year 1715. It is however of the utmost importance that the conditions and extent of its applicability should be accurately determined, and so another and more exact proof will be given hereafter; and the above may be considered in the light of a presumption, that such a relation as equation (76) is likely to be true. 72.] In certain cases wherein a derived-function becomes a constant, and therefore the subsequent derived-functions vanish, the number of terms of the series (76) is finite; but generally the successively derived-functions are functions of x, and the series is continued to an infinite uumber of terms; but the sum of all the terms after the wth may be expressed as follows by an algebraical formula, and thus proved to have a value contained within certain determinable limits: since /(* + h)= /(*) + \f\x) + ^ /"(*) + ... + I 23*"~rc(«) therefore the sum of all the terms after the wth is equal to r^^+i.2.3/r(Ui)^+1^ + A" = ^-g-s {some quantity > fn(x) and < fn(x + h)}; (79) the latter factor of (78) is I say greater than f"(x), because the algebraical sum of such a series of terms is greater than its first term; and it is less than f"(x + h), because if equation (77) is derivated w times, there results /-(*+*) = /»(*) + + ^/"+,(*) + I^g/-+»(*) + ...; and with the exception of the first term of this series, every term is greater than the corresponding term of the series in the latter factor of (78), because, the numerator of the fractions being the same, the denominators are severally less. Hence representing by 0 some positive and proper fraction, that is, some number greater than zero and less than unity, we may symbolize (79) by ^„ \:f.^rJH('x+6h)' (80) for (80) is too small when 0 = 0, and is too large when 0 = 1; hence some value of 0 between 0 and 1 will give the correct value. Thus Taylor's Series becomes h A2 /(* + *) = f{x) + r/'(*) + jjf'W + ... ■■■ + i3sbi^(#+M>-(81) As the right-hand member of the equation has a determinate |