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
cos. M cos. N: sin. M sin. Ny: x;

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')
1

sin. A' + sin. B tang. † (A' + B)

If in this equation we make

SA' = s = 1⁄2 (a + b + c),
{ B' = s − b = £ (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).

EXAMPLES.

1. Given in the spherical triangle ABC (figs. 4.

2. Given in the spherical triangle ABC (figs. 4.

63. Theorem. The greater side of a spherical triangle is opposite the greater angle,

(768)