so that from a geometrical point of view Yo, Y1, Y2, Yз, ... are equidistant ordinates of the curve y = F(x). Now these quantities AF(x), AF(x),... are called the successive differences of F(x); and in all cases to which the preceding formulæ of approximation can be successfully applied, it is necessary that the values of these differences should rapidly decrease; this circumstance may easily be verified, and it is found to be true in all cases of tabulated functions. Thus, if F(x) is a rational algebraical function of n dimensions, ▲ F(x) = 0. On this hypothesis then we shall deduce from (213) successive approximate values to the definite integral. Thus, if we omit all terms after 42F (x), we have From (216) may be deduced a rule, originally discovered by Thomas Simpson, and frequently employed in mensuration. Let the range x-xo be divided into n equal parts, where n is an even number, each of which = i; then as (216) gives the value of the integral for any two consecutive parts, taking the sum of all, we shall have, Again, if all terms in (213) after A3 F(x) are omitted, we have 3 n2 n3 23 +21)}. (219) 6 a If ▲3 F(x) = O, as is the case when F(x) = (221) give results strictly accurate. x2, (220) and b2 115.] An approximation may also be made by the following process, which assigns certain limits within which the true value of the definite integral lies. Let F(x) be the element-function of the definite integral; and let ƒ'(x) and p'(x) be two other functions of x, the values of which are respectively greater and less than F'(x), for every value of x within the range of integration; so that for every such value ƒ'(x) > F′(x) > $'(x); Moreover let us take f'(x) and '(x), such that the definite integrals, of which they are the element-functions, may be determined: then evidently, by the definition of a definite integral, [**ƒ'(x) dx > [′′*¥′(x) dx > [* 4′(x) dx. (222) Let us investigate by this method an approximate value of the so that limits are assigned very near together within which the value of the given definite integral lies. 116.] The definition given in (200) suggests other means of obtaining approximate values of definite integrals, and of ascertaining certain properties relating to those values. Let F'(x) be the element-function: then if x is greater than and F(x) does not change sign within the range of integration, [**F′(x)de has the same sign as r'(x). If however r'(x) changes sign, the integral will be positive or negative, according as the positive or negative part of the series is the greater. Xn Xn--1 Since, in the series on the right hand member of (200), x,—x。, X2X1, XX1 are all quantities of the same sign, by preliminary Theorem III of Vol. I. the sum of the series is equal to the product of the sum of all these quantities and some mean value of the other factor: consequently wherein denotes an undetermined proper positive fraction. Then, the limits of the value of the definite integral, given by substituting 0 and 1 severally for e, are (x-x) F(x) and (x„−x ̧) F′(x„), between which the value of the definite integral lies. The geometrical interpretation of (221) deserves a passing notice. Let y = F(x) be the equation to the curve P PQP, in fig. 16; Then as the definite integral expresses the area Po P, M, Mo, and as Mo Max-xo, the equation shews that the area is equal to that Mn of a rectangle one of whose sides is MM, and the other is an ordinate to the curve corresponding to an abscissa intermediate to a, and ro If the left-hand member of (200) is determined by means of its indefinite integral; then F(X) — F(x) = (x„−Xxo) F′ { x。+0 (xn−Xo)}, which equation has been already found in Art. 111, Vol. I. -, is infinitesimal, If the range ΤΟ (225) (226) which is the first term of the series, of which the definite integral is the sum. If the element-function F(x) is the product of two functions, ƒ (x) and p′(x), of which g'(x) has the same sign for all values of a within the range of integration; then [*ƒ (x) 4′(x) dx = (x ̧−x ̧) f(x ̧.) 4′(x ̧)+(x2−x ̧)ƒ(x ̧) $′(x) + ..... Now the right-hand member of this equation consists of a series of terms, into each of which a factor enters, which is of the form (x-x;) '(x), and is always of the same sign; therefore by Preliminary Theorem III, Vol. I., = ƒ {xo+0 (xn−X ̧)} {(x1—X6) $'(x) + (x3− x1) $'(xg) + ... = ƒ { x。 +0 (x„−x.) } [ **4′(x) dx. ΤΟ (228) Equation (224) is evidently a particular case of this theorem. If the indefinite integral of the right-hand member can be determined, this equation becomes [**ƒ (x) 4′(x) dx = ƒ {x。+0 (x ̧„−x ̧) } {$ (x„) −¢ (1) } · The following is an example of this theorem ; (229) = {x。+0(x„−xo) } F′ { x。 +0 (x„− x ̧)} log (230) Xn Hence it follows that if G and L are respectively the greatest and the least values of f(x) within the range of integration, « [** 4'′(x) dx > [**ƒ (x) 4'′(x)dæ > 1. fˆˆq′(x) dx. G 20 (231) These theorems are frequently of considerable use in determining the limits of value of a definite integral; and also in shewing the value which a definite integral takes for a particular value of a constant contained in its element-function. Thus we may de 00 e-ax dr termine the value of 0 when a = . On compar ing this with the formula given in (228), let f(x) and = when x = 0, so that the mean value of this factor is mean between these quantities. Also 117.] Of the various processes which have been devised for the purpose of approximating to the value of definite integrals, some consist in the development of the element-function into a series, and in the subsequent integration of each term separately; in others, series are formed, either by integration by parts, or by some other method, in general terms, and these are applied to the particular element-function. The following series was devised by John Bernoulli. Let et (**r′(x) da be the definite integral whose value is required : then, integrating by parts, we have This theorem may be proved, and also its general term may be found, by means of Taylor's series; and hereby the limits of the value will be determined. By Taylor's series we have h h2 F(x + h) = F(x) + F′(x) 1 +F"'(x) 1.2 + ... + F'(x+0h) Let h be replaced by −x, x x2 hr 1.2...r x3 F(x) = F(0) +F′(x) — — F′′ (x) 1.2 +r′′(x) 1.2.3 so that replacing F(x) by fr′(a) da, and taking the definite inte gral of both members, we have |