the third angle. These theorems, which are given in (749) and (758), can be obtained from equations (702704) by the assistance of the following lem This equation is the same as the proportion sin. M cos. N: cos. M sin. N::x:y; (740) hence, by the theory of proportions, sin. M cos. N + cos. M sin. N: sin. M cos. N (741) or, by (84) and (90), cos. M sin. N:: x+y: x — y, sin. (MN) sin. (MN) :: x + y : x − y ; which may be written in the form of an equation as in (737). (742) (743) y (746) (747) (748) sin. M sin. N T y This equation is the same as the proportion hence, by the theory of proportions, cos. M cos. N sin. M sin. N: cos. M cos. N sin. M sin. Ny-x:x+y, 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) (753) (754) (755) (756) (757) 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. (A+C) cos. (A — C): : tang. b : tang. (a+c). (759) Demonstration. The product of (702) and (704), (761) cos. † (A — C) sin. s + sin. (s — But (753) is, when inverted, b) -b)" (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) tang. 1 b tang. (a+c)' (761), gives tang. 1 b (a+c)' cos. (AC) tang. 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). |