that the last result expresses the area of the circle, which since it must always lie between the inscribed and the circum scribed polygon, and since those polygons agree as far as a certain place of decimals, must also agree with both as far as the same place. We have subjoined the computation of those polygons, carried on till they agree as far as the seventh place of decimals. The area of the circle, we infer therefore, is equal to 3.1415926. Some doubt may exist perhaps about the last decimal figure, owing to errors proceeding from the parts omitted; but the calculation has been carried on with an additional figure, that the final result here given might be absolutely correct even to the last decimal place. Since the area of the circle is equal to half the circumference multiplied by the radius, the half circumference must be 3.1415926, when the radius is 1; or the whole circumference must be 3.1415926, when the diameter is 1: hence the ratio of the circumference to the diameter, formerly expressed by л, is equal to 3.1415926. The number 3.1416 is the one generally used BOOK VI. PLANES AND SOLID ANGLES. Definitions. 1. A straight line is perpendicular to a plane, when it is perpendicular to all the straight lines which pass through its foot in the plane. Conversely, the plane is perpendicular to the line. The foot of the perpendicular is the point in which the perpendicular line meets the plane. 2. A line is parallel to a plane, when it cannot meet that plane, to whatever distance both be produced. Conversely, the plane is parallel to the line. 3. Two planes are parallel to each other, when they cannot meet, to whatever distance both be produced. 4. The angle or mutual inclination of two planes is the quantity, greater or less, by which they separate from each other; this angle is measured by the angle contained between two lines, one in each plane, and both perpendicular to the common intersection at the same point. This angle may be acute, obtuse, or a right angle. If it is a right angle, the two planes are perpendicular to each other. 5. A solid angle is the angular space included between several planes which meet at the same point. Thus, the solid angle S, is formed by the union of the planes ASB, BSC, CSD, DSA. Three planes at least, are requisite to form a solid angle. PROPOSITION I. THEOREM. A straight line cannot be partly in a plane, and partly out of it. For, by the definition of a plane, when a straight line has two points common with a plane, it lies wholly in that plane. Scholium. To discover whether a surface is plane, it is necessary to apply a straight line in different ways to that surface, and ascertain if it touches the surface throughout its whole extent. PROPOSITION II. THEOREM. Two straight lines, which intersect each other, lie in the same plane, and determine its position. Let AB, AC, be two straight lines which intersect each other in A; a plane may be conceived in which the straight line AB is found; if this plane be turned round AB, until it pass through the point C, then the line AC, B which has two of its points A and C, in this plane, lies wholly in it; hence the position of the plane is determined by the single condition of containing the two straight lines AB, AC. Cor. 2. Hence also two parallels AB, CD, determine the position of a plane; for, drawing the secant EF, the plane of the two straight lines AE, EF, is that of the parallels AB, CD. Cor. 1. A triangle ABC, or three points A, B, C, not in a straight line, determine the position of a plane. A C A PROPOSITION III. THEOREM. If two planes cut each other, their common intersection will be a straight line. с Let the two planes AB, CD, cut each other. Draw the straight line EF, joming any two points E and F in A the common section of the two planes. This line will lie wholly in the plane AB, and also wholly in the plane CD (Book.. Def. 6.): therefore it will be n both planes at once, and consequently is their common intersection. PROPOSITION IV. THEOREM. a straight line be perpendicular to two straight lines at their point of intersection, it will be perpendicular to the plane of those lines. M B Let MN be the plane of the two lines BB, CC, and let AP be perpendicular to them at their point of intersection P; then will AP be perpendicular to every line of the plane passing through P, and corsequently to the plane itself (Def. 1.). Through P, draw in the plane MN, any straight line as PQ, and through any point of this line, as Q, draw BQC, so that BQ shall be equal to QC (Book IV. Prob. V.); draw AB, AQ, AC. 'N The base BC being divided into two equal parts at the point Q, the triangle BPC will give (Book IV. Prop. XIV.), PC2+PB2=2PQ2+2QC2. = E P The triangle BAC will in like manner give, F A B B Q Taking the first equation from the second, and observing that the triangles APC, APB, which are both right angled at P, give AC-PC2 AP2, and AB2-PB2-AP2; we shall have AP2+AP2 2AQ2-2PQ2. Therefore, by taking the halves of both, we have hence the triangle APQ is right angled at P; hence AP is perpendicular to PQ. Scholium. Thus it is evident, not only that a straight line may be perpendicular to all the straight lines which pass through its foot in a plane, but that it always must be so, when ever it is perpendicular to two straight lines drawn in the plane; which proves the first Definition to be accurate. Cor. 1. The perpendicular AP is shorter than any oblique line AQ; therefore it measures the true distance from the point A to the plane MN. Cor. 2. At a given point I on a plane, it is impossible to erect more than one perpendicular to that plane; for if there could be two perpendiculars at the same point P, draw through these two perpendiculars a plane, whose intersection with the plane MN is PQ; then these two perpendiculars would be perpendicular to the line PQ, at the same point, and in the same plane, which is impossible (Book I. Prop. XIV. Sch.). It is also impossible to let fall from a given point out of a plane two perpendiculars to that plane; for let AP, AQ, be these two perpendiculars, then the triangle APQ would have two right angles APQ, AQP, which is impossible. PROPOSITION V. THEOREM. If from a point without a plane, a perpendicular be drawn to the plane, and oblique lines be drawn to different points, 1st. Any two oblique lines equally distant from the perpendicular will be equal. 2d. Of any two oblique lines unequally distant from the perpendicular, the more distant will be the longer. Let AP be perpendicular to the plane MN; AB, AC, AD, oblique lines equally distant from the perpendicular, and M AE a line more remote: then will AB AC=AD; and AE will be greater than AD. P B C E N For, the angles APB, APC, APD, being right angles, if we suppose the distances PB, PC, PD, to be equal to each other, the triangles APB, APC. APD, will have in each an equal angle contained by two equal sides; therefore they will be equal; hence the hypothenuses, or the oblique lines AB, AC, AD, will be equal to each other. In like I |