(746) sin. M sin. N x = cos. M cos. N y This equation is the same as the proportion hence, by the theory of proportions, sin. M sin. N: ços. M cos. N + sin. M sin. Ny-x:x + y, cos. M cos. N (747) (748) or, by (104) and (116), cos. (M+N): cos. (M-N): y-x:y + x; which may be written as in (744). 60. Theorem. The sine of half the sum of two angles of a spherical triangle is to the sine of half their difference, as the tangent of half the side to (749) which they are both adjacent is to the tangent of half the difference of the other two sides; that is, in the spherical triangle ABC (figs. 4. and 5.), But we have by (228), accenting the letters so as not to confound them with the angles of the triangle, (752) 61. Theorem. The cosine of half the sum of two angles of a spherical triangle is to the cosine of half their difference, as the tangent of half the side to (758) which they are both adjacent is to the tangent of half the sum of the other two sides; that is, in the spherical triangle ABC (figs. 4. and 5.) cos. (AC): cos. (AC): tang, b (759) Demonstration. The product of (702) and (704), (762) (763) = tang. (A'B') sin. A'sin. B' tang. (A' + B') If in this equation we make SA' = s = 1⁄2 (a + b + c), we have (764) (765) (766) (767) SA' + B' = a + c, and (762) becomes sin. S sin. (s S sin. s + sin. (s S b) = tang. b b) tang. (a+c) This equation, substituted in (761), gives Cos. (AC) tang. (a+c)' which is the same as (759). 62. Scholium. In using (749) and (758), the signs of the terms must be attended to by means of (496). EXAMPLES. 1. Given in the spherical triangle ABC (figs. 4. By (759), ≥ (A + C) = 128°. cos, (ar. co.) 10.21066 n. (A-C) 30°, COS. 9.93753 2. Given in the spherical triangle ABC (figs. 4. 63. Theorem. The greater side of a spherical triangle is opposite the greater angle. (768) (769) Demonstration. The first and third terms of the proportion (750), sin. (AC): sin. (AC): tang. b are, by (496), both positive, since † (A + C) is less (770) than 180° and bis less than 90°. The second and fourth terms must then be both positive or both negative at the same time. But as (A- C) and (771) 1⁄2 (a — c) are both less than negative only when A is less c which agrees with (768). 1 64. Theorem. 90°, these terms can be than C and a less than Of two sides of a spherical triangle the one which differs most from 90° must be (772) opposite the angle which differs most from 90°; and this side and angle must be both greater or both less than 90°. Demonstration. Let the side a differ more from (773) 90°, than does the side b; then by (507) sin. a is less than sin. b. But, by (598), (774) sin. a sin. b: : sin. A: sin. B. Hence, sin. A is less than sin. B, and by (507) the (775) angle A differs more from 90° than does the angle B which agrees with the first part of (772). Again, if a is also greater than b it must be greater than 90°; and the opposite angle A must, by (768), (776) be greater than the angle B, and, by (775), differing more from 90° must also be greater than 90°. But if a is less than b, it must, by (773), be acute; and A (777) must, by (768), be less than B, and, by (775), it must also be acute; which is the second part of (772). |