Let ABC be a spherical triangle, having a right angle at A; the co-sine of the hypothenuse BC will be to the radius, as the co-tangent of the angle ABC to the tangent of the angle ACB. Describe the circle DE, of which B is the pole, and let it meet AC in F, and the circle BC in E; and since the circle BD passes through the pole B of the circle DF, DF will also pass through the pole BD (13. 18. 1. Theod. sph.). And since AC is perpendicular to BD, AC will also pass through the pole of BD; wherefore the pole of the circle BD will be found in the point where the circles AC, DE meet, that is, in the point F: the arches FA, EF are therefore quadrants, and likewise the arches BD, BE: in the triangle CEF, right angled at the point E, CE is the complement of the hypothenuse BC of the triangle ABC, BF is the complement of the arch ED, which is the measure of the angle ABC, and FC the hypothenuse of the triangle CEF, is the complement of AC; and the arch AD, which is the measure of the angle CFE, is the complement of AB. But (17. of this) in the triangle CEF, the sine of the side CE is to the radius, as the tangent of the other side is to the tangent of the angle ECF opposite to it, that is, in the triangle ABC, the co-sine of the hypothenuse BC is to the radius, as the co-tangent of the angle ABC is to the tangent of the angle ACB. Q. E. D. Cor. 1. Of these three, viz. the hypothenuse and the two angles, any two being given, the third will also be given. COR. 2. And since by this proposition the co-sine of the hypothenuse BC is to the radius as the co-tangent of the angle ABC to the tangent of the angle ACB; but as the radius is to the co-tangent of the angle ACB, so is the tangent of the same to the radius (Cor. 2. def. Pl. Tr.); and ex æquo, the co-sine of the hypothenuse BC is to the co-tangent of the angle ACB, as the co-tangent of the angle ABC to the radius. PROP. XX. FIG. 14. In right angled spherical triangles, the co-sine of an angle is to the radius, as the tangent of the side adjacent to that angle is to the tangent of the hypothenuse. The same construction remaining; in the triangle CEF (17. of this), the sine of the side EF is to the radius, as the tangent of the other side CE is to the tangent of the angle CFE opposite to it; that is, in the triangle ABC, the co-sine of the angle ABC is to the radius, as (the co-tangent of the hypothenuse BC to the co-tangent of the side AB, adjacent to ABC, or as) the tangent of the side AB to the tangent of the hypothenuse, since the tangents of two arches are reciprocally proportional to their co-tangents. (Cor. 1 def. Pl. Tr.) Cor. And since by this proposition the co-sine of the angle ABC is to the radius, as the tangent of the side AB is to the tangent of the hypothenuse BC; and as the radius is to the co-tangent of BC, so is the tangent of BC to the radius; by equality, the co-sine of the angle ABC will be to the co-tangent of the hypothenuse BC, as the tangent of the side AB, adjacent to the angle ABC, to the radius. PROP. XXI. FIG. 14. In right angled spherical triangles, the co-sine of either of the sides is to the radius, as the co-sine of the hypothenuse is to the Co-sine of the other side. The same construction remaining; in the triangle CEF, the sine of the hypothenuse CF is to the radius, as the sine of the side CE to the sine of the opposite angle CFE (18. of this); that is, in the triangle ABC, the co-sine of the side CA is to the radius, as the co-sine of the hypothenuse BC to the co-sine of the other side BA. Q E. D. PROP. XXII. FIG. 14. In right angled spherical triangles, the co-sine of either of the sides is to the radius, as the co-sine of the angle opposite to that side is to the sine of the other angle. The same construction remaining; in the triangle CEF, the sine of the hypothenuse CF is to the radius, as the sine of the side EF is to the sine of the angle ECF opposite to it; that is, in the triangle ABC, the co-sine of the side CA is to the radius, as the co-sine of the angle ABC opposite to it, is to the sine of the other angle. Q. E. D. OF THE CIRCULAR PARTS. Fig. 15.-In any right angled spherical triangle ABC, the complement of the hypothenuse, the complements of the angles, and the two sides, are called The circular parts of the triangle, as if it were following each other in a circular order, from whatever part we begin: thus, if we begin at the complement of the hypothenuse, and proceed towards the side BA, the parts following in order will be the complement of the hypothenuse, the complement of the angle B, the side BA, the side AC, (for the right angle at A is not reckoned among the parts,) and, lastly, the complement of the angle C. And thus at whatever part we begin, if any three of these five be taken, they either will be all contiguous or adjacent, or one of them will not be contiguous to either of the other two: in the first case, the part which is between the other two is called the Middle part, and the other two are called Adjacent extremes. In the second case, the part which is not contiguous to either of the other two is called the Middle part, and the other two Opposite extremes. For example, if the three parts be the complement of the hypothenuse BC, the complement of the angle B, and the side BA ; since these three are contiguous to each other, the complement of the angle B will be the middle part, and the complement of the hypothenuse BC and the side BA will be adjacent extremes: but if the complement of the hypothenuse BC, and the sides BA, AC be taken; since the complement of the hypothenuse is not adjacent to either of the sides, viz, on account of the complements of the two angles B and C intervening between it and the sides, the complement of the hypothenuse BC will be the middle part, and the sides BA, AC opposite extremes. The most acute and ingenious Baron Napier, the inventor of Logarithms, contrived the two following rules concerning these parts, by means of which all the cases of right angled spherical triangles are resolved with the greatest ease. RULE I. The rectangle contained by the radius and the sine of the middle part, is equal to the rectangle contained by the tangents of the adjacent parts. RULE II. The rectangle contained by the radius and the sine of the middle part, is equal to the rectangle contained by the co-sines of the opposite parts. These rules are demonstrated in the following manner : Fig. 15. First. Let her of the sides, as BA, be the middle part, and therefore the complement of the angle B, and the side AC will be adjacent extremes. And by Cor. 2. prop. 17, of this, S, BA is to the Co-T, B, as T, AC is to the radius, and therefore BXS, BA=Co.T, B x T, AC. The same side BA, being the middle part, the complement of the hypothenuse, and the complement of the angle C, are opposite extremes; and by prop. 18. S, B C is to the radius, as S, BA to S, C; therefore R XS, BA=S, BC XS, C. Secondly, Let the complement of one of the angles, as B, be the middle part, and the complement of the hypothenuse, and the side BA will be adjacent extremes: and by Cor. prop. 20. Co-S, B is to Co-T, BC, as T, BA, is to the radius, and therefore R x Co-S, B=Co-T, BC = T, BA. Again, Let the complement of the angle B be the middle part, and the complement of the angle C, and the side AC will be opposite extremes: and by prop. 22, Co-S, AC is to the radius, as Co-S, B is to S, C: and therefore R x Co-S, B=Co-S, AC XS, C. Thirdly, Let the complement of the hypothenuse be the middle part, and the complements of the angles B, C, will be adjacent extremes: but by Cor. 2. prop. 19, CO-S, BC is to Co-T, B, as Co-T, C to the radius: therefore R x Co-S, BC=CO-T, C X Co-T, A. Again, Let the complement of the hypothenuse be the middle part, and the sides AB, AC, will be opposite extremes: but by prop. 21. Co-S, AC is to the radius, as Co-S, BC, to Co-S, BA; therefore R x Co-S, BC=Co-S, BA x Co-S, AC. Q. E. D. SOLUTION OF THE SIXTEEN CASES OF RIGHT ANGLED SPHERICAL TRI ANGLES. GENERAL PROPOSITION. In a right angled spherical triangle, of the three sides and three angles, any two being given, besides the right angle, the other three may be found. In the following Table the solutions are derived from the preceding propositions. It is obvious that the same solutions may be derived from Baron Napier's two rules above demonstrated, which, as they are easily remembered, are commonly used in practice. 3 | B, C AC SC: Co-S, B :: R : Co-S, AC : by 22. and AC is of the same species with B. 13. 4 R': Co-S, BA :: Co-S, AC : Co-S, BC. 21. and if both BA, AC be grearer or less than a quad- they be of different affections, BC will be greater |