The sines of the sides of a spherical triangle are proportional to the sines of their opposite angles. Let ABC be a spherical triangle. From C draw p, the arc of a great circle perpendicular to the opposite side or to the opposite side produced. с C In the first case we have, by Napier's principles, sin p= cos (90° — a) cos (90°—Bì sin pcos (90°-— b) cos (90°—A) sin a sin B. sin b sin A. sin b sin A. sin a sin b :: sin A : sin B. In the second case we have, by Napier's principles, cos (90’— a) cos (90°—B′) = sin p= sin p a B = A = cos (90° — b) cos (90° — A) = sin b sin A. The co-sine of any side of a spherical triangle is equal to the product of the co-sines of the other sides, plus the product of their sines into the co-sine of their included angle. Let ABC be a spherical triangle, and O the center of the sphere. Let CM be perpendic- 0 ular to the plane AOB. Draw MD and ME, respectively perpendicular to OB and OA, and M E b B draw CD and CE, which will be respectively perpendicular to OB and OA; hence, the angle CEM A, and CDM Draw EF perpendicular to OB, and = MN perpendicular to EF. Each of the angles MEN and EOF is the complement of OEF; ... MEN=EOF= c. Substituting the values of OD, OF, and NM, we have cos a cos b cos c + sin b sin c cos A. In like manner other formulas may be deduced, giv ing the group, (1) cos a = cos b cos c + sin b sin c cos A. (2) cos b = cos a cos c + sin a sin c cos B. 137. Proposition III. The co-sine of any angle of a spherical triangle is equal to the product of the sines of the other angles into the co-sine of their included side, minus the product of the co-sines of these angles. The formulas for passing to the polar triangle are, Substituting these values in the formulas of the preceding article and reducing, we have cos B' cos C'- sin B' sin C' cos a'. COS. B' cos A' cos C'sin A' sin C' cos b'. cos A' cos B'- sin A' sin B' cos c'. cos C' Changing the signs and omitting the accents, since the formulas are true for any triangle, we have The co-sine of one-half of any angle of a spherical triangle is equal to the square root of the quotient obtained by dividing the sine of one-half the sum of the sides into the sine of one-half the sum minus the side opposite the angle, by the product of the sines of the adjacent sides. The first formula of article 136 gives Adding 1 to both members, we have cos asin b sin c -cos b cos c Article 95, (10). 1 + cos A cos (bc). Art. 89, (b). But by article 96, (8), we have cos acos (b+c) = 2 sin (a+b+c) sin (b+c-a). Substituting and dividing by 2, we have Let s = a+b+c, then will s 18a= (b + c − a). (a + b + c), value of cos2 4, and in the B and cos2 C, and extracting 139. Proposition V. The sine of one-half of any side of a spherical triangle is equal to the square root of the quotient obtained by dividing minus the co-sine of one-half the sum of the angles into the co-sine of one-half the sum minus the angle opposite the side, by the product of the sines of the adjacent angles. Taking the formulas of the last article, passing to the polar triangle, making SA'B'C', substituting in these formulas, reducing, and omitting the accents, we have The sine of one-half of any angle of a spherical triangle is equal to the square root of the quotient obtained by dividing the sine of one-half the sum of the sides minus one adjacent side into the sine of one-half the sum minus the other adjacent side, by the product of the sines of the adjacent sides. |