Since A is the pole of FE, and the circle AC paffes through A, EF will pafs through the pole of AC, (13. 15. 1. Th.) and fince AC paffes through C, the pole of FD,FD will pass through the pole of AC; therefore the pole of AC is in the point F, in which the arches DF, EF interfect each other. In the fame manner, D is the pole of BC, and E the pole of AB. And fince F, E are the poles of AL, AM, FL and EM are quadrants, and FL, EM together, that is FE and ML together, are equal to a femicircle. But fince A is the pole of ML, ML is the measure of the angle BAC, confequently, FE is the fupplement of the measure of the angle BAC. In the same manner, ED, DF are the fupplements of the measures of the angles ABC, BCA. Since likewife CN, BH are quadrants, CN, BH together, that is, NH, BC together, are equal to a femicircle; and fince D is the pole of NH, NH is the meafure of the angle FDE, therefore the measure of the angle FDE is the fupplement of the fide BC. In the fame manner, it is fhewn that the measures of the angles DEF, EFD are the fupplements of the fides AB, AC, in the triangle ABC. Q. E. D. TH THE three angles of a spherical triangle are greater than two right angles, and less than fix right angles. The measures of the angles A, B, C, in the triangle ABC, to gether with the three fides of the supplemental triangle DEF, are (10. of this) equal to three femicircles; but the three fides of the triangle FDE, are (7. of this) lefs than two femicircles; therefore the measures of the angles A, B, C are greater than a femicircle; and hence the angles A, B, C are greater than two right angles. All the external and internal angles of any triangle are equal to fix right angles; therefore, all the internal angles are lefs than fix right angles. IF PROP. XII. FIG. 8. F from any point C, which is not the pole of the great circle ABD, there be drawn arches of great ́circles CA, CD, CE, CF, &c. the greatest of these is CA, which paffes through H the pole of ABD, and CB the remainder of ACB is the leaft, and of any others CD, CE, CF, &c. CD, which is nearer to CA, is greater than CE, which is more remote. Let the common fection of the planes of the great circles ACB, ADB be AB; and from C, draw CG perpendicular to AB, which will alfo be perpendicular to the plane ADB ; (4. def. 11.) join GD, GE, GF, CD, CE, CF, CA, CB. mote. Of all the straight lines drawn from G to the circumference ADB, GA is the greatest, and GB the leaft; (7. 3.) and GD which is nearer to GA is greater than GE, which is more reThe triangles CGA, CGD are right-angled at G, and they have the common fide CG; therefore the fquares of CG, GA together, that is, the fquare of CA, is greater than the fquares of CG, GD together, that is, the fquare of CD; and CA is greater than CD, and therefore the arch CA is greater than CD. In the fame manner, fince GD is greater than GE, and GE than GF, &c. it is fhewn that CD is greater than CE, and CE than CF, &c. and confequently, the arch CD greater than the arch CE, and the arch CE greater than the arch CF, &c. And fince GA is the greateft, and GB the leaft of all the straight lines drawn from G to the circumference ADB, it is manifeft that CA is the greateft, and CB the leaft of all the ftraight lines drawn from C to that circumference; and therefore the arch CA is the greatest, and CB the least of all the circles drawn through C, meeting ADB. Q. E. D. I PROP. XIII. FIG. 9. Na right-angled fpherical triangle the fides are of the fame affection with the opposite angles; that is, if the fides be greater or less than quadrants, the oppofite angles will be greater or lefs than right angles. Let ABC be a fpherical triangle right-angled at A, any fide AB, will be of the fame affection with the oppofite angle ACB. Cafe 1. Let AB be less than a quadrant, let AE be a quadrant, and let EC be a great circle paffing through E, C. Since A is a right angle, and AE a quadrant, E is the pole of the Fig. 10. great circle AC, and ECA a right angle; but ECA is greater than BCA, therefore BCA is less than a right angle. Q. E. D. Cafe 2. Let AB be greater than a quadrant, make AE a quadrant, and let a great circle pafs through C, E. ECA is a right angle as before, and BCA is greater than ECA, that is, greater than a right angle. Q. E. D. PROP. XIV. Fig. 9. Fig. 10. IF Let ABC be a right-angled spherical triangle, if the two fides AB, AC be of the fame or of different affection, the hypothenufe BC will be lefs or greater than a quadrant. Cafe 1. Let AB, AC be each lefs than a quadrant. Let AE, AG be quadrants; G will be the pole of AB, and E the pole of AC, and EC a quadrant; but, by prop. 12. CE is greater than CB, fince CB is farther off from CGD than CE. In the fame manner, it is fhewn that CB, in the triangle CBD, where the two fides CD, BD are each greater than a quadrant, is lefs than CE, that is, less than a quadrant. Q. E. D. Cafe 2. Let AC be lefs, and AB greater than a quadrant; then the hypothenufe BC will be greater than a quadrant; for let AE be a quadrant, then E is the pole of AC, and EC will be a quadrant. But CB is greater than CE by prop. 12. fince AC passes through the pole of ABD. Q. E. D. I PROP. XV. F the hypothenufe of a right-angled triangle be greater or less than a quadrant, the fides will be of different or the fame affection. This is the converfe of the preceding, and demonftrated in the fame manner. PROP. XVI. IN any fpherical triangle ABC, if the perpendicular AD from A upon the bafe BC fall within the triangle, the angles B and C at the bafe will be of the fame affection; and if the perpendicular fall without the triangle, the angles B and C will be of different affection. 1. Let AD fall within the triangle; then (13. of this) since Fiz. 11. ADB, ADC are right-angled spherical triangles, the angles B, C muft each be of the fame affection as AD. 2. Let AD fall without the triangle, then (13. of this) the Fig. 12. angle B is of the fame affection as AD; and by the fame, the angle ACD is of the fame affection as AD; therefore the angle ACB and AD are of different affection, and the angles B and ACB of different affection. COR. Hence if the angles B and C be of the fame affection, the perpendicular will fall within the bafe; for, if it did not, (16. of this,) B and C would be of different affection. And if the angles B and C be of oppofite affection, the perpendicular will fall without the triangle; for, if it did not, (16. of this,) the angles B and C would be of the fame affection, contrary to the fuppofition. IN right-angled fpherical triangles, the fine of either of the fides about the right angle, is to the radius of the sphere, as the tangent of the remaining fide is to the tangent of the angle oppofite to that fide. Let ABC be a triangle, having the right angle at A; and let AB be either of the fides, the fine of the fide AB will be to the radius, as the tangent of the other fide AC to the tangent of the angle ABC, oppofite to AC. Let D be the center of the fphere; join AD, BD, CD, and let AE be drawn perpendicular to BD, which therefore will be the fine of the arch AB, and from the point E, let there be drawn in the plane BDC the ftraight line EF at right angles to BD, meeting DC in F, and Since therefore the ftraight line DE is at let AF be joined. right angles to both EA and EF, it will also be at right angles to the plane AEF, (4. 11.) wherefore the plane ABD, which paffes through DE, is perpendicular to the plane AEF, (18. 11,) and the plane AEF perpendicular to ABD: the plane ACD or AFD is alfo perpendicular to the fame ABD therefore the common fection, viz. the straight line AF, is at right angles to the plane ABD: (19. 11.) and FAE, FAD are right angles; (3. def. 11.) therefore AF is the tangent of the arch AC; and in the rectilineal triangle AEF, having a right angle at A, AE will be to the radius as AF to the tangent of the angle AEF, (1. Pl. Tr. ;) but AE is the fine of the arch AB, and AF the tangent of the arch AC, and the angle AEF is the inclination of the planes CBD, ABD, (6, def. 11.) or the fpherical angle ABC; therefore the fine of the arch AB is to the radius as the tangent of the arch AC, to the tangent of the oppofite angle ABC. COR. 1. If therefore of the two fides, and an angle oppofite to one of them, any two be given, the third will alfo be given. COR. 2. And finçe by this propofition the fine of the fide AB is to the radius, as the tangent of the other fide AC to the tangent of the angle ABC oppofite to that fide; and as the radius is to the co-tangent of the angle ABC, fo is the tangent of the fame angle ABC to the radius, (Cor. 2. def. Pl. Tr.) by equality, the fine of the fide AB is to the co-tangent of the angle ABC adjacent to it, as the tangent of the other fide AC to the radius. PROP. XVIII. FIG. 13. IN right-angled spherical triangles the fine of the hypothenufe is to the radius, as the fine of either fide is to the fine of the angle opposite to that side. Let the triangle ABC be right-angled at A, and let AC be either of the fides; the fine of the hypothenufe BC will be to the radius as the fine of the arch AC is to the fine of the angle ABC. Let D be the center of the sphere, and let CG be drawn perpendicular to DB, which will therefore be the fine of the hypothenufe BC; and from the point G let there be drawn in the plane ABD the straight line GH perpendicular to DB, and let CH be joined CH will be at right angles to the plane ABD, as |