acute, the ABD is (E. XIII. 1.) obtuse; and (constr.) the AGB is a right angle: Wherefore the two 4s ABG, AGB of the ▲ ABG are not less than two right angles; which (E. XVII. 1.) is absurd. Therefore, the perpendicular drawn from A on BD cannot fall without BD. And, in the same manner, it may be shewn, that the perpendicular drawn from B on the opposite side AC, of the obtuse-angled ▲ ABC, cannot fall without AC, and also that the perpendicular drawn from A, on the opposite side BC, of that triangle, cannot fall within BC. PROP. VIII. 14. THEOREM. If a straight line, meeting two other straight lines, makes the two interior angles on the same side of it not less than two right angles, these lines shall never meet on that side, if produced ever so far. For, if it be possible, let two straight lines meet, which make, with another straight line, the two interior angles, on the same side, not less than two right angles: Then it is plain, that the three straight lines will thus include a triangle, two angles of which are not less than two right angles; which (E. XVII. 1.) is absurd. Wherefore, the two straight lines cannot meet, on that side of the straight line, on which they make the two interior angles not less than two right angles. 15. COR. Two straight lines, which are both perpendicular to the same straight line, are parallel to each other. PROP. IX. 16. THEOREM. The three sides of a triangle taken together, exceed the double of any one side, and are less than the double of any two sides. For, since (E. xx. 1.) any two sides of a triangle are greater than the third, if the third side be added both to those two and to itself; it is evident that the three sides are, together, greater than the double of the third. Again, since (E. xx. 1.) any side of a triangle is less than the other two, if the other two be added both to that side, and to themselves, it is evident, that the three sides are, together, less than the double of the other two. PROP. X. 17. THEOREM. Any side of a triangle is greater than the difference between the other two sides. If, the triangle be equilateral, or isosceles, the proposition is manifestly true. But let it be a scalene triangle: Then, since (E. xx. 1.) any two sides of the triangle are greater than the third, if either of those two be taken from that third side, it is plain that the remaining side is greater than the difference of the other two. PROP. XI. 18. THEOREM. Any one side of a rectilineal figure is less than the aggregate of the remaining sides. side, as BC, is less than the aggregate of the remaining sides. For, first, let the figure be quadrilateral; and join B, D: Then (E. xx. 1.) BD+DC > BC; and, BA+AD>BD; .. BA+AD+DC>BD+DC; much more, then, is BA+AD+ DC>BC. And the proposition may, in the same manner, be proved to be true, when the figure has more than four sides. PROP. XII. 19. THEOREM. The two sides of a triangle are together, greater than the double of the straight line which joins the vertex and the bisection of the base. Let ABC be a triangle, and let AD be the straight line joining the vertex A, and the bisec tion, D, of the base BC: AB+ AC>2 AD. Produce AD to E, and cut off (E. ш. 1.) DE=AD ; also, join B, E. Then since (hyp.) BD = BC, and (constr.) AD DE, the two sides BD, DE, of the ABDE, are equal to the two sides AD, DC of the AADC; and (E. xv. 1.) the BDE= LADC; .. (E. iv. 1.) BE=AC. But (E. xx. 1.) AB+BE>AE; but AC has been proved to be equal to BE, and AE is (constr.) the double of AD; .. AB+ AC>2 AD. PROP. XIII. 20. THEOREM. The two sides of a triangle are, together, greater than the double of the straight line drawn from the vertex to the base, bisecting the vertical angle. Let ABC be a triangle, and let AD be drawn from the vertex 4, to the base BC, bisecting the vertical / BAC: Then, AB+ AC>2AD. If the triangle be isosceles, the straight line which bisects the vertical angle is (E. IV. 1.) perpendicular to the base; and since (E. xvII. 1. and E. XIX. 1.) each of the equal sides is greater than the perpendicular, the proposition, is, in this case, manifestly true. But, let ABC be a scalene triangle, and let the side AB be less than AC: Then, of the segments into which AD, bisecting the ▲ BAC, divides the base BC, BD, which is adjacent to the less side AB, is the less. For, from AC, the greater, cut off (E. III. 1.) AE= AB, the less, and join D, E; and because BA, AD are equal to EA, AD, and (hyp.) the LBAD = L EAD; .. (E. iv. 1.) BD=DE, and ¿BDA=¿EDA; but (E. xvI. 1.) ≤ DEC> <ADE; :.4 DEC> <ADB; and (E. xvI. 1.) LADB> LACD; much more then is < DEC> <ECD; .. (E. xix. 1.) DC>DE; but it has been shewn that DE=DB; .. DC>DB. From DC, the greater cut off (E. ш. 1.) DF=DB; and join A, F: Then (E. xvI. 1.) the AFC> <ABC; and because (hyp.) AC>AB, .·. (E. xviii. 1.) ≤ABC>≤ACB; much more then is LAFC>LACF; .. (E. xix. 1.) AC>AF: But (S. xii. 1. and constr.) AB+AF>2 AD; much more then is AB+AC>2AD. 21. COR. From the demonstration it is manifest, that of the segments into which the straight line bisecting the vertical angle of a scalene triangle, divides the base, that which is adjacent to the less side, is the less. PROP. XIV. 22. THEOREM. If a trapezium and a triangle stand upon the same base, and on the same side of it, and the one figure fall within the other, that which has the greater surface shall have the greater perimeter. |