Remark. The three sides of a spherical triangle are together less than the circumference of a great circle. For the plane angles at the point D are together less than four right angles, and consequently the sides of the triangle, which measure the plane angles at D, must together be less than the circumference of a great circle. PROPOSITION VI. In a spherical triangle the greater side is opposite the greater angle, and the greater angle opposite the greater side. Let A B C be a spherical triangle, if the angle B be greater than the angle A, the side A C will be greater B than the side B C. For let A B D, a part of A B C, be equal to A, then A D will be equal to BD. (Spher. Theo. 4.) But (Spher. Prop. 5.) the sum of B D and D C is A greater than B C; therefore A C, or the sum of B D and D C is greater than B C. Again, if A C be greater than B C, the angle A B C will be greater than the angle A. For if A B C is not greater than A, it must either be equal to it, or less. If it were equal, then A C would be equal to B C (Spher. Prop. 4.) which it is not. And if A B C were less than A, A would be greater than A B C; and therefore by the former part of this proposition B C would be greater than A C, which it is not. Hence as A B C is neither equal to, nor less than A, it must be greater. PROPOSITION VII. Three great circles, whose poles are the angular points of a spherical triangle, will by their intersection form another triangle, whose angular points are the poles of the great circles, which by their intersection form the sides of the first triangle ; and the sides of each of the triangles will be the supplements of the arcs which measure the angles of the other. In the annexed figure, if A, B, and C be the poles of D E, E F, a and F D respectively, then D, E, and F will be the F poles of A C, A B, and B C respectively, and L K DE, EF, and F D will respectively be the supplements of the arcs which measure the I angles B A C, A B C, and ACB, and A C, A B, and B C will respectively be the supple м. ments of the arcs which measure the angles Έ D H D, E, and F. For let A B, A C, and B C be produced both ways, till they meet DE, E F, and D F in G, H, I, K, L, and M. Then G H is the measure of the angle B A C, KI the measure of the angle A B C, and M L the measure of the angle ACB. (Spher. Prop. 3.) A is the pole of D E, the angle AHD is a right angle, (Spher. Prop. 3. Cor. 3.) and for a like reason, the angle C L D is a right C B And as way it angle; hence D is the pole of L H. In the same way it may be shewn that E is the pole of GK, and F the pole of MI; and cons sequently L H is the measure of the angle D, GK the measure of the angle E, and M I the measure of the angle F. Now as D. is the pole of L H,DH is a quadrant; and as E is the pole of G K, E G is a quadrant; therefore E G and D H, or E D and GH together are equal to a semicircle. Hence D E is the supplement of G H, the measure of the angle B AC. And in like manner it may be shewn that E F is the supplement of the measure of A B C, and D F the supplement of the measure of A C B. Again, because A is the pole of DE, A G is the quadrant; and because B is the pole of E F, B K is a quadrant. Hence A G and B K, or K G and A B together are equal to a semicircle; or A B is the supplement of G K, the measure of the angle E. And in the same may be shewn that A C is the supplement of the measure of D, and B C the supplement of the measure of F. PROPOSITION VIII. The sum of the interior angles of a spherical triangle is greater than two, and less than six right angles. For (see last figure) the measures of the angles A, B, C, in the triangle A B C, together with the three sides of the supplemental triangle D E F, are equal to three semicircles. But the three sides of the triangle A B C are less than two semicircles, (Spher. Prop. 5. Remark) therefore the measures of the angles A, B, and C are greater than a semicircle; hence the angles A, B, and C are greater than two right angles. And as the interior angles of any triangle together with the exterior are equal to six right angles, the interior angles alone must be less than six right angles. PROPOSITION IX. If to the circumference of a great circle, from a point in the surface of a sphere, which is not the pole of that circle, arcs of great circles be drawn, the greatest of those arcs is that which passes through the pole of the firstmentioned circle, and of the other arcs that which is nearer to the greatest is greater than the more remote. Let A G F B be the circumference of a great circle, D its pole, and let ADCB bę a great circle D passing through D. Then the pláne of the circle A D C B will be at right angles to the plane of the circle A G F B. (Spher. Prop. 3. Cor. 3.) From C in the plane A C B draw C E at right angles to A B, the line of com- А“ B mon section of the planes of the lines E G, EF, and join A C, G C, and F C, and through G C, and F C, let arcs of great circles be described. Then (Planes, Def. 2.) C E is at right angles to the A G B, therefore the angles C E A, C E G, and C E F are right angles. Hence C A2 = A E + E C, C G = G E + E C?, and F C = F E + E C. But (Geo. Theo. 52.) A E is greater than G E, and G E is greater than FE; therefore A E’ is greater than G E?, and G E’ than F E, consequently A C2 is greater than G Co, and G C than F C’, or AC is greater than GC, and GC than GF. Hence the arc AD C is greater than the arc G C, and the arc G C is greater than the arc CF, which is more remote from A D C. PROPOSITION X, In right angled spherical triangles the sides containing the right angle are of the same affection as their opposite angles ; that is, if the sides be greater or less than quadrants, the opposite angles will be greater or less than right angles ; and, conversely, if the angles be greater or less than right angles, the opposite sides will be greater or less than quadrants. Let A B C be a spherical triangle, right angled at A; produce A C, A B, till they meet in G, F and bisect A B G and ACG in E and F. Then F will be the pole of A BG, and E will be the pole of AF G. A G Ꮐ Join CE, then C E will be a quadrant, and the angle E CA will be a right D B В E angle. Hence when A B is less than A E, or less than a quadrant, the opposite angle B C A will be less than the angle E C A, or less than a right angle. Again, let ADC be a spherical triangle right angled at A, having A D greater than a quadrant, then the angle D C A will be greater than the angle E C A, or greater than a right angle. In a similar manner may the converse be demonstrated. PROPOSITION XI. If the sides which contain the right angle of a spherical triangle be of the same affection, the hypothenuse will be less than a quadrant; but if they be of different affections, the hypothenuse will be greater than a quadrant, For (see the last figure) when A C and A B are each less than a quadrant, C B being farther from C F G than CE, is therefore less than C E, or less than a quadrant. But if A D be greater, and AC be less than a quadrant, then CD being nearer C F G and C E, is greater than C E, or greater than a quadrant. Again, in the right angled triangle C GB, where C G and G B are each greater than a quadrant, C B being farther from CFG than CE, is less than C E, or less than a quadrant. Cor. 1. Hence, conversely, if the hypothenuse of a right angled spherical triangle be greater than a quadrant, the sides will be of different affections, and if the hypothenuse be less than a quadrant, the sides will be of the same affection. Cor. 2. As the oblique angles of a right angled spherical triangle have the same affection with the opposite sides, those angles will be of the same.or different affections, according as the hypothenuse is less or greater than a quadrant. Cor. 3. When a side and the adjacent angle are of the same affection, the hypothenuse is less than a quadrant, and when a side and the adjacent angle are of different affections, the hypothenuse is greater than a quadrant. PROPOSITION XII. In any spherical triangle, if the perpendicular from one of the angles upon the opposite side fall within the triangle, the other angles of the triangle will be of the same affection, but if the perpendicular fall without the triangle, the other angles will be of different affections. B B D A D A Let A B C be a triangle, and B D a perpendicular drawn from B on AC, or AC produced. When B D falls within the triangle, the angles A and C of the right angled triangles A D B and B DC being of the same affection with B D, are of the same affection with each other. But when the perpendicular falls without the triangle, the angles D A B and D C B, being of the same affection with B D, are of the same affection with each other; hence, as D A B is of the same affection with DCB, B A C and C are of different affections. PROPOSITION XIII. In any right angled spherical triangle the rectangle of radius and the sine of either of the sides containing the right angle is equal to the rectangle of the tangent of the other side, and the cotangent of the angle Let A B C be a spherical triangle, right angled at B; and let D be the centre of the sphere. From B, in the plane DAB, let B E be drawn perpendicular to DA; and from E in the plane A C D let EF be drawn also perpendicular to D A, meeting DC produced in F, and join F B. Then as D E is perpendicular to E F and E B, it is perpendicular B В to the plane E B F, therefore the plane EBF is perpendicular to the plane ADB which E A passes through D E. And as the angle C B A is a right angle, the plane F D B is at right angles to the plane A D B; hence B F, the common section of the planes, E B F and F D B is at right angles to the plane DAB; and consequently the angles FBD and F B E are right angles, and F B is therefore the tangent of B C. Now in the right angled plane triangle E B F, we have E B : BF:: rad : tan B E F. But E B is sine of A B, and the angle B E F is the angle made by the planes A D C and A D B, or it is equal to the spherical angle B A C. Hence sin A B : tan BC :: rad : tan B A C. But rad : tan BAC :: cot BAC : rad; therefore sin A B : tan BC :: cot BAC: rad. Or rad, sin A B = tan BC. cot B AC PROPOSI'rion XIV. In any right angled spherical triangle the rectangle of radius and the sine of either of the sides containing the right angle is equal to the rectangle of the sine of the angle opposite that side and the sine of the hypothenuse. From C (see the last figure) in the plane C D A, let C G be drawn perpendicular to AD; and from G in the plane BD A let G H be drawn also perpendicular to D A, meeting D B in H, and join C H. Then it may be shewn exactly, as in the last proposition, that CH G is a right angled plane triangle, and that C H is the sine of BC; and the angle CG H is equal to the spherical angle B AC. Now in the plane triangle C G H, we have CG:CH :: rad : sine C GH, or sin A C: sin B C :: rad : sin B AC Hence rad . sin BC= sin AC. sin BAC And similarly we have rad . sin A B = sin A C. sin B C Å PROPOSITION. XV. In any right angled spherical triangle A B C (B being the right angle) the following equations obtain, |