Similar equations may be deduced for each of the other sides. Hence, generally, R2 cos a=R cos b cos c+ sin b sin c cos A. } That is, radius square into the cosine of either side of a spherical triangle is equal to radius into the rectangle of the cosines of the two other sides plus the rectangle of the sines of those sides into the cosine of their included angle. V. Each of the formulas designated (2) involves the three sides of the triangle together with one of the angles. These formulas are used to determine the angles when the three sides are known. It is necessary, however, to put them under another form to adapt them to logarithmic computation. · Taking the first equation, we have cos A= Adding R to each member, we have But, R+cos A= R2 cos a- -R cos b cos c R2 cos a+R sin b sin c—R cos b cos c 2 cos 2A (Art. XXIII.), and R R sin b sin c-R cos b cos c=— -R2 cos (b+c) (Art. XIX.); 2 cos2AR2 (cos a—cos (b+c)). sin b sin c hence, = 2 R R (a+b+c) sin (b+c-a) sin b sin c Putting s=a+b+c, we shall have sin (2.) cos CR s=(a+b+c) and s—a= (b+c-a): hence cos A=R sin cos BRA (Art. XXIII). ( s )sin ( s- a) sin(s) sin (s—b) sin a sin c sin(s) sin (s- (3.) Had we subtracted each member of the first equation from R, instead of adding, we should, by making similar reductions, have found sin sin A=RV sin B=RV sin } C=R√sin § (a+c—b) sin § (b+c—a) sin a sin b hence, (a+b—c) sin } (a+c—b) sin(a+b-c) sin (b+c-a) sin a sin c Putting s=a+b+c, we shall have }s—a={(b+c—a), }s—b=} (a+c—b), and s—c=}(a+b—c) sin A=R√ sin. (s-c) sin (s—b) sin b sin c sin B=Rsin (s—c) sin (†s—a) ≥ (5.) sin a sin c sin C-R sin cos b=R (-b) sin (s-a) sin u sin b (4.) VI. We may deduce the value of the side of a triangle in terms of the three angles by applying equations (4.), to the polar triangle. Thus, if a', b', c', A', B', C', represent the sides and angles of the polar triangle, we shall have A=180°-a', B=180°-b', C=180°-c'; cos a=R cos (A+B−−C) cos § (A+C—B) sin B sin C (Book IX. Prop. VII.): hence, omitting the ', since the equa tions are applicable to any triangle, we shall have cos § (A+B—C) cos § (B+C—A) > (6.) sin A sin C cos c=R cos (A+C—B) cos } (B+C—A) sin A sin B. Putting S=A+B+C, we shall have }S—A=}(C+B—A), }S—B=} (A+C—B) and cos a R cos (S-C) cos (S-B) cos (S-C) cos (S-A) VII. If we apply equations (2.) to the polar triangle, we shall have cos (S-B) cos (S-A) sin A sin B -R2 cos A'R cos B' cos C'-sin B' sin C' cos a'. Or, omitting the', since the equation is applicable to any triangle, we have the three symmetrical equations, R2.cos A=sin B sin C cos a-R cos B cos C R2.cos B=sin A sin C cos b-R cos A cos C (8.) hence, by substitution, That is, radius square into the cosine of either angle of a spherical triangle, is equal to the rectangle of the sines of the two other angles into the cosine of their included side, minus radius into the rectangle of their cosines. VIII. All the formulas necessary for the solution of spherical triangles, may be deduced from equations marked (2.). If we substitute for cos b in the third equation, its value taken from the second, and substitute for cos2 a its value R2-sin2 a, and then divide by the common factor R.sin a, we shall have R.cos c sin a sin c cos a cos B+R.sin b cos C. sin B sin c sin C But equation (1.) gives sin b= R sin c (7.) R cos c sin a sin c cos a cos B+R. Dividing by sin c, we have COS C sin B cos C sin sin a=cos a cos B+R sin B cos C COS cot But, (Art. XVII.). sin R cot c sin a=cos a cos B+cot C sin B. Therefore, Hence, we may write the three symmetrical equations, cot b sin c=cos c cos A+cot B sin A 》 (9.) That is, in every spherical triangle, the cotangent of one of the sides into the sine of a second side, is equal to the cosine of the second side into the cosine of the included angle, plus the cotangent of the angle opposite the first side into the sine of the included angle. IX. We shall terminate these formulas by demonstrating Napier's Analogies, which serve to simplify several cases in the solution of spherical triangles. If from the first and third of equations (2.), cos c be eliminated, there will result, after a little reduction, R cos A sin c-R cos a sin b-ccs C sin a cos b. By a simple permutation, this gives R cos B sin c=R cos b sin a-cos C sin b cos a. Hence by adding these two equations, and reducing, we shall have Y* sin e (cos A+ cos B)=(R—cos C) sin (a+b) we shall have sin c Dividing these two equations successively by the preceding one; we shall have sin C. sin A+ sin B -cos C sin a+ sin b sin (a+b) sin a-sin b sin (a+b) And reducing these by the formulas in Articles XXIII. and XXIV., there will result tang (A+B)=cot C. cos (a—b) cos (a+b) sin(a+b)* tang (A-B)=cot C. Hence, two sides a and b with the included angle C being given, the two other angles A and B may be found by the analogies, cos(a+b): cos(a—b):: cot C: tang (A+B) sin (a+b): sin † (a—b) : : cot C: tang } (A—B). If these same analogies are applied to the polar triangle of ABC, we shall have to put 180°-A', 180°—B', 180°—a′, 180°—b′, 180°-c', instead of a, b, A, B, C, respectively; and for the result, we shall have after omitting the ', these two analogies, cos (A+B): cos (A—B) :: tang c: tang (a+b) sin (A+B): sin (A-B) :: tang c: tang (a—b), by means of which, when a side c and the two adjacent angles A and B are given, we are enabled to find the two other sides a and b. These four proportions are known by the name of Napier's Analogies. X. In the case in which there are given two sides and an angle opposite one of them, there will in general be two solutions corresponding to the two results in Case II. of rectilineal triangles. It is also plain that this ambiguity will extend itself to the corresponding case of the polar triangle, that is, to the case in which there are given two angles and a side opposite one of them. In every case we shall avoid all false solutions by recollecting, 1st. That every angle, and every side of a spherical triangle is less than 180°. 2d. That the greater angle lies opposite the greater side, and the least angle opposite the least side, and reciprocally. NAPIER'S CIRCULAR PARTS. XI. Besides the analogies of Napier already demonstrated, that Geometer also invented rules for the solution of all the cases of right angled spherical triangles. |