Mensuration Of Specific Figures
MENSURATION OF SPECIFIC FIGURES (GEOMETRICAL)
22. Areas of Plane Rectilinear Figures. The following are expressions for the areas of some simple figures; the expressions in (i) and (ii) are obtained arithmetically, while those in (iii) (v) involve dissection and rearrangement.
(i) Square: side a. Area=a 2 .
(ii) Rectangle : sides a and b. Area = aft.
(iii) Right-angled triangle: sides a and 6, enclosing the right angle. Area = \ab.
(iv) Parallelogram : two opposite sides a and a, distance between them h. Area = ha.
(v) Triangle: one side a, distant h from the opposite angle. Area = \ha.
If the data for any of these figures are other than those given above, trigonometrical ratios will usually be involved. If, for instance, the data for the triangle are sides a and 6, enclosing an angle C, the area is \ab sin C.
23. The figures considered in 22 are particular cases of the trapezium, which is a quadrilateral with two parallel sides. If these sides are a and 6, at distance h from one another, the area is h.%(a + 6). In the case of the triangle, for instance, ft is zero, so that the area is %ha.
The trapezium is also sometimes called a " trapezoid," but it will be convenient to reserve this term fora different figure ( 24).
The most important form of trapezium is that in which one of the two remaining sides of the figure is at right angles to the two parallel sides. The trapezium is then a right trapezium; the two parallel sides are called the sides, the side at right angles to them the base, and the fourth side the top.
By producing the two parallel sides of any trapezium (e.g. a paralellogram), and drawing a line at right angles to them, outside the figure, we see that it may be treated as the difference of two right trapezia.
It is, however, more simple to convert it into a single right trapezium. Let CABD (fig. i) be a trapezium, the sides CA and DB being parallel. Draw any straight line at right angles to CA and DB (produced if necessary), meeting them in M and N. Along CA and DB, on the same side of MN, take MA'=CA, NB' = DB; and p '" FIG. i.
join A'B'. Then MA'B'N is a right trapezium, whose area is equal to that of CABD; and it is related to the latter in such a way that, if any two lines parallel to AC and BD meet AB, CD, MN, A'B', in E, G, P, E', and F, H, Q, F', respectively, the area of the piece PE'F'Q of the right trapezium is equal to the area of the piece GEFH of the original trapezium. The right trapezium so constructed may be called the equivalent right trapezium. In the case of a parallelogram, the equivalent right trapezium is a rectangle; in the case of a triangle, it is a right-angled triangje.
24. If we take a series of right trapezia, such that one side ( 23) of the first is equal to one side of the second, the other side of the second is equal to one side of the third, and so on, and place them with their bases in a straight line and their equal sides adjoining each other, we get a figure such as MABCDEFS (fig. 2), which has two parallel sides MA and SF, a base MS at right angles to these, and the remainder of its boundary from A to F rectilinear, no part of the figure being outside the space between MA (produced) and SF (produced). A figure of this kind will be called a trapezoid.
(i) If from the other angular points B, C, D, E, perpendiculars BN, CP, DQ, ER, are drawn to the base MS (fig. 2), the area is MN.i(MA+NB)+NP. J (NB + PC)+. . . .+RS.i(RE+SF) = i(MN. MA + MP. NB + NQ. PC+ .... +RS.SF). The lines MA, NB, PC, .... are called the ordinates of the points A, B,C, .... from the base MS, and the portions MN, NP, PQ of the base are the projections of the sides AB, BC, CD, .... on the base.
(ii) A special case is that in which A coincides with M, and F. with S. The figure then stands on a base MS, the remainder of its boundary being a broken line from M to S. The formula then becomes area = J(MP.NB+NQ . PC+ . . . +QS . RE), i.e. the area is half the sum of the products obtained by, multiplying each ordinate by the distance between the two adjacent ordinates. It would be possible to regard this form of the figure as the general one; the figure considered in (i) would then represent the special case in which the two end-pieces of the broken line are at right angles to the base.
(iii) Another special case is that in which the distances MN, NP, PQ, . . . RS are all equal. If this distance is h, then area = AQMA+NB+PC-f. . .+JSF).
25. To find the area of any rectilinear figure, various methods are available.
(i) The figure may be divided into triangles. The quadrilateral, for instance, consists of two triangles, and its area is the product of half the length of one diagonal by the sum of the perpendiculars drawn to this diagonal from the other two angular points.
For figures of more than four sides this method is not usually convenient, except for such special cases as that of a regular polygon, which can be divided into triangles by radii drawn from its centre.
(ii) Suppose that two angular points, A and E, are joined (fig. 3) so as to form a diagonal AE, and that the whole of the figure lies between lines through A and E at right angles to AE. Then the figure is (usually) the sum of two trapezoids on base AE, and its area can be calculated as in 24. If BN, CP, DQ FS, GT are the perpen- FIG. 3.
diculars to AE from the angular points, the ordinates NB, PC ..... are called the offsets from the diagonal to the angular points.
The area of the polygon in fig. 3 is given by the expression J(AP . NB+NQ . PC+PE . QD+ET . SF+SA . TG). It should be noticed (a) that AP , NQ ...... SA are taken in the cyclical order of the points ABC . . . GA, and (6) that in fig. 3, if AN and NB are regarded as positive, then SF, TG, ET and SA are negative, but the products ET . SF and SA . TG are positive. Negative products will arise if in moving from A to E along the perimeter of either side of the figure the projection of the moving point does not always move in the direction AE.
(iii) Take any straight line intersecting or not intersecting the figure, and draw perpendiculars Aa, B6, Cc, Dd, . . . F/, Gg to this line. Then, with proper attention to signs, aA+ac'. bB+bd . cC + . . . +fa . gG).
(iv) The figure may be replaced by an equivalent trapezoid, on the system explained in 23. Take any base X'X, and draw lines at right angles to this base through all the angular points of the figure.
Let the lines through B, G, C, D and F (fig. 4) cut the boundary of the figure again in B', G', C', D' and F , and meet the base X'X in K, L, M, N and P; the points A and E being at the extremities of the figure, and the lines through them meeting the base in a and e. Then, if we take ordinates Kb, Lg, Me, Nd, P/, equal to B'B, GG', C'C, D'D, FF', the figure abgcdfe will be the equivalent trapezoid, and any ordinate drawn from the base to the i top of this trapezoid will be equal to the portion of this ordinate (produced) which falls X' a K Volume = height X J . area area of cross-section S.
FIG. 4.
within the original figure.
26. Volumes of Solids witn Plane Faces. The following are expressions for the volumes of some simple solid figures, (i) Cube: side a. Volume = a*.
(ii) Rectangular parallelepiped : sides a, b, c. Volume = abc. (iii) Right prism. Volume = length of edge X area of end. (iv) Oblique prism. Volume = height X area of end = length of edge X area of cross-section; the " height " being the perpendicular distance between the two ends.
The parallelepiped is a particular case, (v) Pyramid with rectilinear base, of base.
The tetrahedron is a particular case, (vi) Wedge: parallel edges a, b, c Volume = K<*+6+c)S.
This formula holds for the general case in which the base is a trapezium; the wedge being thus formed by cutting a triangular prism by any two planes.
(vii) Frustum of pyramid with rectilinear base; height h; areas of ends (i.e. base and top) A and B. Volume =h. f(A+VAB+B). 27. The figures considered in 26 are particular cases of the prismoid (or prismatoid), which may be defined as a solid figure with two parallel plane rectilinear ends, each of the other (i.e. the lateral) faces being a triangle with an angular point in one end of the figure and its opposite side in the other. Two adjoining faces in the same plane may together make a trapezium. More briefly, the figure may be defined as a polyhedron with two parallel faces containing all the vertices.
If R and S are the ends of a prismoid, A and B their areas, h the perpendicular distance between them, and C the area of a section by a plane parallel to R and S and midway between them, the volume of the prismoid is . JA(A+ 4 C+B). This is known as the prismoidal formula.
The formula is a deduction from a general formula, considered jater ( 58), and may be verified in various ways. The most instructive is to regard the prismoid as built up (by addition or subtraction) of simpler figures, which are particular cases of it.
(i) Let R and S be the vertex and the base of a pyramid. Then A = O, C = JB, and volume = JAB = J*(A + 4 C + B). The tetrahedron is a particular case.
(ii) Let R be one edge of a wedge with parallel ends, and S the face containing the other two edges. Then A = O, C = iB, and volume = 4AB = |A(A+4C+B).
(iii) Let R and S be two opposite edges of a tetrahedron. Then the tetrahedron may be regarded as the difference of a wedge with parallel ends, one of the edges being R, and a pyramid whose base is a parallelogram, one side of the parallelogram being S (see fig. 9, 58). Hence, by (i) and (ii), the formula holds for this figure.
(iv) For the prismoid in general let ABCD ... be one end, and abed . . . the other. Take any point P in the latter, and form triangles by joining P to each of the sides AB, BC, . . . ab, be, . . . of the ends, and also to each of the edges. Then the prismoid is divided into a pyramid with vertex P and base ABCD . . ., and a series of tetrahedra, such as PABa or PAab. By (i) and (iii), the formula holds for each of these figures; and therefore it holds for the prismoid as a whole. Another method of verifying the formula is to take a point Q in the mid-section, and divide up the prismoid into two pyramids with vertex Q and bases ABCD . . . and abed . . . respectively, and a series of tetrahedra having Q as one vertex.
28. The Circle and Allied Figures. The mensuration of the circle is founded on the property that the areas of different circles are proportional to the squares on their diameters. Denoting the constant ratio by J*, the area of a circle is TO', where is the radius, and T = 3-i4i59 approximately. The expression 2ira for the length of the circumference can be deduced by considering the limit of the area cut off from a circle of radius a by a concentric circle of radius a -a, when a becomes indefinitely small; this is an elementary case of differentiation. The lengths of arcs of the same circle being proportional to the FIG. 5.
angles subtended by them at the centre, we get the idea of circular measure.
Let O be the common centre of two circles, of radii a and b, and let radii enclosing an angle 6 (circular measure) cut their circumferences in A, B and C, D respectively (fig. 5). Then the area of ABDC is If we bisect AB and CD in P and Q respectively, and describe the arc PQ of a circle with centre O, the length of this arc is %(b+a); and 6-a=AB. Hence area ABDC=ABX arc PQ. The figure ABDC is a sector of an annulus, which is the portion of a circle left after cutting out a concentric circle.
29. By considering the circle as the limit of a polygon, it follows that the formulae (iii) and (y) of 26 'hold for a right circular cylinder and a right circular cone; i.e.
volume of right circular cylinder = length X area of base; volume of right circular cone =height X J area. of base. These formulae also hold for any right cylinder and any cone.
30. The curved surfaces of the cylinder and of the cone are developable surfaces; i.e. they can be unrolled on a plane. The curved surface of any right cylinder (whether circular or not) becomes a rectangle, and therefore its area = length X perimeter of base. The curved _ surface of a right circular cone becomes a sector of a circle, and its area = J-slant height X perimeter of base.
31. If o is the radius of a Sphere, then (i) volume of Sphere = Jira 3 ; (ii) surface of Sphere = 4iro 2 = curved surface of circumscribing cylinder.
The first of these is a particular case of the prismoidal formula ( 58). To obtain (i) and (ii) together, we show that the volume of a Sphere is proportional to the volume of the cube whose edge is the diameter; denoting the constant ratio by JX, the volume of the Sphere is Xa 8 , and thence, by taking two concentric spheres (cf. 28), the area of the surface is 3\o 2 . This surface may be split up into elements, each of which is equal to a corresponding element of the curved surface of the circumscribing cylinder, so that 3X0* = curved surface of cylinder = 2a. 2ira = 4ira 2 . Hence X = jir.
The total surface of the cylinder is 4xa 2 + jra 2 +ira 2 = 6z 2 , and its volume is 2a.jro 2 = 2?ra 3 . Hence volume of Sphere = f volume of circumscribing cylinder; surface of Sphere = surface of circumscribing cylinder. These latter formulae are due to Archimedes.
32. Moments and Centroids. For every material body there is a point, fixed with regard to the body, such that the moment of the body with regard to_any plane is the same as if the whole mass were collected at that point; the moment being the sum of the products of each element of mass of the body by its distance from the plane. This point is the centroid of the body.
The ideas of moment and of centroid are extended to geometrical figures, whether solid, superficial or linear. The moment of a figure with regard to a plane is found by dividing the figure into elements of volume, area or length, multiplying each element by its distance from the plane, and adding the products. In the case of a plane area or a plane continuous line the moment with regard to a straight line in the plane is the same as the moment with regard to a perpendicular plane through this line; i.e. it is the sum of the products of each element of area or length by its distance from the straight line. The centroid of a. figure is a point fixed with regard to the figure, and such that its moment with regard to any plane (or, in the case of a plane area or line, with regard to any line in the plane) is the same as if the whole volume, area or length were concentrated at this point. The centroid is sometimes called the centre of volume, centre of area, or centre of arc. The proof of the existence of the centroid of a figure is the same as the proof of the existence of the centre of gravity of a body. (See MECHANICS.)
The moment as described above is sometimes called the first moment. The second moment, third moment, ... of a plane or solid figure are found in the same way by multiplying each element by the square, cube, ... of its distance from the fine or plane with regard to which the moments are being taken.
If we divide the first, second, third, . . . moments by the total volume, area or length of the figure, we get the mean distance, mean square of distance, mean cube of distance, ... of the figure from the line or plane. The mean distance of a plane figure from a line in its plane, or of any figure from a plane, is therefore the same as the distance of the centroid of the figure from the line or plane.
We sometimes require the moments with regard to a line or olane through the centroid. If N is the area of a plane figure, and Ni, N2, . . . are its moments with regard to a line in its plane, the moments MI, M 2 , . . . with regard to a parallel line through the centroid are given by MI = NI *No = o, M, = Ni - 2*N, + **N = N, - * 2 N , M, = N, - gxN,-,+ 2 , .-i ...+(- )f-' ff *i-iN, + ('-)'* N ; where x = the distance between the two lines = Ni/No. These formulae also hold for converting moments of a solid figure with regard to a plane into moments with regard to a parallel plane through the centroid ; x being the distance between the two planes. A line through the centroid of a plane figure (drawn in the plane of the figure) is a central line, and a plane through the centroid of a solid figure is a central plane, of the figure.
The centroid of a rectangle is its centre, i.e. the point of intersection of its diagonals. The first moment of a plane figure with regard to a line in its plane may be regarded as obtained by dividing the area into elementary strips by a series of parallel lines indefinitely close together, and concentrating the area of each strip at its centre. Similarly the first moment of a solid figure may be regarded as obtained by dividing the figure into elementary prisms by two sets of parallel planes, and concentrating the volume of each prism at its centre. This also holds for higher moments, provided that the edges of the elementary strips or prisms are parallel to the line or plane with regard to which the moments are taken.
33. Solids and Surfaces of Revolution. The solid or surface generated by the revolution of a plane closed figure or a plane continuous line about a straight line in its plane, not intersecting it, is a solid of revolution or surface of revolution, the straight line being its axis. The revolution need not be complete, but may be through any angle.
The section of a solid of revolution by a plane at right angles to the axis is an annulus or a sector of an annulus (fig. 5), or is composed of two or more such figures. If the solid is divided into elements by a series of such planes, and if h is the distance between two consecutive planes making sections such as ABDC in fig. 5, the volume of the element between these planes, when h is very small, is approximately ftXAB X arc PQ = A.AB.OP.0. The corresponding element of the revolving figure is approximately a rectangle of area A.AB, and OP is the distance of the middle point of either side of the rectangle from the axis. Hence the total volume of the solid is M.0, where M is the sum of the quantities ft.AB.OP, i.e. is the moment of the figure with regard to the axis. The volume is therefore equal to S.y.6, where S is the area of the revolving figure, and y is the distance of its centroid from the axis.
Similarly a surface of revolution can be divided by planes at right angles to the axis into elements, each of which is approximately a section of the surface of a right circular cone. By unrolling each such element ( 30) into a sector of a circular annulus, it will be found that the total area of the surface is M'.0 = L.z.0, where M' is the moment of the original curve with regard to the axis, L is the total length of the original curve, and z is the distance of the centroid of the curve from the axis. These two theorems may be stated as follows :
(i) If any plane figure revolves about an external axis in its plane, the volume of the solid generated by the revolution is equal to the product of the area of the figure and the distance travelled by the centroid of the figure.
(ii) If any line in a plane revolves about an external axis in the plane, the area of the curved surface generated by the revolution is equal to the product of the length of the line and the distance travelled by the centroid of the line.
These theorems were discovered by Pappus of Alexandria (c. A.D. 300), and were made generally known by Guldinus (c. A.D. 1640). They are sometimes known as Culdinus's Theorems, but are more properly described as the Theorems of Pappus. The theorems are of use, not only for finding the volumes or areas of solids or surfaces of revolution, but also, conversely, for finding centroids or centres of gravity. They may be applied, for instance, to finding the centroid of a semicircle or of the arc of a semicircle.
34. Segment of Parabola. The parabola affords a simple example of the use of infinitesimals. Let AB (fig. 6) be any arc of a parabola; and suppose we require the area of the figure bounded by this .^ arc and the chord AB.
v. Draw the tangents at A and B, meeting at T; draw TV parallel to the axis of the parabola, meeting the arc in C and the chord in V; and M draw the tangent at C, meeting AT and BT in a and 6. Then (see PARABOLA) TC = CV, AV=VB, and ab is parallel to AB, so that aC = Cb. Hence area of triangle ACB = twice area of triangle aTb. Repeating the FIG. 6.
process with the arcs AC and CB, and continuing the repetition indefinitely, we divide up the required area and the remainder of the triangle ATB into corresponding elements, each element of the former being double the corresponding elements of the latter. Hence the required area is double the area of the remainder of the triangle, and therefore it is two-thirds of the area of the triangle.
The line TCV is parallel to the axis of the parabola. If we draw a line at right angles to TCV, meeting TCV produced in M and parallels through A and B in K and L, the area of the triangle ATB is JKL.TV = KL.CV; and therefore the area of the figure bounded by AK, BL, KL and the arc AB, is KL.i(AK+BL)+|KL{CM-KAK+BL)} = JKL(AK+4CM+BL).
Similarly, for a corresponding figure K'L'BA outside the parabola, the area is JK'L'(K'A+ 4 M'C+L'B).
35. The Ellipse and the Ellipsoid. For elementary mensuration the ellipse is to be regarded as obtained by projection of the circle, and the ellipsoid by projection of the Sphere. Hence the area of an ellipse whose axes are 2a and 26 is iraft ; and the volume of an ellipsoid whose axes are 20, 26 and 2c is iirabc. The area of a strip of an ellipse between two lines parallel to an axis, or the volume of the portion (frustum) of an ellipsoid between two planes parallel to a principal section, may be found in the same way.
36. Examples of Applications. The formulae of 24 for the area of a trapezoid are of special importance in land-surveying. The measurements of a polygonal field or other area are usually taken as in 25 (ii) ; a diagonal AE is taken as the base-line, and for the points B, C, D, . . . there are entered the distances AN, AP, AQ, . . . along the base-line, and the lengths and directions of the offsets NB, PC, QD, . . . The area is then given by the formula of 25 (ii).
37. The mensuration of earthwork involves consideration of quadrilaterals whose dimensions are given by special data, and of prismoids whose sections are such quadrilaterals. In the ordinary case three of the four lateral surfaces of the prismoid are at right angles to the two ends. In special cases two of these three lateral surfaces are equally inclined to the third.
(i) In fig. 7 let base BC = 2o, and let h be the distance, measured at right angles to BC, from the middle point of BC to AD. Also, let angle ABC = *--0, angle BCD =*-<, angle between BC and AD = ^. Then (as the difference of two triangles)
(h cot l+a) 2 (h cot \fr-q) 8 2(COt ^ COt <t>) 2(cOt l^+COt 0)' (ii) If <t> =0, this becomes FIG. 7.
area ABCD=- area = tan 2 t f(h + a tan 0) 2 a 2 tan 0.
(iii) If ^ = o, so that AD is parallel to BC, it becomes area = 2ofc+Hcot + cot <t>)h 3 .
(iv) To find the volume of a prismoidal cutting with vertical ends, and with sides equally inclined to the vertical, so that <=0, let the values of h, ^ for the two ends be hi, t\, and fe, <fri, and write + *' cot " "'= " ( fl + *' cot > - cot Then volume of prismoid = length X?(iii ) -3<J 2 J tan 9.
38. (A) Preliminary. In 23 the area of a right trapezium has been expressed in terms of the base and the two sides; and in 34 the area of a somewhat similar figure, the top having been replaced by an arc of a parabola, has been expressed in terms of its base and of three lengths which may be regarded as the sides of two separate figures of which it is composed. We have now to consider the extension of formulae of this kind to other figures, and their application to the calculation of moments and volumes.
39. The plane figures with which we are concerned come mainly under the description of graphs of continuous variation. Let E and F be two magnitudes so related that whenever F has any value (within certain limits) E has a definite corresponding value. Let u and x be the numerical expressions of the magnitudes of E and F. On any line OX take a length ON equal to xG, and from N draw NP at right angles to OX and equal to H; G and H being convenient units of length. Then we may, ignoring the units G and H, speak of ON and NP as being equal to x and respectively. Let KA and LB be the positions of NP corresponding to the extreme values of x. Then the different positions of NP will (if x may have any value from OK to OL) trace out a figure on base KL, and extending from KA to LB ; this is called the graph of E in respect of F. The term is also sometimes applied to the line AB along which the point P moves as N moves from K to L.
To illustrate the importance of the mensuration of graphs, suppose that we require the average value of u with regard to x. It may be shown that this is the same thing as the mean distance of elements of the graph from an axis through at right angles to OX. Its calculation therefore involves the calculation of the area and the first moment of the graph.
40. The processes which have to be performed in the mensuration of figures of this kind are in effect processes of integration ; the distinction between mensuration and integration lies in the different natures of the data. If, for instance, the graph were a trapezium, the calculation of the area would be equivalent to finding the integral, from x=a to x = b, of an expression of the form px+q. This would involve p and a ; but, for our purposes, the data are the sides pa+q and pb+q and the base ba, and the expression of the integral in terms of these data would require certain eliminations. The province of mensuration is to express the final result of such an elimination in terms of the data, without the necessity of going through the intermediate processes.
ti. Trapezettes and Briquettes. A figure of the kind described 39 is called a trapezette. A trapezette may therefore be defined as a plane figure bounded by two straight lines, a base at right angles to them, and a top which may be of any shape but is such that every ordinate from the base cuts it in one point and one point only; or, alternatively, it may be defined as the figure generated by an ordinate which moves in a plane so that its foot is always on a straight base to which the ordinate is at right angles, the length of the ordinate varying in any manner as it moves. The distance between the two straight sides, i.e. between the initial and the final position of the ordinate, is the breadth of the trapezette. Any line drawn from the base, at right angles to it, and terminated by the top of the trapezette, is an ordinate of the figure. The trapezium is a particular case. Either or both of the bounding ordinates may be zero ; the top, in th_at case, meets the base at that extremity. Any plane figure might be converted into an equivalent trapezette by an extension of the method of 25 (iv).
42. The corresponding solid figure, in its most general form, is such as would be constructed to represent the relation of a magnitude E to two magnitudes F and G of which it is a function; it would stand on a plane base, and be comprised within a cylindrical boundary whose cross-section might be of any shape. We are not concerned with figures of this general kind, but only with cases in which the base is a rectangle. The figure is such as would be produced by removing a piece of a rectangular prism, and is called a briquette. A briquette may therefore be defined as a solid figure bounded by a pair of parallel planes, another pair of parallel planes at right angles to these, a base at right angles to these four planes (and therefore rectangular), and a top which is a surface of any form, but such that every ordinate from the base cuts it in one point and one point only. It may be regarded as generated either by a trapezette moving in a direction at right angles to itself and changing its top but keeping its breadth unaltered, or by an ordinate moving so that its foot has every possible position within a rectangular base.
43. Notation and Definitions. The ordinate of the trapezette will be denoted by u, and the abscissa of this ordinate, i.e. the distance of its foot from a certain fixed point or origin O on the base (or the base produced), will be denoted by x, so that u is some function of x. The sides of the trapezette are the "bounding ordinates"; their abscissae being xn and *o+H, where H is the breadth of the trapezette.
The " mid-ordinate " is the ordinate from the middle point of the base, i.e. the ordinate whose abscissa is #o+JH.
The " mean ordinate " or average ordinate is an ordinate of length / such that H/ is equal to the area of the trapezette. It therefore appears as a calculated length rather than as a definite line in the figure; except that, if there is only one ordinate of this length, a line drawn through its extremity is so placed that the area of the trapezette lying above it is equal to a corresponding area below it and outside the trapezette. Formulae giving the area of a trapezette should in general also be expressed so as to state the value of the mean ordinate (| 12 (v), 15, 19).
The " median ordinate " is the ordinate which divides the area of the trapezette into two equal portions. It arises mainly in statistics, when the ordinate of the trapezette represents the relative frequency of occurrence of the magnitude represented by the abscissa *; the magnitude of the abscissa corresponding to the median ordinate is then the " median value of x."
The " central ordinate " is the ordinate through the centroid of the trapezette ( 32). The distance of this ordinate from the axis of u (i.e. from a line drawn through O parallel to the ordinates) is equal to the mean distance ( 32) of the trapezette from this axis; moments with regard to the central ordinate are therefore sometimes described in statistics as " moments about the mean."
The data of a trapezette are usually its breadth and either the bounding ordinates or the mid-ordinates of a series of minor trapezettes or strips into which it is divided by ordinates at equal distances. If there are m of these strips, and if the breadth of each is h, so that ti=mh, it is convenient to write x in the form Xo-\-Oh, and to denote it by xg, the corresponding value of u being ug. The data are then either the bounding ordinates o, MI, ... m -ii m of the strips, or their mid-ordinates u\, u\, . . . ,_}.
44. In the case of the briquette the position of the foot of the ordinate u is expressed by co-ordinates x, y, referred to a pair of axes parallel to a pair of sides of the base of the briquette. If the lengths of these sides are H and K, the coordinates of the angles of the base i.e. the co-ordinates of the edges of the briquette are (*o, yo), (xo+H, y ), (*o, yo+K), and (*o+H, y +K).
The briquette may usually be regarded as divided into a series of minor briquettes by two sets of parallel planes, the planes of each set being at successively equal distances. If the planes of one set divide it into m slabs of thickness h, and those of the other into n slabs of thickness k, so that H = mh, K=nk, then the values of * and of y for any ordinate may be denoted by Xo+eh and yo+<t>k, and the length of the ordinate bv 0, c/>.
The data are usually the breadths H and K and either (i) the edges of the minor briquettes, viz. o,o, Uo.i, . . . u\,o, Ui,i, ... or (ii) the mid-ordinates of one set of parallel faces, viz. o,i, wo,a. . . . i,j, ... or j,o, j.o, j,ii .... or (iii) the " mid-ordinates " !,j, j_j, . . . M],}, ... of the minor briquettes, i.e. the ordinates from the centres of their bases.
A plane parallel to either pair of sides of the briquette is a " principal plane." The ordinate through the centroid of the figure is the " central ordinate."
45. In some cases the data for a trapezette or a briquette are not only certain ordinates within or on the boundary of the figure, but also others forming the continuation of the series outside the figure. For a trapezette, for instance, they may be ... w_ 8 , w_i, o, HI . . . ., m+i Wm+2 > where # denotes the same function of x=xt>+9h, whether 9h lies between the limits o and H or not. These cases are important as enabling simpler formulae, involving central differences, to be used ( 76).
46. The area of the trapezette, measured from the lower bounding ordinate up to. the ordinate corresponding to any value of x, is some function of *. In the notation of the integral calculus, this area is equal to j * udx; but the notation is inconvenient, since it implies a division into infinitesimal elements, which is not essential to the idea of an area. It is therefore better to use some independent notation, such as A x . u. It will be found convenient to denote the <j>(b)<t>(a), where <t>(x) is any function of x, by area of the trapezette whose bounding ordinates are o and u m may then be denoted by FA* . w|*l!** or|A, . wlj"" , instead of byf^ udx.
In the same way the Volume of a briquette between the planes x=x a , y = yo, x = a, y = b may be denoted by v xy .
47. The statement that the ordinate u of a trapezette is a function of the abscissa x, or that u=f(x), must be distinguished from =/(*) as the equation to the top of the trapezette.
In elementary geometry we deal with lines and curves, while in mensuration we deal with areas bounded by these lines or curves. The circle, for instance, is regarded geometrically as a line described in a particular way, while from the point of view of mensuration it is a figure of a particular shape. Similarly, analytical plane geometry deals with the curve described by a point moving in a particular way, while analytical plane mensuration deals with the figure generated by an ordinate moving so that its length varies in a particular manner depending on its position.
In the same way, in the case of a figure in three dimensions, analytical geometry is concerned with the form of the surface, while analytical mensuration is concerned with the figure as a whole.
48. Representation of Volume by Area. An important plane graph is that which represents the volume of a solid figure.
Suppose that we take a pair of parallel planes, such that the solid extends from one to the other of these planes. The section by any intermediate parallel plane will be called a " cross-section." The solid may then be regarded as generated by the cross-section moving parallel to itself and changing its shape, or its position with regard to a fixed axis to which it is always perpendicular, as it moves.
If the area of the cross-section, in every position, is known in terms of its distance from one of the bounding planes, or from a fixed plane A parallel to them, the volume of the solid can be expressed in terms of the area of a trapezette. Let S be the area of the crosssection at distance x from the plane A. On a straight line OX in any plane take a point N at distance x from O, and draw an ordinate NP at right angles to OX and equal to S//, where / is some fixed length (e.g. the unit of measurement). If this is done for every possible value of x, there will be a series of ordinates tracing out a trapezette with base along OX. The volume comprised between the cross-section whose area is S and a consecutive cross-section at distance 6 from it is ultimately S0, when 8 is indefinitely small; and the area between the corresponding ordinates of the trapezette is (S//) . 9=S0//. Hence the volume of each element of the solid figure is to be found by multiplying the area of the corresponding element of the trapezette by /, and therefore the total volume is / X area of trapezette.
The volume of a briquette can be found in this way if the area of the section by any principal plane can be expressed in terms of the distance of this plane from a fixed plane of the same set. The result of treating this area as if it were the ordinate of a trapezette leads to special formulae, when the data are of the kind mentioned in 44.
49. (B) Mensuration of Graphs of Algebraical Functions. The first class of cases to be considered comprises those cases in which M is an algebraical function (i.e. a rational integral algebraical function) of x, or of x and y, of a degree which is known.
50. The simplest case is that in which is constant or is a linear function of x, i.e. is of the form px + q. The trapezette is then a right trapezium, and its area, if m=l, is j&(o + MI) or &MJ._ 51. The next case is that in which is a quadratic function of x, i.e. is of the form px? + qx + r. The top is then a parabola whose axis is at right angles to the base; and the area can therefore ( 34) be expressed in terms of the two bounding ordinates and the midordinate. If we take these to be MO and MJ, and MI, so that m = 2, we have area = JH(MO + 4M! + MS) = P(MO + 4Mj + MS).
This is Simpson's formula.
If instead! of o, MI, and MJ, we have four ordinates MO, MJ, MS, and M 3 , so that m = 3, it can be shown that area = \h(un -j- SMI + 3% + M S ).
This is Simpson's second formula. It may be deduced from the formula given above. Denoting the areas of the three strips by A, B, and C, and introducing the middle ordinate MJ, we can express A + B; B + C; A + B + C; and B in terms of MO, MI, MS; MI, MJ, u> ; MO, MJ, MS ; and MI, MJ, M 2 respectively. Thus we get two expressions for A + B + C, from which we can eliminate u\.
A trapezette of this kind will be called a parabolic trapezette.
52. Simpson's two formulae also apply if M is of the form px 3 + qx' + rx + s. Generally, if the area of a trapezette for which M is an algebraical function of x of degree ?.n is given correctly by an expression which is a linear function of values of representing ordinates placed symmetrically about the mid-ordinate of the trapezette (with or without this mid-ordinate), the same expression will give the area of a trapezette for which M is an algebraical function of * of degree 2n + i. This will be seen by taking the mid-ordinate as the ordinate for which x = o, and noticing that the odd powers of x introduce positive and negative terms which balance one another when the whole area is taken into account.
53. When M is of degree 4 or 5 in x, we require at least five ordinates. If m = 4, and the data are MO, i, M 2 , M S , M<, we have + 32"i + I2M 2 + 32a + 7M 4 ).
For functions of higher degrees in x the formulae become more complicated.
54. The general method of constructing formulae of this kind involves the use of the integral calculus and of the calculus of finite differences. The breadth of the trapezette being mh, it may be shown that its area is g555 3-500 where ,,, u^ m , u^ m , . . . denote the values for x = *j m of the successive differential coefficients of M with regard to x; the series continuing until the differential coefficients vanish. There are two classes of cases, according as m is even or odd; it will be convenient to consider them first for those cases in which the data are the bounding ordinates of the strips.
(i) If m is even, Mj m will be one_of the given ordinates, and we can express Wui m , h*u^ m , ... in terms of wj m and its even central differences (see DIFFERENCES, CALCULUS OF). Writing m = 2p, and grouping the coefficients of the successive differences, we shall find u f + If u is of degree 2/ or 2/ + I in *, we require to go up to & if u p , so that m must be not less than 2/. Simpson's (first) formula, for instance, holds for / = I, and is obtained by taking p = I and ignoring differences after S*u p .
(ii) If m is odd, the given ordinates are o, . . . Mj m _j, Mjm+j, . . . MB,. We then have where iM\ m , /u5 2 Mj m , 967680 . denote KMj m _s + wjm-t-0, i( 2 im-J + Q M R FIG. 8.
6 2 Mj m +j), . . .Simpson's second formula is obtained by taking m = 3 and ignoring differences after n&u\ m .
55. The general formulae of 54 (p being replaced in (i) by \m) may in the same way be applied to obtain formulae giving the area of the trapezette in terms of the mid-ordinates of the strips, the series being taken up to tP f u\ m or /^ 2/ Mj m at least, where M is of degree 2f or 2/ + I in x. Thus we find from (i) that Simpson's second formula, for the case where the top is a parabola (vrith axis, as before, at right angles to the base) and there are three strips of breadth h, may be replaced by area = f A^MJ + 2w, + 3 8 ).
This might have been deduced directly from Simpson's first formula, by a series of eliminations.
56. Hence, for the case of a parabola, we can express the area in terms of the bounding ordinates of two strips, but, if we use mid-ordinates, we require three strips; so that, in each case, three ordinates are required. The question then arises whether, by removing the limitation as to the position of the ordinates, we can reduce their number.
Suppose that in fig. 6 ( 34) we draw ordinates QD midway between KA and MC, and RE midway between MC and LB, meeting the top in D and E (fig. 8), and join DE, meeting KA, LB, and MC in H, J, and W. Then it may be shown that DE is parallel to AB, and that the area of the figure between chord DE and arc DE is half the sum of the areas DHA and EJB. Hence the area of the right trapezium KHJL is greater than the area of the trapezette KACBL.
If we were to take QD and RE closer to MC, the former area would be still greater. If, on the other hand, we were to take them very close to KA and LB respectively, the area of the trapezette would be the greater. There is therefore some intermediate position such that the two areas are equal ; i.e. such that the area of the trapezette is represented by KL . i(QD + RE).
To find this position, let us write QM = MR = 6 . KM. Then WC = s . VC, VW = (i - P) VC; curved area ACB = f of parallelogram AFGB = JKL . VC ; parallelogram AHJB = KL . VW = (i - ffi) KL . VC. Hence the areas of the trapezette and of the trapezium will be equal if i - = \, 8 = i /V3- This value of 6 is the same for all parabolas which pass through D and E and have their axes at right angles to KL. It follows that, by taking two ordinates in a certain position with regard to the bounding ordinates, the area of any parabolic trapezette whose top passes through their extremities can be expressed in terms of these ordinates and of the breadth of the trapezette.
The same formula will also hold ( 52) for any cubic trapezette through the points.
57. This is a particular case of a general theorem, due to Gauss, that, if M is an algebraical function of * of degree 2p or 2p-{- 1, the area can be expressed in terms of p + I ordinates taken in suitable positions.
58. The Prismoidal Formula. It follows from 48 and 51 that, if V is a solid figure extending from a plane K to a parallel plane L, and if the area of every cross-section parallel to these planes is a quadratic function of the distance of the section from a fixed plane parallel to them, Simpson's formula may be applied ta find the volume of the solid. If the areas of the two ends in the planes K and L are So and 82, and the area of the mid-section (i.e. the section by a plane parallel to these planes and midway between them) is Sj, the volume is JH(So + 4S t + Sj), where H is the total breadth.
This formula applies to such figures as the cone, the Sphere, the ellipsoid and the prismoid. In the case of the Sphere, for instance, whose radius is R, the area of the section at distance * from the centre is ir(R 2 -* 2 ), which is a quadratic function of x; the values of So Si, and Sz are respectively o, irR 2 , and o, and the volume is therefore | . 2R . 4irR 2 = jirR 3 .
To show that the area of a cross-section of a prismoid is of the form ax 2 + bx +_ c, where x is the distance of the section from one end, we may proceed as in 27. In the case of a pyramid, of height h, the area of the section by a plane parallel to the base and at distance x from the vertex is clearly x 2 /h 2 X area of base. In the case of a wedge with parallel ends the ratio * 2 /A 2 is replaced by x/h. For a tetrahedron, two of whose opposite edges are AB and CD, we require the area FIG. 9.
of the section by a plane parallel to AB and CD. Let the distance between the parallel planes through AB and CD be h, and let a plane at distance x from the plane through AB cut the edges AC, BC, BD, AD, in P, Q, R, S (fig. 9). Then the section of the pyramid by this plane is the parallelogram PQRS. By drawing Ac and Ad parallel to BC and BD, so as to meet the plane through CD in c and d, and producing QP and RS to meet Ac and Ad in q and r, we see that the area of PQRS is (x/A -*/*) X area ofcCDd; this also is a quadratic function of x. The proposition can then be established for a prismoid generally by the method of 27 (iv) . The formula is known as the prismoidal formula.
59. Moments. Since all points on any ordinate are at an equal distance from the axis of u, it is easily shown that the first moment (with regard to this axis) of a trapezette whose ordinate is u is equal to the area of a trapezette whose ordinate is xu ; and this area can be found by the methods of the preceding sections in cases where u is an algebraical function of x. The formulae can then be applied to finding the moments of certain volumes.
In the case of the parabolic trapezette, for instance, xu is of degree 3 in *, and therefore the first moment is \h(xvUo-\-4XiUi+xiUt). In the case, therefore, of any solid whose cross-section at distance x from one end is a quadratic function of x, the position of the crosssection through the centroid is to be found by determining the position of the centre of gravity of particles of masses proportional to So, Sj, and 481, placed at the extremities and the middle of a line drawn from one end of the solid to the other. The centroid of a hemisphere of radius R, for instance, is the same as the centroid of particles of masses o, irR 2 , and 4 . f irR 2 , placed at the extremities and the middle of its axis; i.e. the centroid is at distance |R from the plane face.
60. The method can be extended to finding the second, third, . . . moments of a trapezette with regard to the axis of u. If u is an algebraical function of x of degree not exceeding p, and if the area of a trapezette, for which the ordinate is of degree not exceeding p+q, may be expressed by a formula Xofo+yifi-f- . . . +X m p >n , the gth moment of the trapezette is Xo*o< r uo+Xi*ii + . . . +\ n x m ''u m , and the mean value of x is (XoJCo'Mo + XlXl'Wl + . . . + A m * m m )/(Xoo + XiMi + . . . + Xmttm).
The calculation of this last expression is simplified by noticing that we are only concerned with the mutual ratios of Xo, Xi, . . . and of tto, i,.., not with their actual values.
61. Cubature of a Briquette. To extend these methods to a briquette, where the ordinate u is an algebraical function of x and y, the axes of * and of y being parallel to the sides of the base, we consider that the area of a section at distance x from the plane x=o is expressed in terms of the ordinates in which it intersects the series of planes, parallel to y = o, through the given ordinates of the briquette ( 44) ; and that the area of the section is then represented by the ordinate of a trapezette. This ordinate will be an algebraical function of x, and we can again apply a suitable formula.
Suppose, for instance, that u is of degree not exceeding 3 in x, and of degree not exceeding 3 in y, i.e. that it contains terms in x'y 3 , x 3 y 1 , x'y 3 , etc. ; and suppose that the edges parallel to which * and y are measured are of lengths 2h and 3^, the briquette being divided into six elements by the plane x=xn+h and the planes y = yo+k, y = y a -\-2k, and that the 12 ordinates forming the edges of these six elements are given. The areas of the sides for which x = xt> and x^xn-\-2h, and of the section by the plane x = xo-\-h, may be found by Simpson's second formula; call these A and Az, and Ai. The area of the section by a plane at distance x from the edge x = xo is a function of x whose degree is the same as that of u. Hence Simpson's formula applies, and the volume is \h(An-\-^Ai-\- A 2 ).
The process is simplified by writing down the general formula first and then substituting the values of u. The formula, in the above case, is pji(o,o + 3o,i + 3o,2 + o,a) + 4X|fe(i,o + . ) + i*(*i,o + . .)!, where u*,<t> denotes the ordinate for which x=xn+6h, y=yo+<t>k.
The result is the same as if we multiplied |&(o + 3i+3s + f) by \h(u<> + 4i +ui), and then replaced Mono, oi, . . .
by o,o, o,i . . . The multiplication is shown in the adjoining diagram; the factors J and | are kept outside, so that the sum o,o+3o,i + . . . +42*1,0+- . . .
can be calculated before it is multiplied by \h . \k.
62. The above is a particular case of a general principle that the obtaining of an expression such as |/Ko+4i+<2) or |fc(uo+3i+3t>2+3) is an operation performed on Uo or o, and that this operation is the sum of a number of operations such as that which obtains \hu$ or \kvi>. The volume of the briquette for which u is a function of x and y is found by the operation of double integration, consisting of two successive operations, one being with regard to x, and the other with regard 'to y; and these operations may (in the cases with which we are concerned) be performed in either order. Starting from any ordinate ,, the result of integrating with regard to x through a distance 2h is (in the example considered in 61) the same as the result of the operation \h(i + 4E + E 2 ), where E Tdenotes the operation of changing x into x+h (see DIFFERENCES, CALCULUS OF). The integration with regard to y may similarly (in the particular example) be replaced by the operation i*(i+3E'+3E' ! +E'), where E' denotes the change of y into y + k. The result of performing both operations, in order to obtain the volume, is the result of the operation denoted by the product of these two expressions; and in tnis product the powers of E and of E' may be dealt with according to algebraical laws.
The methods of 59 and 60 can similarly be extended to finding the position of the central ordinate of a briquette, or the mean g* distance of elements of the briquette from a principal plane.
63. (C) Mensuration of Graphs Generally. We have next toconsider the extension of the preceding methods to cases in which u is not necessarily an algebraical function of x or of x and y.
The general principle is that the numerical data from which a particular result is to be deduced are in general not exact, but are given only to a certain degree of accuracy. This limits the accuracy of the result; and we can therefore replace the figure by another figure which coincides with it approximately, provided that the further inaccuracy so introduced is comparable with the original inaccuracies of measurement.
The relation between the inaccuracy of the data and the additional inaccuracy due to substitution of another figure is similar to the relation between the inaccuracies in mensuration of a figure which is supposed to be of a given form ( 20). The volume of a frustum of a cone, for instance, can be expressed in terms of certain magnitudes by a certain formula ; but not only will there be some error in the measurement of these magnitudes, but there is not any material figure which is an exact cone. The formula may, however, be used if the deviation from conical form is relatively less than the errors of measurement. The conditions are thus similar to those which arise in interpolation (q.v.). The data are the same in both cases. In the case of a trapezette, for instance, the data are the magnitudes of certain ordinates ; the problem of interpolation is to determine the values of intermediate ordinates, while that of mensuration is to determine the area of the figure of which these are the ordinates. If, as is usually the case, the ordinate throughout each strip of the trapezette can be expressed approximately as an algebraical function of the abscissa, the application of the integral calculus gives the area of the figure.
64. There are three classes of cases to be considered. In the case of mathematical functions certain conditions of continuity are satisfied, and the extent to which the value given by any particular formula differs from the true value may be estimated within certain limits; the main inaccuracy, in favourable cases, being due to the fact that the numerical data are not absolutely exact. In physical and mechanical applications, where concrete measurements are involved, there is, as pointed out in the preceding section, the additional inaccuracy due to want of exactness in the figure itself. In the case of statistical data there is the further difficulty that there is no real continuity, since we are concerned with a finite number of individuals.
The proper treatment of the deviations from mathematical accuracy, in the second and third of the above classes of cases, is a special matter. In what follows it will be assumed that the conditions of continuity (which imply the continuity not only of u but also of some of its differential coefficients) are satisfied, subject to the small errors in the values of u actually given ; the limits of these errors being known.
65. It is only necessary to consider the trapezette and the briquette, since the cases which occur in practice can be reduced to one or other of these forms. In each case the data are the values of certain equidistant ordinates, as described in 43-45. The terms quadrature-formula and cubature-formula are sometimes restricted to formulae for expressing the area of a trapezette, or the volume of a briquette, in terms of such data. Thus a quadrature-formula is a formula for expressing [A z . u] or fudx in terms of a series of given values of tt, while a cubature-formula is a formula for expressing [fxn/-]] orffudxdy in terms of the values of u for certain values of x in combination with certain values of y; these values not necessarily lying within the limits of the integrations.
66. There are two principal methods. The first, which is the best known but is of limited application, consists in replacing each successive portion of the figure by another figure whose ordinate is an algebraical function of x or of x and y, and expressing the area or volume of this latter figure (exactly or approximately) in terms of the given ordinates. The second consists in taking a comparatively simple expression obtained in this way, and introducing corrections which involve the values of ordinates at or near the boundaries of the figure. The various methods will be considered first for the trapezette, the extensions to the briquette being only treated briefly.
67. The Trapezoidal Rule. The simplest method is to replace the trapezette by a series of trapezia. If the data are MO, i, . . . m, the figure formed by joining the tops of these ordinates is a trapezoid whose area is A(io + ]+% + ... + m-i + ^ m >. This is called the. trapezoidal or chordal area, and will be denoted by Ci. If the data are HI, 1*3, ... m-j, we can form a series of trapezia by drawing the tangents at the extremities of these ordinates; the sum of the areas of these trapezia will be i(aj+ttg+. . . +m_i). This is called the tangential area, and will be denoted by TI. The tangential area may be expressed in terms of chordal areas. If we write Cj for the chordal area obtained by taking ordinates at intervals \h, then Ti = 2Q Ci. If the trapezette, as seen from above, is everywhere convex or everywhere concave, the true area lies between Ci and Ti.
68. Other Rides for Trapezettes. The extension of this method consists in dividing the trapezette into minor trapezettes, each consisting of two or more strips, and replacing each of these minor trapezettes by a new figure, whose ordinate v is an algebraical function of x; this function being chosen so that the new figure shall coincide with the original figure so far as the given ordinates are concerned. This means that, if the minor trapezette consists of k strips, v will be of degree k or k i in x, according as the data are the bounding ordinates or the mid-ordinates. If A denotes the true area of the original trapezette, and B the aggregate area of the substituted figures, we have A=2=B, where =Qr denotes approximate equality. The value of B is found by the methods of 49~55- The following are some examples.
(i) Suppose that the bounding ordinates are given, and that m is a multiple of 2. Then we can take the strips in pairs, and treat each pair as a parabolic trapezette. Applying Simpson's formula to each of these, we have MS)
4S This is Simpson's rule.
(ii) Similarly, if m is a multiple of 3, the repeated application of Simpson's second formula gives Simpson's second rule A =0= fft(o + 3l + 3%+ 2U 3 + 34 + . . + 3m-4 + 2ttm_3 + 3m-2 + 3"m-l + m)- (iii) If mid-ordinates are given, and m is a multiple of 3, the repeated application of the formula of 55 will give A ^ 69. The formulae become complicated when the number of strips in each of the minor trapezettes is large. The method is then modified by replacing B by an expression which gives the areas of the substituted figures approximately. This introduces a further inaccuracy ; but this latter may be negligible in comparison with the main inaccuracies already involved (cf. 20 (iii)).
Suppose, for instance, that m = 6, and that we consider the trapezette as a whole; the data being the bounding ordinates. Since there are seven of these, v will be of degree 6 in x; and we shall have ( 54 (i)) B =6h(v 3 + |SH If we replace s*A** M i m l h' s expression by && e ut, the method of 68 gives A == ft/i (MO + 5"i + + 6 + + 56 + W I the expression on the right-hand side being an approximate expression for B, and differing from it only by 5 ipH6 6 3. This is Weddle's rule. If m is a multiple of 6, we can obtain an expression for A by applying the rule to each group of six strips.
70. Some of the formulae obtained by the above methods can be expressed more simply in terms of chordal or tangential areas taken in various ways. Consider, for example, Simpson's rule ( 68 (i)). The expression for A can be written in the form + ttl+2 + +...+ Mm-2 Now, if p is any factor of m, there is a series of equidistant ordinates MO, M ? , UI P , . . . Um- p , Um\ and the chordal area as determined by these ordinates is ft(i0 + Up + Ulp +..
which may be denoted by C f . With this notation, the area as given by Simpson's rule may be written in the form JCi JC or Ci + i(Ci d). The following are some examples of formulae of this kind, in terms of chordal areas.
(i) m a multiple of 2 (Simpson's rule).
A =0= J( 4 C, - C 2 =0= C, + l(Ci - C,). (ii) m a multiple of 3 (Simpson's second rule).
A =0= i( 9 C, - C,) A C, + i(Q - C,). (iii) m a multiple of 4.
A =0= &(64d - 2oC,+C 4 ) = Ci+f (Ci - C,) - &(Ci - CO- (iv) m a multiple of 6 (Weddle's rule, or its repeated application).
A =a T \(i5Ci-6C 2 +C 8 ) A Ci +i(Ci - C t ) -A(d - C,). (v) m a multiple of 12.
A =0= A(56Ci - 28C, + 8C 3 - C 4 )
=ad+f(d - C,) - KCi - C,) + ft(C, - C 4 ). There are similar formulae in terms of the tangential areas Ti, T,, T,. Thus (iii) of 68 may be written A =0= KgTi - T,).
71. The general method of constructing the formulae of 70 for chordal areas is that, if p, q, r, . . . are k of the factors (including i) of m, we take A=aPCp+QC,+RC r -|-. . . , where P, Q, R, . . . satisfy the k equations P + Q + R + ... P 2 + Qcf + Rr 2 + . . . Pp 4 + Qg. i + Rr* + ....
= i, = o, =o, =o.
The last k i of these equations give l/P : i/Q : i/R : . . . = />(/>' - Combining this with the first equation, we obtain the values of P, Q, R, . . . The same method applies for tangential areas, by taking A =a PT P + QT 4 + RT r + . . . provided that p, q, r, . . . are odd numbers.
72. The justification of the above methods lies in certain properties of the series of successive differences of u. The fundamental assumption is that each group of strips of the trapezette may be replaced by a figure for which differences of u, above those of a certain order, vanish ( 54). The legitimacy of this assumption, and of the further assumption which enables the area of the new figure to be expressed by an approximate formula instead of by an exact formula, must be verified in every case by reference to the actual differences.
73. Correction by means of Extreme Ordinates. The preceding methods, though apparently simple, are open to various objections in practice, such as the following: (i) The assignment of different coefficients of different ordinates, and even the selection of ordinates for the purpose of finding Cj, C 3 , etc. (70), is troublesome, (ii) This assignment of different coefficients means that different weights are given to different ordinates; and the relative weights may not agree with the relative accuracies of measurement, (iii) Different formulae have to be adopted for different values of m ; the method is therefore unsuitable for the construction of a table giving successive values of the area up to successive ordinates. (iv) In order to find what formula may be applied, it is necessary to take the successive differences of u; and it is then just as easy, in most cases, to use a formula which directly involves these differences and therefore shows the degree of accuracy of the approximation.
The alternative method, therefore, consists in taking a simple formula, such as the trapezoidal rule, and correcting it to suit the mutual relations of the differences.
74. To illustrate the method, suppose that we use the chordal area Ci, and that the trapezette is in fact parabolic. The difference between Ci and the true area is made up of a series of areas bounded by chords and arcs; this difference becoming less as we subdivide the figure into a greater number of strips.
The fact that Ci does not give the true area is due to the fact that in passing from one extremity of the top of any strip to the other extremity the tangent to the trapezette changes its direction. We have therefore in the first place to see whether the difference can be expressed in terms of the directions of the tangents.
Let KABL (fig. 10) be one of the strips, of breadth h. Draw the tangents at A and B, meeting at T; and through T draw a line parallel to KA and LB, meeting the arc AB in C and the chord AB in V. Draw AD and BE perpendicular to this line, and DF and TG perpendicular to LB. _ Then AD = EB = i*, and the triangles K AVD and BVE are equal.
The area of the trapezette is less (in fig. 10) than the area of the trapezium KABL by two-thirds of the area of the triangle ATB ( 34). This latter area is ABTE - AATD = ABTG-AATD = J/i 2 tan GTB - |A 2 tan DAT. Hence, if the angle which the tangent at the extremity of the ordinate ug makes with the axis of x is denoted by <j/ e , we have area from o to ui = \h(u<, + ui) ^'(tan fa tan fa), ,, i to ut = %h(ui + ut) frtf(tan fa tan fa), m - tan M FIG. 10.
+ u m ) - *_! to u m = ^h and thence, by summation, A = Ci -,V! ! (tan^ m - tan fa). This, in the notation of 46 and 54, may be written Since h = H/m, the inaccuracy in taking Ci as the area varies as l/m 2 . It might be shown in the same way that A =T, - tan T, + 75. The above formulae apply only to a parabolic trapezette. Their generalization is given by the Euler-Maclaurin formula 14.4 V" - udx - Ci and an analogous formula (which may be obtained by substituting JA and C 4 for * and Ci in the above and then expressing T t as 2Cj-Ci)
To apply these, the differential coefficients have to be expressed in terms of differences.
76 If we know not only the ordinates o, MI, . . . or but also a sufficient number of the ordinates obtained by continuing the series outside the trapezette, at both extremities, we can use central-difference formulae, which are by far the most convenient The formulae of 75 give 77- H we do not know values of u outside the figure, we must use advancing or receding differences. The formulae usually employed are A = C +fc j Ti+*| - where A, A*, . . . have the usual meaning (Ao=tti o, A 2 o = AMI Ao ..... ), and A', A' 1 , . . . denote differences read backwards, so that A'w m = m _,- M , A' 2 m =tt m _ 2 -;2M m _i+tt m , . . . The calculation of the expressions in brackets may be simplified by taking the pairs in terms from the outside; i.e. by finding the successive differences of o + m, MI + WOT-I, . . ., or of An alternative method, which is in some ways preferable, is to complete the table of differences by repeating the differences of the highest order that will be taken into account (see INTERPOLATION), and then to use central-difference formulae.
78. In order to find the corrections in respect of the terms shown in square brackets in the formulae of 75, certain ordinates other than those used for Ci or TI are sometimes found specially. Parmentier's rule, for instance, assumes that in addition to j, ,...'. tt^-j, we know o and Um\ and j o and Um z< m _ j are taken to be equal to Jftu'o and i&w'm respectively. These methods are not tc be recommended except in special cases.
70. By replacing h in 75 by 2h, 3^, . . . and eliminating W-u' , h*u ",..., we obtain exact formulae corresponding to the approximate formulae of 70. The following are the results (for the formulae involving chordal areas), given in terms of differential coefficients and of central differences. They are not so convenient as the formulae of 76, but they serve to indicate the degree of accuracy of the approximate formulae. The expressions in square brackets are in each case to be taken as relating to the extreme values x=*o and x=Xm, as in 75 and 76. (i) A (ii) A = (iii) A = = (iv) A = = (v) A = The general expression, if p, q, r, . . . are k of the factors of m, is RC r +...
where P, Q, R, . . . have the values given by the equations in 71, and the coefficients bt, &t+i, . . . are found from the corresponding coefficients in the ^uler-Maclaurin formula ( 75) by multiplying them by - So. Moments of a Trapezette. The above methods can be applied, as in 59 and 60, to finding the moments of a trapezette, when the data are a series of ordinates. To find the pth moment, when <o. ii M, are given, we have only to find the area of a trapezette whose ordinates are *o"o, xfui, xfu?, . . .
81. There is, however, a certain set of cases, occurring in statistics, in which the data are not a series of ordinates, but the areas Aj, Ag, . . . A m _j of the strips bounded by the consecutive ordinates HO, MI, ... . The determination of the moments in these cases involves special methods, which are considered in the next two sections.
82. The most simple case is that in which the trapezette tapers out in such a way that the curve forming its top has very closecontact, at its extremities, with the base; in other words, the differential coefficients u', u", u'", ... are practically negligible for x = xo and for x = Xm. The method adopted in these cases is to treat the areas Aj, Aj, ... as if they were ordinates placed at the points for which x = x,, *=Xj, . . . , to calculate the moments on this assumption, and then to apply certain corrections. If the first, second, . . . moments, so calculated, before correction are denoted by pi, ps, . . . , we have p, = *jA}+ *3A| + . . . + aw.jAm-j Pt These are called the raw moments. Then, if the true moments are denoted by i, vt ..... their values are given by where po (or wo) is the total area Aj + Aj + . . . + A_}; the general expression being where The establishment of these formulae involves the use of the integral calculus.
The position of the central ordinate is given by X = VI/PO, and therefore is given approximately by * pi/po. To find the moments with regard to the central ordinate, we must use this approximate value, and transform by means of the formulae given in 32. This can be done either before or after the above corrections are made. If the transformation is made first, and if the resulting raw moments with regard to the (approximate) central ordinate are o, TJ, irj, . . . , the true moments in, ftt, us, . . . with regard to the central ordinate are given by 83. These results may be extended to the calculation of an expresion of the form f*u<t>(x)dx, where </>(*) is a definite function of x, and the conditions with regard to u are the same as in 82. (i) If <j>(x) is an explicit function of x, we have where 5*(x) -|j*V'<*) +*f *<**(*>- ...
the coefficients Xi, Xz ..... having the values given in 82.
(ii) If (p(x) is not given explicitly, but is tabulated for the values *j, *j, . . . of x, the formula of (i) applies, provided we take The formulae can be adapted to the case in which <j>(x) is tabulated 'or x=xo, *i,...
84. In cases other than those described in 82, the pth moment with regard to the axis of u is given by where A is the total area of the original trapezette, and Sp_i is the area of a trapezette whose ordinates at successive distances h, beginning and ending with the bounding ordinates, are The value of Sp_i has to be found by a quadrature-formula. The generalized formula is _ T .* I where T is the area of a trapezette whose ordinates at successive distances A are o, A{<*>' (*i), (Aj+Aj)4>'(* 2 ), . . . (Ai+A|+ . . . + Am_|)*'(*m_i), A<t>'(x m ); the accents denoting the first differential coefficient.
85. Volume and Moments of a Briquette. The application of the methods of 75-79 to calculation of the volume of a briquette leads to complicated formulae. If the conditions are such that the methods of 61 cannot be used, or are undesirable as giving too much weight to particular ordinates, it is best to proceed in the manner indicated at the end of 48 ; i.e. to find the areas of one set of parallel sections, and treat these as the ordinates of a trapezette whose area will be the volume of the briquette.
86. The formulae of 82 can be extended to the case of a briquette whose top has close contact with the base all along its boundary; the data being the volumes of the minor briquettes formed by the planes x = xk>, # = *i, . . . and y = yo, y=yi, The method of constructing the formulae is explained in 62. If we write we first calculate the raw values 0-0,1, <n,o, <r\,i, ... of So,i, Sj,o, Si,i, ... on the assumption that the volume of each minor briquette is concentrated along its mid-ordinate ( 44), and we then obtain the formulae of correction by multiplying the formulae of 82 in pairs. Thus we find (e.g.)
Si,i=a<n,i 82,1=0=0-2,1 S 8 ,2=Q=ff 3,2 - JAVl ,2 - A feVs,0 + A A'ft Vl,o where <TO,O is the total volume of the briquette.
87. If the data of the briquette are, as in 86, the volumes of the minor briquettes, but the condition as to close contact is not satisfied, we have where K=*S,Xgth moment with regard to plane y=o, L=ylXpth moment with regard to plane x = o, and R is the volume of a briquette whose ordinate at (x,,y,) is found by multiplying by pq av"" 1 y."" 1 the volume of that portion of the original briquette which lies between the planes X = XQ, X = XT, y = y , y = y,. The ordinates of this new briquette at the points of intersection of * = xo, x = xi, . . . with y=y<i, y=yi, are obtained from the data by summation and multiplication; and the ordinary methods then apply for calculation of its volume. Either or both of the expressions K and L will have to be calculated by means of the formula of 84; if this is applied to both expressions, we have a formula which may be written in a more general form The second and third expressions on the right-hand side represent areas of trapezettes, which can be calculated from the data; and the fourth expression represents the volume of a briquette, to be calculated in the same way as R above.
88. Cases of Failure. When the sequence of differences is not such as to enable any of the foregoing methods to be applied, it is sometimes possible to amplify the data by measurement of intermediate ordinates, and then apply a suitable method to the amplified series. There is, however, a certain class of cases in which no subdivision of intervals will produce a good result ; viz. cases in which the top of the figure is, at one extremity (or one part of its boundary), at right angles to the base. The Euler-Maclaurin formula ( 75) assumes that the bounding values of u', u'", . . . are not infinite; this condition is not satisfied in the cases here considered. It is also clearly impossible to express u as an algebraical function of x and y if some value of du/dx or du/dy is to be infinite.
No completely satisfactory methods have been devised for dealing with these cases. One method is to construct a table for interpolation of x in terms of u, and from this table to calculate values of x corresponding to values of , proceeding by equal intervals; a quadrature-formula can then be applied. Suppose, for instance, that we require the area of the trapezette ABL in fig. 1 1 ; the curve being at right angles to the base AL at A. If QD is the' bounding ordinate of c- . . one of the component strips, we can calculate the area of QDBL in the ordinary way. The data for the area ADQ are a series of values of u corresponding to equidifferent values of *; if we denote by y the distance of a point on the arc AD from QD, we can from the series of values of u construct a series of values of y corresponding to equidifferent values of u, and thus find the area of ADQ, treating QD as the base. The process, however, is troublesome.
89. Examples of Applications. The following are some examples of cases in which the above methods may be applied to the calculation of areas and integrals.
(i) Construction of Mathematical Tables. Even where u is an explicit function of *, so that f'udx may be expressed in terms of *, it is often more convenient, for construction of a table of values of such an integral, to use finite-difference formulae. The formula of 76 may (see DIFFERENCES, CALCULUS OF) be written j" udx = h.pau + h( - -fa uSu + , = a (hu The second of these is usually the more convenient. Thus, to construct a table of values of y x udx by intervals of h in x, we first form a table of values of hu for the intermediate values of x, from this obtain a table of values of (i+j^S 2 rHo* 4 + ) k for these values of x, and then construct the table of f'udx by successive additions. Attention must be given to the possible accumulation of errors due to the small errors in the values of u. Each of the above formulae involves an arbitrary constant; but this disappears when we start the additions from a known value of /* udx.
The process may be repeated. Thus we have f'f'udxdx = (a Here there are two arbitrary constants, which may be adjusted in various ways.
The formulae may be used for extending the accuracy of tables, in cases where, if ti represents the quantity tabulated, hdv/dx or K'd^v/dx 2 can be conveniently expressed in terms of v and * to a greater degree of accuracy than it could be found from the table. The process practically consists in using the table as it stands for improving the first or second differences of o and then building up the table afresh.
(ii) Life Insurance. The use of quadrature-formulae is important in actuarial work, where the fundamental tables are based on experience, and the formulae applying these tables involve the use of the tabulated values and their differences.
90. The following are instances of the application of approximative formulae to the calculation of the volumes of solids.
(i) Timber Measure. To find the quantity of timber in a trunk with parallel ends, the areas of a few sections must be calculated as accurately as possible, and a formula applied. As the measurements can only be rough, the trapezoidal rule is the most appropriate in ordinary cases.
(ii) Gauging. To measure the volume of a cask, it may be assumed that the interior is approximately a portion of a spheroidal figure. The formula applied can then be either Simpson s rule or a rule based on Gauss's theorem for two ordinates ( 56). In the latter case the twosectionsaretakenat distances =*= $H/V 3 = =*= -2887H from the middle section, where H is the total internal length; and their arithmetic mean is taken to be the mean section of the cask. Allowance must of course be made for the thickness of the wood.
91. Certain approximate formulae for the length of an arc of a circle are obtained by methods similar to those of 71 and 79. Let a be the radius of a circle, and 8 (circular measure) the unknown angle subtended by an arc. Then, if we divide 6 into m equal parts, and Li denotes the sum of the corresponding chords, so that Li=2ma sin (8 /2m), the true length of the arc is Li + 06 \ ) ^ + . . . | , where < =6 /2m. Similarly, if L repre- sents the sum of the chords when m (assumed even) is replaced by Jm, we have an expression involving Lt and 2tj>. The method of 71 then shows that, by taking J(4Li Ls) as the value of the arc, we get rid of terms in <t>*. If we use Ci to represent the chord of the whole arc, Ci the chord of half the arc, and c t the chord of one quarter of the arc, then corresponding to (i) and (iii) of 70 or 79 we have J(8cj-Ci) and &(2S6c t 4uci+ci) as approximations to the length of the arc. The first of these is Huygens's rule.
REFERENCES. For applications of the prismoidal formula, see Alfred Lodge, Mensuration for Senior Students (1895). Other works on elementary mensuration are G. T. Chivers, Elementary Mensuration (1904) ; R. W. K. Edwards, Elementary Plane and Solid Mensuration (1902); William H. Jackson, Elementary Solid Geometry (1907); P. A. Lambert, Computation and Mensuration (1907). A. E. Pierpoint's Mensuration Formulae (1902) is a handy collection. Rules for calculation of areas are also given in such works as F. Castle, Manual of Practical Mathematics (1903); F. C. Clarke, Practical Mathematics (1907); C. T. Millis, Technical Arithmetic and Geometry (1903). For examples of measurement of areas by geometrical construction, see G. C. Turner, Graphics applied to Arithmetic, Mensuration and Statics (1907). Discussions of the approximate calculation of definite integrals will be found in works on the infinitesimal calculus; see e.g. E. Goursat, A Course in Mathematical Analysis (1905; trans, by E. R. Hedrick). For the methods involving finite differences, see references under DIFFERENCES, CALCULUS OF; and INTERPOLATION. On calculation of moments of graphs, see W. P. Elderton, Frequency- Curves and Correlation (1906) ; as to the formulae of 82, see also Biomeirika, v. 450. For mechanical methods of calculating areas and moments see CALCULATING MACHINES. (W. F. SH.)
Note - this article incorporates content from Encyclopaedia Britannica, Eleventh Edition, (1910-1911)
