(N) CoRo1.1.ARY. In any spherical triangle, if the sum of any two sides be greater, equal to, or less than a semi-circle, the sum of the opposite angles will be greater, equal to, or less than a semi-circle. For, according as CB+BD is greater, equal to, or less than a semi-circle, the angle Dopposite to the side Bc is greater, equal to, or less than the angle BCA; but the angle BCA and the angle BCD, opposite to the side DB, are always equal to two rightangles (M. 134.); therefore whenever D is greater than BoA, the sum of the angles BCD and BDc is greater than two rightangles; et contra. PROPOSITION XIII. (O) A right-angled spherical triangle may have either, 1. One right angle, and two acute angles. 2. One right angle, and two obtuse angles. 3. One obtuse angle, and two right angles. 4. One acute angle, and two right angles, or, 5. Three right angles. DEMONSTRATION. Let the angles A and D be right angles; and the arcs AE and ED quadrants; then E will be the pole of the circle ACGD, and Ecand EG will be quadrants (H. 133.) Since AE and DE are quadrants, A or D will be the pole of Eg; therefore AG and GD are quadrants. 1. Because AE and Ee are quadrants, the angles EAC and AcE are right angles (I. 134.); therefore the angle ACB is less than a right angle. And since Ac is less than AG, the angle ABC is less than the angle AEG (L. 143.); but AEG is a right-angle; therefore the right-angled triangle CAB has two acute angles and one right-angle. 2. The triangle BDC right-angled at D, has two obtuse angles and one right angle. For the angles DBC and DCB are supplements of the two acute angles ABc and ACB, and therefore must be obtuse. 3. The triangle CED has one obtuse angle, and two right angles. For, since GD and ED are quadrants, the angles DEG and DGE are right angles, therefore DEC is an obtuse angle. But Ec is a quadrant, and E is the pole of cqD, therefore ECD is a right angle. (H. 133.) 4. The triangle AEc has already been shewn to have two right angles; and AEG is a right angle, but AEC is less than a right angle. * 5. The right-angled spherical triangle GAE has three right angles, for A is a right angle by the proposition, and A is the pole of the circle EG, therefore AEG and AGE are right angles. (H. 133.) Q. E. D. (P) CoRoll ARY I. In any right-angled triangle, if the two legs be of the same species, viz. both acute, or both obtuse, the hypothenuse will be less than a quadrant, and the contrary. For Bc the hypothenuse, or side opposite to the right angles A and D, is common to the triangle BAC having two acute angles, and to the triangle BDC having two obtuse angles. (Q) CoRollary II. In any right-angled spherical triangle, if the legs be of different species, the hypothenuse will be greater than a quadrant, and the contrary; but one of the legs, at least, will be a quadrant, if the hypothenuse be a quadrant. For, in the triangle IcD, right-angled at c, c1 is less than a quadrant and CD greater, from what has already been demonstrated; but since D is the pole of the circle EHG, DH is a quadrant, therefore D1 the hypothenuse is greater than a quadrant. And when ci becomes equal to CE, DI will become equal to DE; but DE is a quadrant, therefore if the hypothenuse be a quadrant, one of the legs, at least, will be a quadrant. But both the legs will be quadrants when all the angles are right angles, as in the triangle AEG. (R) CoRoLLARY III. The sides containing the right angle of any triangle, are always of the same species as their opposite angles, and the angles are of the same species as their opposite sides. For in the triangle cAB where the two angles are acute, the opposite sides AB and Ac are acute; and in the triangle CDB where the two angles are obtuse, the opposite sides BD and cd are obtuse. (S) CoroLLARY IV. If the hypothenuse be less than 90°, the legs are of the same species as their adjacent angles. If the hypothenuse be greater than 90°, the legs and their adjacent angles are of different species. This is evident from the triangles BAC, CDB, and DCI. (T) CoRollary V. According as the hypothenuse, and one side (or its opposite angle) are of the same, or different species : the other side (and its opposite angle) will be less or greater than a quadrant. This is also evident, from the triangle Dci. PROPOSITION XIV. (U) If any number of arcs of circles CPB, cmH, Cnr, CDA, cSH, cog, be drawn from one and the same point c, on the sur..face of the sphere, to the circumference of a great circle AHGFEB; fhe greatest arc will be that which passes through the pole P. of the great circle AHGFEB; and the least arc will be the supplement ADC of the greatest CPB. And that arc which is the nearest to the greatest will be greater than any one more remote ; likewise, that arc which is nearest to the least arc, will be less than any one more remote from it. DEMonstration. Let z be the centre of the sphere, or of the great circle AHGFEB, and AB its diameter; from c, the point where all the circles intersect each other, draw cI perpendicular to AB, and join IE, IF, IG and IH. Then of all the straight lines which can be drawn from the point 1 to the circumference of the circle AHGFEB, that line IB, is the greatest which passes through the centre z, and its opposite line IA is the least; that line IE, which is nearest to IB, is greater than the line IF which is more remote; and the line IH which is nearest to IA, is shorter than the line IG which is more remote. (Euclid 7 of III.) Let Ac, HC, GC, FC, &c. be joined by straight lines; then will CIB, CIE, CIF, CIG, CIH and cIA be all right-angled plane triangles, having the perpendicular cI common to each; therefore that triangle cIB, which has the greatest base IB, will have the greatest hypothenuse Bc; and that triangle CIA which has the least base 1A, will have the least hypothenuse AC, &c.; of the others, Ec will be greater than Fc, and Hc less than Gc. But these several hypothenuses are all chords of equal circles, and the greater chord cuts off the greater arc, or circumference, therefore CPB is the greatest arc, and ADc the least; cme is greater than cnf, and CSH is less than cog. 9. E. D. PROPOSITION XV. (W) f the angles at the base of an oblique-angled spherical trianglebe of the same species, viz. both acute, or both obtuse, a perpendicular from the vertical angle upon the base will fall within the triangle, if they be of different species, it will fall without. DEMONSTRATION. In the right- C -angled triangle CDB, CD is of the same species as CBD (R.145.), and in the right-angled triangle cDA, CD is of the same species as cAD, therefore the perpendicular in the A firstfigure falls between the angles A and B. In the second figure, cBD and cBA are supplements of each other (M. 134.), and the perpendicular cd falls opposite to both ced and cAD being of the same species, therefore it cannot fall opposite to cBA at the same time, hence it must necessarily fall without the triangle. Q. E. D. (X) CoRollary. In an isosceles triangle, the equal angles are of the same species as their adjacent, or opposite sides. For then AD=DB (K. 148.) and these segments are always acute, since their sum can never be equal to a semi-circle. (C. 133.) But according as DB and Dc, or AD and DC, are of the same, or different species, Bc or its equal Ac, is acute or obtuse; or since the segments are always acute, Bc and Ac will be of the same species as Dc, but pois of the same species as A and B, therefore the sides are of the same species as their adjacent or opposite base angles. - PROPOSITION XVI. (Y) If the LEast two sides of a spherical triangle be of the same species, the perpendicular drawn from their included angle apon the third side, will fall within the triangle.—Or, if the third side be less than either of the others, they being Qf the same species, but greater than their supplements, the perpendicular will fall within the triangle, and the less segment of the base and less vertical angle will be adjacent to the greater side, and the greater segment, and greater vertical angle will join the less side, provided the sum of the sides be greater than 180°. DEMONSTRATIon. Let ABC be the triangle, CD a perpendicular upon its base AB; make BN equal to the hypothenuse BC, and AI equal to the hypothenuse Ac, then BCN and AcI are isosceles triangles; the angle BNc is of the same species as Bc, and the angle Aic is of the same species as Ac. (X.147.). But Ac and Bc are of the same species, by the hypothesis, therefore the angles BNc and A1c are of the same species; consequently cd falls between them (W. 146.) and of course within the triangle ABc. SEconDLY. In the triangle AvP, where Av and Bv are each greater than AB, the least two sides of the supplemental triangle FVE, which by the hypothesis are each less than AB or FE, are of the same species, and consequently va falls between them, therefore vid falls between Av and Bv. But Av is greater than BV, and AD is less than DB; consequently Avd is less than BvD. 42. E. D. (Z) CoRollary I. The perpendicular let fall on the base of an oblique spherical triangle is either less orgreater than each side. For since cd is perpendicular to AB, it must pass through P the pole of AB (I. 134.); and if c be below the pole P, that is if CD be less than a quadrant, it will be the least of all the lines that can be drawn from the point c to the circumference of the circle ABEF, and cq will be the greatest. (U. 145.) If c the vertex of the triangle ABC fall above the pole P, suppose in v, then vid will be the perpendicular, and of all the arcs that can be drawn from v upon the arc AB, vp is the greatest (U. 145.), therefore the perpendicular is either less or greater than each side; when it becomes equal to one of the sides, the triangle will be right angled, as BDC. If the perpendicular fall without the triangle, as in Boc, or Bov, the demonstration will hold equally true. (A) CoRollary II. When the perpendicular falls without the triangle, it may be either less or greater than a quadrant : or less or greater than each side. In the triangle Boc, either cd or cq may be esteemed the perpendicular upon the base ob continued; the former cd is less than a quadrant, and less than either co or CB, and the latter cq is greater. (B) CorolLARY III. When the perpendicular falls without the triangle, the less perpendicular is meat the less side, and the greater perpendicular is next the greater side; and either of them may be considered as the proper perpendicular or the base produced. In the triangle Boc, CD the less perpendicular is next the less side co, and cq the greater perpendicular is next the greater side BC, and either of them may be used for determining the several parts of the triangle Boc, but the one is sometimes more convenient than the other. (C) CorolLARY IV. In any triangle ABC or Boc, the perpendicular cd falling within the triangle ABC upon the base AB, or NEAREST perpendicular CD falling without the triangle Boc, is always of the same species as half the sum of the two sides of the triangle ; and if half the sum of the two sides of the triangle be acute, this perpendicular falls nearest the less side, if obtuse, it falls nearest the greater side. In the triangle ABC the perpendicular Dc is less than a quadrant, and each side Ac and Bc is less than a quadrant, therefore half their sum is less than a quadrant, and the perpendicular cd falls nearest to Ac. In the triangle Boc, CD is less than a quadrant, and each of the sides co and CB is less than a quadrant, therefore half their |