manner, if the distance PE is greater than PD or its equal PB, the oblique line AE will evidently be greater than AB, or its equal AD. Cor. All the equal oblique lines, AB, AC, AD, &c. terminate in the circumference BCD, described from Pthe foot of the M perpendicular as a centre; therefore a point A being given out of a plane, the point Pat which the perpendicular let fall from A would meet that plane, may be found by marking upon that plane three points B, C, D, equally distant from the point A. and then finding the centre of the circle which passes through these points; this centre will be P, the point sought. N PROPOSITION VI. THEOREM. Scholium. The angle ABP is called the inclination of the oblique line AB to the plane MN; which inclination is evidently equal with respect to all such lines AB, AC, AD, as are equally distant from the perpendicular; for all the triangles ABP, ACP. ADP, &c. are equal to each other. B Let AP be perpendicular to the plane NM, and PD perpendicular to BC; then will AD be also perpen- M dicular to BC. E If from a point without a plane, a perpendicular be let fall on the plane, and from the foot of the perpendicular a perpendicular be drawn to any line of the plane, and from the point of intersection a line be drawn to the first point, this latter line will be perpendicular to the line of the plane. P C D Take DB DC, and draw PB, PC, AB, AC. Since DB=DC, the oblique line PB-PC: and with regard to the perpendicular AP, since PB= PC, the oblique line AB-AC (Prop. V. Cor.); therefore the line AD has two of its points A and D equally distant from the extremities B and C; therefore AD is a perpendicular to BC, at its middle point D (Book I. Prop. XVI. Cor.). E B N Cor. It is evident likewise, that BC is perpendicular to the plane APD, since BC is at once perpendicular to the two straight lines AD, PD. Scholium. The two lines AE, BC, afford an instance of two lines which do not meet, because they are not situated in the same plane. The shortest distance between these lines is the straight line PD, which is at once perpendicular to the line AP and to the line BC. The distance PD is the shortest distance between them, because if we join any other two points, such as A and B, we shall have AB>AD, AD>PD; therefore AB>PD. The two lines AE, CB, though not situated in the same plane, are conceived as forming a right angle with each other, because AE and the line drawn through one of its points parallel to BC would make with each other a right angle. In the same manner, the line AB and the line PD, which represent any two straight lines not situated in the same plane, are supposed to form with each other the same angle, which would be formed by AB and a straight line parallel to PD drawn through one of the points of AB. PROPOSITION VII. THEOREM. If one of two parallel lines be perpendicular to a plane, the other will also be perpendicular to the same plane. A Let the lines ED, AP, be parallel; if AP is perpendicular to the plane NM, then will ED be also perpendicular to it. M P E Through the parallels AP, DE, pass a plane; its intersection with the plane MN will be PD; in the plane MN draw BC perpendicular to PD, and draw AD. B By the Corollary of the preceding Theorem, BC is perpendicular to the plane APDE; therefore the angle BDE is a right angle; but the angle EDP is also a right angle, since AP is perpendicular to PD, and DE parallel to AP (Book I. Prop. XX. Cor. 1.); therefore the line DE is perpendicular to the two straight lines DP, DB; consequently it is perpendicular to their plane MN (Prop. IV.) IN Cor. 1. Conversely, if the straight lines AP, DE, are perpendicular to the same plane MN, they will be parallel; for if they be not so, draw through the point D. a line parallel to AP, this parallel will be perpendicular to the plane MN; therefore through the same point D more than one perpendicular might be erected to the same plane, which is impossible (Prop. IV. Cor. 2.). M A P E Let AB be parallel to CD of the plane NM; then will it be parallel to the plane M NM. B Cor. 2. Two lines A and B, parallel to a third C, are parallel to each other; for, conceive a plane perpendicular to the line C; the lines A and B, being parallel to C, will be perpendicular to the same plane; therefore, by the preceding Corollary, they will be parallel to each other. The three lines are supposed not to be in the same plane; otherwise the proposition would be already known (Book I. Prop. XXII.). PROPOSITION VIII. THEOREM. If a straight line is parallel to a straight line drawn in a plane, it will be parallel to that plane. A B N For, if the line AB, which lies in the plane ABDC, could meet the plane MN, this could only be in some point of the line CD, the common intersection of the two planes: but AB cannot meet CD, since they are parallel; hence it will not meet the plane MN; hence it is parallel to that plane (Def. 2.). PROPOSITION IX. THECREM. D Two planes which are perpendicular to the same straight line, are parallel to each other. Let the planes NM, QP, be perpendicular to the line AB, then will they be parallel. For, if they can meet any where, let O be one of their common points, and draw OA, OB; the line AB which is perpendicular to the plane MN, is perpendicular to the straight line OA drawn through its foot in that plane; for the same reason AB is perpendicular to BO`; therefore OA and OB are two perpendiculars let fall from the same point Q, upon the same straight line; which is impossible (Book I. Prop. XIV.); therefore the planes MN, PQ, cannot meet each other; consequently they are parallel. Let the parallel planes NM, QP, be intersected by the plane EH; then will the lines of intersection EF, GH, be parallel. For, if the lines EF, GH, lying in the same plane, were not parallel, they would meet each other when produced; therefore, the planes MN, PQ, in which those lines lie, would also meet; and hence the planes would not be parallel. P PROPOSITION X. THEOREM. P M M A D If a plane cut two parallel planes, the lines of intersection will be parallel. PROPOSITION XI. THEOREM. B H N E N two planes are parallel, a straight line which is perpendicular to cne, is also perpendicular to the other. Let MN, PQ, be two parallel planes, and let AB be perpendicular to NM; then will it also be perpendicular to QP. C Having drawn any line BC in the plane PQ, through the lines AB and BC, draw a plane ABC, intersecting the plane MN in AD; the intersection AD will be parallel to BC (Prop. X.) ; but the line AB, being perpendicular to the plane MN, is perpendicular to the straight line AD; therefore also, to its parallel BC (Book I. Prop. XX. Cor. 1.): hence the line AB being perpendicular to any line BC, drawn through its foot in the plane PQ, is consequently perpendicular to that plane (Def. 1.). PROPOSITION XII. THEOREM. Let MN, PQ, be two parallel planes, and FH, GE, two parallel lines: then will EG=FH P M The parallels comprehended between two parallel planes are equal. M G A D B N E FN Cor. Hence it follows, that two parallel planes are every where equidistant: for, suppose EG were perpendicular to the plane PQ; the parallel FH would also be perpendicular to it (Prop. VII.), and the two parallels would likewise be perpendicular to the plane MN (Prop. XI.); and being parallel, they will be equal, as shown by the Proposition. |