TRIGONOMETRY

TRIGONOMETRY.

1. TRIGONOMETRY is a branch of the mathematics which treats of the relations of the sides and angles of triangles, these being expressed by numbers. It is therefore a theory formed by the union of arithmetic and geometry, and it treats of a particular class of geometrical figures, namely, triangles.

There are two kinds of triangles considered in trigonometry; plane triangles, and spherical triangles. The former are figures on a plane, and the latter on the surface of a sphere; hence we have plane trigonometry and spherical trigonometry, the principles of which will be explained in succession. In a triangle there are six things which may be considered, viz. the three sides, and the three angles. The main object of the theory is to give rules by which, when some of these are given, the others may be found.

2. The application of numbers to express the sides and angles of triangles has given rise to several terms which require to be defined before we proceed further.

DEFINITIONS.

I. Since angles at the centres of equal circles have to each other the same ratio as the arcs on which they stand, the arcs may be taken as representatives or measures of the angles to which they are proportional. Thus, let $ACB$ be any angle contained by the lines $AC$, $BC$: if about $C$ as a centre, with any distance or radius $AC$, a circle $ABE$ be described, the arc $AB$, intercepted between the lines $CA$, $CB$, is the measure of the angle $ACB$.

II. The circumference of every circle is supposed to be divided into 360 equal parts called degrees, and again each degree is subdivided into 60 equal parts called minutes, and each minute into 60 equal parts called seconds; and an angle is said to be of as many degrees, minutes, seconds, &c. as there are degrees, and minutes, and seconds in its measure. The degrees in any arc or angle are indicated by the character $^\{\backslash circ\}$ placed over their number, the minutes by an accent $\text{'}$, and the seconds by two accents $\text{'}\text{'}$. For example, an angle of 25 degrees 12 minutes and 14 seconds is expressed thus, $25^\{\backslash circ\}\; 12\text{'}\; 14\text{'}\text{'}$.—A right angle is measured by one fourth part of the circumference, or a quadrant, and it contains $90^\{\backslash circ\}$.

III. The complement of an arc or angle is the difference between it and a quadrant, or $90^\{\backslash circ\}$. Thus, supposing $AD$ to be a quadrant, the arc $BD$ is the complement of the arc $AB$, and the angle $BCD$ is the complement of the angle $ACB$.

IV. The supplement of an arc or angle is its difference from half the circumference, or $180^\{\backslash circ\}$. Let $ADE$ be a semicircle; the arc $BDE$ is the supplement of the arc $AB$; and the angle $BCE$ is the supplement of the angle $ACB$.

V. The sine of an arc or angle is the perpendicular drawn from one extremity of the arc, on the diameter, that passes through the other extremity. The line $BF$ is the sine of the arc $AB$, or of the angle $ACB$.

VI. The versed sine is the segment of the diameter between its sine and the arc which measures the angle. The

line $AF$ is the versed sine of the arc $AB$, or the angle $ACB$, and $EF$ the versed sine of the angle $BCE$.

VII. The tangent is a straight line that touches the arc at one end, and is limited at the other end by a straight line drawn from the centre of the circle through the other extremity of the arc. The line $AH$ is the tangent of the arc $AB$, or the angle $ACB$.

VIII. The secant is the straight line drawn from the centre to the extremity of the tangent. The line $CH$ is the secant of the arc $AB$, or angle $ACB$.

IX. The sine, tangent, and secant, of the complement of any arc or angle, are called by abbreviation its cosec, cotangent, and cosecant. Thus, $BG\; =\; CF$, the sine of the arc $BD$, is the cosine of the arc $AB$; and $DK$, the tangent of the arc $BD$, is the cotangent of $AB$; and $CK$, the secant of $BD$, is the cosecant of $AB$.

Trigonometrical Notation.

The sine of an angle whose measure is $A$, is expressed thus, $\backslash sin.\; A$; its cosine by $\backslash cos.\; A$; its tangent by $\backslash tan.\; A$; its cotangent by $\backslash cot.\; A$; its secant by $\backslash sec.\; A$; its cosecant by $\backslash csc.\; A$; its versed sine by $ver.\; \backslash sin.\; A$; and its covered sine by $co.\; \backslash text\{ver.\; \}\; \backslash sin.\; A$.

The radius of a circle, when it is supposed the unit of numbers, requires no symbol: sometimes it is represented by the abbreviation rad. and also by the letter $R$.

3. There are two ways in which the theories of trigonometry have been established. One is by employing a process of reasoning purely geometrical, such as has been followed in our article GEOMETRY. In this way the early writers on the subject constructed their treatises, and it served very well for plane triangles, but was less convenient for spherical triangles, by reason of the intricate diagrams required to represent circles lying in different planes; and also by the complicated relations of the things to be discussed, which could not easily be expressed by words. The second, which is the more convenient way, is by the symbolic reasoning of algebra. The section in ALGEBRA on the Arithmetic of Sines is a specimen of this way of treating the subject; and it is worthy of remark, that the great extension that has been given to the subject is in no small degree due to the simple and convenient way of representing the sines and tangents, &c. of angles, by the abbreviations, $\backslash sin.\; A$, $\backslash tan.\; A$, &c. instead of referring to the geometrical lines themselves. As a consequence of this, geometrical constructions are avoided, and even diagrams are hardly necessary.

4. In applying the notation and doctrines of modern analysis to trigonometry, we regard the measures of angles, and their sines, tangents, &c. as endowed with the properties of variable quantity; in particular, we ascribe to them the quality of being positive or negative. The consequences of this hypothesis have been fully detailed in the Arithmetic of Sines (ALGEBRA), to which we refer the reader. By this the properties of triangles are expressed by general formulae, which comprehend all particular cases. This way of considering the numeral measures of trigonometrical lines has greatly simplified spherical trigonometry, and all applications of both trigonometries to astronomy and geodetical inquiries.

The Trigonometrical Table.

5. The basis of all trigonometrical calculations is a table which exhibits in parts of the radius the numeral values of the sine, tangent, and secant, of each arc in a series pro-

beginning from 0 to a quadrant, the common difference of the terms being an angle of one minute, or some smaller angle. The radius being considered as an unit, the sines are expressed as decimal fractions of that unit. The quadrant is generally divided into degrees and minutes, this being sufficient for most purposes; but tables have been calculated which give the sines, and tangents, and secants, to every tenth second.

6. The Elements of Euclid show how to inscribe regular polygons of three, four, five, six, and fifteen sides in a circle. The sides of these polygons may be expressed in numbers by calculations derived from the geometrical constructions. Now, the side of an equilateral triangle in a circle, is the chord of $120^\backslash circ$, which is twice the sine of $60^\backslash circ$; and the side of the inscribed square is the chord of $90^\backslash circ$, which is twice the sine of $45^\backslash circ$; and the side of the equilateral pentagon is the chord of $72^\backslash circ$, which is twice the sine of $36^\backslash circ$; and the side of the hexagon is the chord of $60^\backslash circ$, which is twice the sine of $30^\backslash circ$; and the side of the quincuncagon is the chord of $24^\backslash circ$, which is twice the sine of $12^\backslash circ$. These sines may therefore be all deduced from the properties of polygons inscribed in a circle, as delivered in the Elements. And since the sum of the squares of the chord of an arc and the chord of its supplement is equal to the square of the diameter (GEOM. 17 of 2 and 13 of 4), the chords of the supplements, and thence the sines of their halves, may be found. It was in this way the trigonometrical table was first constructed by the early mathematicians, Purbach, Tiller, Copernicus, G. Joachim Rheticus, and others. The theory of inscribed polygons was extended by Vieta to that of angular sections, chiefly with a view to the construction of the table. This has again been wrought up in the Arithmetic or Calculus of Sines, the formula of which afford great facility in the construction of the table. For an example, we shall resolve this problem.

7. PROBLEM. To find the sines of one fifth, two fifths, three fifths, and four fifths, of a quadrant, of which the sine is equal to the radius. Putting $a$ to denote an arc of $18^\backslash circ$, or fifth of the quadrant, we are to find the sines of $a$, $2a$, $3a$, $4a$. Now, from the nature of the problem, we have the simple relations:

$$\backslash text\{Cos.\; \}\; a\; =\; \backslash sin.\; 4a,\; \backslash text\{\; cos.\; \}\; 2a\; =\; \backslash sin.\; 3a,$$

$$\backslash text\{Cos.\; \}\; 3a\; =\; \backslash sin.\; 2a,\; \backslash text\{\; cos.\; \}\; 4a\; =\; \backslash sin.\; a.$$

and by formula 3 of (E) art. 240, ALGEBRA,

$$\backslash sin.\; 2a\; =\; 2\; \backslash sin.\; a\; \backslash cos.\; a,$$

$$\backslash sin.\; 3a\; =\; 2\; \backslash sin.\; 2a\; \backslash cos.\; a\; -\; \backslash sin.\; a,$$

$$\backslash sin.\; 4a\; =\; 2\; \backslash sin.\; 3a\; \backslash cos.\; a\; -\; \backslash sin.\; 2a,$$

$$\backslash sin.\; 5a\; =\; 2\; \backslash sin.\; 4a\; \backslash cos.\; a\; -\; \backslash sin.\; 3a.$$

Therefore $\backslash sin.\; 2a\; =\; 2\; \backslash sin.\; a\; \backslash cos.\; a$,

$$\backslash sin.\; 3a\; =\; 2\; \backslash sin.\; 2a\; \backslash sin.\; 4a\; -\; \backslash sin.\; a,$$

$$\backslash sin.\; 4a\; =\; 2\; \backslash sin.\; 3a\; \backslash sin.\; 4a\; -\; \backslash sin.\; 2a,$$

$$\backslash sin.\; 5a\; =\; 1\; =\; 2\; \backslash sin.\; 4a\; \backslash sin.\; 4a\; -\; \backslash sin.\; 3a.$$

abridge, put $\backslash sin.\; a\; =\; u$, $\backslash sin.\; 2a\; =\; x$, $\backslash sin.\; 3a\; =\; y$, $\backslash sin.\; 4a\; =\; z$, and we have the following equations:

$$2uz\; =\; x\; \backslash dots\; \backslash dots\; \backslash dots\; A,$$

$$2xz\; =\; y\; +\; u\; \backslash dots\; \backslash dots\; \backslash dots\; B,$$

$$2yz\; =\; z\; +\; x\; \backslash dots\; \backslash dots\; \backslash dots\; C,$$

$$2zx\; =\; 1\; +\; y\; \backslash dots\; \backslash dots\; \backslash dots\; D.$$

These express symmetrical relations, which connect the sines $u,\; x,\; y,\; z$.

By subtracting A from C, and dividing the remainder by 2, we have

$$y\; -\; u\; =\; \backslash frac\{1\}\{2\}\; \backslash dots\; \backslash dots\; \backslash dots\; (1).$$

and from B, A, D; $y\; +\; u\; =\; 2xz\; =\; 4uz^2\; =\; 2u\; +\; 2uy$.

Therefore $2uy\; =\; y\; -\; u\; =\; \backslash frac\{1\}\{2\}$;

and hence, $(y\; +\; u)^2\; =\; (y\; -\; u)^2\; +\; 4uy\; =\; \backslash frac\{5\}\{4\}$,

$$\backslash text\{and\; \}\; y\; +\; u\; =\; \backslash frac\{\backslash sqrt\{5\}\}\{2\}\; \backslash dots\; \backslash dots\; \backslash dots\; (2).$$

We have now, by subtraction and addition from (1) and (2), Trigono-
metry.

$$\backslash sin.\; a\; =\; u\; =\; \backslash frac\{\backslash sqrt\{5\}\; -\; 1\}\{4\},\; \backslash sin.\; 3a\; =\; y\; =\; \backslash frac\{\backslash sqrt\{5\}\; +\; 1\}\{4\}.$$

Now the arcs $a$ and $4a$ being the complements of each other, also $3a$ and $2a$, and the sum of the squares of the sine and cosine being equal to the square of the radius, we have

$$\backslash sin.\; 2a\; =\; x\; =\; \backslash sqrt\{1\; -\; y^2\}\; =\; \backslash frac\{\backslash sqrt\{10\; -\; 2\backslash sqrt\{5\}\}\}\{4\},$$

$$\backslash sin.\; 3a\; =\; z\; =\; \backslash sqrt\{1\; -\; u^2\}\; =\; \backslash frac\{\backslash sqrt\{10\; +\; 2\backslash sqrt\{5\}\}\}\{4\}.$$

Our problem is now resolved.

8. We have found the sines of a series of arcs from $0$ to $90^\backslash circ$, viz. $18^\backslash circ,\; 36^\backslash circ,\; 54^\backslash circ,\; 72^\backslash circ$, which differ by $18^\backslash circ$. From these, the sines of a series whose terms differ by $9^\backslash circ$, may be found by formulae, which are modifications of formulae (1), (2) of (P), article 249, ALGEBRA, viz.

$$\backslash sin.\; \backslash frac\{1\}\{2\}(90^\backslash circ\; -\; a)\; =\; \backslash sqrt\{\backslash frac\{1\; -\; \backslash sin.\; a\}\{2\}\},$$

$$\backslash sin.\; \backslash frac\{1\}\{2\}(90^\backslash circ\; +\; a)\; =\; \backslash sqrt\{\backslash frac\{1\; +\; \backslash sin.\; a\}\{2\}\}.$$

The terms intermediate to those known are,

$$\backslash sin.\; 9^\backslash circ\; =\; \backslash sqrt\{\backslash frac\{1\; -\; \backslash sin.\; 72^\backslash circ\}\{2\}\},\; \backslash sin.\; 63^\backslash circ\; =\; \backslash sqrt\{\backslash frac\{1\; +\; \backslash sin.\; 36^\backslash circ\}\{2\}\},$$

$$\backslash sin.\; 27^\backslash circ\; =\; \backslash sqrt\{\backslash frac\{1\; -\; \backslash sin.\; 36^\backslash circ\}\{2\}\},\; \backslash sin.\; 81^\backslash circ\; =\; \backslash sqrt\{\backslash frac\{1\; +\; \backslash sin.\; 72^\backslash circ\}\{2\}\},$$

$$\backslash sin.\; 45^\backslash circ\; =\; \backslash sqrt\{\backslash frac\{1\}\{2\}\}.$$

By a second interpolation the number of terms in the series would be doubled, and by a third, the sines of a series of arcs which are multiples of $2^\backslash circ\; 15\text{'}$ would be found. In the

same way, from $\backslash sin.\; 30^\backslash circ\; =\; \backslash frac\{1\}\{2\}$, $\backslash sin.\; 60^\backslash circ\; =\; \backslash frac\{\backslash sqrt\{3\}\}\{2\}$, and $\backslash sin.\; 90^\backslash circ$

$=\; 1$, we may deduce the sines of $15^\backslash circ,\; 45^\backslash circ,\; 75^\backslash circ$; and at length the sines of a series of arcs, which are multiples of $3^\backslash circ\; 45\text{'}$; then, from the two series, another, the arcs of which would differ by $(3^\backslash circ\; 45\text{'})\; -\; (2^\backslash circ\; 15\text{'})\; =\; 1^\backslash circ\; 30\text{'}\; =\; 90^\backslash circ$; and again the sines of a series of arcs differing by $45^\backslash circ$. Indeed it was in this way the table was first formed.

9. When the sines of two thirds of the quadrant, that is, from $0$ to $60^\backslash circ$, are known, the sines of the remaining third can be readily found; for since $\backslash sin.\; (a\; +\; b)\; =\; \backslash sin.\; (a\; -\; b)\; +\; 2\; \backslash cos.\; a\; \backslash sin.\; b$ (ALGEBRA, art. 240), if we make $a\; =\; 60^\backslash circ$, then $\backslash cos.\; a\; =\; \backslash frac\{1\}\{2\}$, and $2\; \backslash cos.\; a\; =\; 1$, and we have $\backslash sin.\; (60^\backslash circ\; +\; b)\; =\; \backslash sin.\; (60^\backslash circ\; -\; b)\; +\; \backslash sin.\; b$. By this formula the numbers in the table may be verified.

The radius being an unit, we have found that the semi-circumference or arc of $180^\backslash circ\; =\; 3.1415926535$ (ALGEBRA, article 272). This number divided by $180\; \backslash times\; 60\; =\; 1080$, gives the arc which measures an angle of one minute $=\; .0002908882$; and since a small arc is nearly equal to its sine, we have $\backslash sin.\; 1\text{'}\; =\; .0002908882$ nearly. The accuracy of this may be verified by the formula

The cosine of one minute is found from the sine by the formula $\backslash cos.\; a\; =\; \backslash sqrt\{1\; -\; \backslash sin^2\; a\}$, or otherwise, by the series . Knowing

now the sine and cosine of one minute, to find the sines of $2\text{'},\; 3\text{'},\; 4\text{'},\; \backslash dots$ we may proceed thus,—

$$\backslash sin.\; 2\text{'}\; =\; 2\; \backslash cos.\; 1\text{'}\; \backslash sin.\; 1\text{'},$$

$$\backslash sin.\; 3\text{'}\; =\; 2\; \backslash cos.\; 1\text{'}\; \backslash sin.\; 2\text{'}\; -\; \backslash sin.\; 1\text{'},$$

$$\backslash sin.\; 4\text{'}\; =\; 2\; \backslash cos.\; 1\text{'}\; \backslash sin.\; 3\text{'}\; -\; \backslash sin.\; 2\text{'},$$

&c.

10. Since the results obtained by the successive opera-

tions are only approximations, they will diminish in accuracy as we advance. We may however proceed otherwise thus. Find, as has been explained, a series of sines of arcs differing by $45\text{'}$ from $0^\backslash circ$ to $60^\backslash circ$; then fill up, by interpolation, the intervals thus: We have found (ALGEBRA, art. 239) $\backslash sin.\; (a\; +\; b)\; +\; \backslash sin.\; (a\; -\; b)\; =\; 2\; \backslash cos.\; b\; \backslash sin.\; a$; instead of $a$ write $x\; +\; h$, and instead of $b$ write $h$, and we have

$$\backslash sin.\; (x\; +\; 2h)\; +\; \backslash sin.\; x\; =\; 2\; \backslash cos.\; h\; \backslash sin.\; (x\; +\; h).$$

Put $n$ to denote the series $h^2\; -\; \backslash frac\{h^4\}\{3\; \backslash cdot\; 4\}\; +\; \backslash frac\{h^6\}\{3\; \backslash cdot\; 4\; \backslash cdot\; 5\; \backslash cdot\; 6\}\; -\; \backslash dots$ and we have

$\backslash sin.\; (x\; +\; 2h)\; +\; \backslash sin.\; x\; =\; 2\; \backslash sin.\; (x\; +\; h)\; -\; n\; \backslash sin.\; (x\; +\; h)$; and $\backslash sin.\; (x\; +\; 2h)\; =\; \backslash sin.\; (x\; +\; h)\; +\; \backslash \{\; \backslash sin.\; (x\; +\; h)\; -\; \backslash sin.\; x\; \backslash \}\; -\; n\; \backslash sin.\; (x\; +\; h)$. If $h$ be an arc of one minute, then $h\; =\; .0002908882$, and $n\; =\; .0000000846$. Let $x$ denote any angle, and suppose $h$ to be one minute; the formula gives

$$\backslash sin.\; (x\; +\; 1\text{'})\; =\; \backslash sin.\; x\; +\; \backslash \{\; \backslash sin.\; x\; -\; \backslash sin.\; (x\; -\; 1\text{'})\; \backslash \}\; -\; n\; \backslash sin.\; x,$$

$$\backslash sin.\; (x\; +\; 2\text{'})\; =\; \backslash sin.\; (x\; +\; 1\text{'})\; +\; \backslash \{\; \backslash sin.\; (x\; +\; 1\text{'})\; -\; \backslash sin.\; x\; \backslash \}\; -\; n\; \backslash sin.\; (x\; +\; 1\text{'}),$$

$$\backslash sin.\; (x\; +\; 3\text{'})\; =\; \backslash sin.\; (x\; +\; 2\text{'})\; +\; \backslash \{\; \backslash sin.\; (x\; +\; 2\text{'})\; -\; \backslash sin.\; (x\; +\; 1\text{'})\; \backslash \}\; -\; n\; \backslash sin.\; (x\; +\; 2\text{'}).$$

Thus, from the sines of two arcs $x\; -\; 1\text{'}$ and $x$, which differ by $1\text{'}$, and the constant number $n\; =\; 2(1\; -\; \backslash cos.\; 1\text{'})\; =\; (2\; \backslash sin.\; 30\text{'})^2$, the sines of all angles or arcs exceeding $x$, and differing by $1\text{'}$, throughout the table, may be found. The most extensive table of sines in existence (which is yet in manuscript), was computed under the direction of the late M. Prony in this way. It gives the sines of all arcs in a series of which the common difference is one ten-thousandth part of a quadrant with twenty-five decimals.

11. The sines being found, the tangents and secants may be obtained, each by a single division from the formulae

$$\backslash tan.\; a\; =\; \backslash frac\{\backslash sin.\; a\}\{\backslash cos.\; a\},\; \backslash quad\; \backslash sec.\; a\; =\; \backslash frac\{1\}\{\backslash cos.\; a\}.$$

The tangents of the latter half of the quadrant may however be found by addition only from the formula

$$\backslash tan.\; (45^\backslash circ\; +\; a)\; =\; \backslash tan.\; (45^\backslash circ\; -\; a)\; +\; 2\; \backslash tan.\; 2a,$$

which is a deduction from (4) of (O) ALGEBRA, art. 248; and the secants from this formula,

$$\backslash sec.\; a\; =\; \backslash tan.\; a\; +\; \backslash tan.\; (45^\backslash circ\; -\; \backslash frac\{1\}\{2\}a),\; \backslash quad\; \backslash text\{ALGEBRA,\; 249.\}$$

12. With a table of sines, and tangents, and secants, the ordinary questions relating to triangles may be resolved by multiplication and division, but more expeditiously by logarithmic calculation; and therefore, in general, mathematical tables give only the logarithmic sines, tangents, and sometimes secants, which, however, may be readily found from the log. cosines.

PART I.—PLANE TRIGONOMETRY.

13. In contemplating a plane triangle as a figure formed by three straight lines, we distinguish the sides of the triangle, the angles at their intersections, and the space or area which they comprehend. In trigonometry we abstract from the area, and consider only the sides and angles. There are in all six angles, viz. the three interior and their adjacent exterior angles. Each of the exterior is the sum of two interior angles, and of these any two determine the third; so that in fact the independent elements of a triangle are five, viz. its three sides, and any two of its three interior angles; and of these any three being given, the remaining two may be found.

14. The sides and angles are dissimilar in their nature,

and therefore do not admit of being directly compared; the measures of angles, being arcs of a circle described with a given radius, are lines, and therefore expressible by the sides. It is however more convenient and easy to use the sines and tangents, &c. of angles than the angles themselves, in trigonometrical calculations, the rules of which are to be deduced from the following theorems.

THEOREM I. In any right-angled triangle, the radius is to the sine of either of the acute angles as the hypotenuse is to the side opposite that angle. (Fig. 2.)

Let ABC be a right-angled triangle, of which B is the right angle; about C, one of the acute angles, as a centre, with a radius equal to the radius in the tables, describe an arc DE as the measure of the angle C (Def. 1). Draw DF, the sine of the arc DE (Def. 5). The triangles CDF, CAB are manifestly equiangular, therefore their sides are proportional; so that $CD\; :\; DF\; =\; CA\; :\; AB$, or (putting R to denote radius in the tables) $R\; :\; \backslash sin.\; C\; =\; CA\; :\; AB$.

Corollary 1. The radius is to the cosine of either of the oblique angles as the hypotenuse is to the side adjacent to that angle. For, to the radius CD, CF is the cosine of C, and $CD\; :\; CF\; =\; CA\; :\; CB$.

Corollary 2. Assuming that $CD\; =\; R\; =\; 1$, we have $1\; :\; \backslash sin.\; C\; =\; CA\; :\; AB$; and $1\; :\; \backslash cos.\; C\; =\; CA\; :\; CB$. Therefore, supposing the sides of the triangle expressed by numbers,

$$\backslash sin.\; C\; =\; \backslash frac\{AB\}\{CA\},\; \backslash quad\; \backslash text\{and\}\; \backslash quad\; \backslash cos.\; C\; =\; \backslash frac\{CB\}\{CA\}.$$

THEOREM II. In any right-angled triangle, the radius is to the tangent of either of the oblique angles as the adjacent side to the opposite side. (Fig. 2.)

At the point E, one extremity of the arc DE which measures the angle C, draw EG perpendicular to CB; then to the radius CE, EG is the tangent of the angle C (Def. 7). Now the triangles CEG, ABC being similar, $CE\; :\; EG\; =\; CB\; :\; BA$, or $R\; :\; \backslash tan.\; C\; =\; CB\; :\; BA$.

Corollary 1. The radius is to the secant of either of the oblique angles as the adjacent side to the hypotenuse; for CG is the secant of the angle C (Def. 8); and $CE\; :\; CG\; =\; CB\; :\; CA$, or $R\; :\; \backslash sec.\; C\; =\; CB\; :\; CA$.

Corollary 2. Assuming the radius = 1, then

$$\backslash tan.\; A\; =\; \backslash frac\{BA\}\{CB\},\; \backslash quad\; \backslash text\{and\}\; \backslash quad\; \backslash sec.\; C\; =\; \backslash frac\{CA\}\{CB\}.$$

Corollary 3. In any triangle, if a perpendicular be drawn from any one of the angles to the opposite side, the segments of that side are to one another as the tangents of the parts into which the opposite angle is divided by the perpendicular.

Fig. 3.

Fig. 4.

For in the triangles ADB, ADC, $BD\; :\; DA\; =\; \backslash tan.\; BAD\; :\; R$; and $DA\; :\; DC\; =\; R\; :\; \backslash tan.\; CAD$. Therefore, ex aequali, $BD\; :\; DC\; =\; \backslash tan.\; BAD\; :\; \backslash tan.\; CAD$.

THEOREM III. In any right-angled triangle, the sum of the hypotenuse and one side is to their difference, as the square of the radius to the square of the tangent of half the contained angle.

Fig. 5.

Let ABC be any right-angled triangle; draw CD bisecting the angle C.

$$CA\; :\; CB\; =\; AD\; :\; BD\; =\; AB\; :\; BD.$$

Therefore, by composition, and cor. 3 of Theor. II. of TRIG.

$$CA\; +\; CB\; :\; CB\; =\; AB\; :\; BD\; =\; \backslash tan.\; C\; :\; \backslash tan.\; \backslash frac\{1\}\{2\}C.$$

$$\backslash text\{Now\; \}\; CB\; :\; BA\; =\; R\; :\; \backslash tan.\; C,$$

$$\backslash text\{therefore\; \}\; CA\; +\; CB\; :\; BA\; =\; R\; :\; \backslash tan.\; \backslash frac\{1\}\{2\}C,$$

$$\backslash text\{and\; \}\; (CA\; +\; CB)^2\; :\; BA^2\; =\; R^2\; :\; \backslash tan^2\; \backslash frac\{1\}\{2\}C.$$

$$\backslash text\{Now\; \}\; BA^2\; =\; CA^2\; -\; CB^2\; =\; (CA\; +\; CB)(CA\; -\; CB)$$

(ROM. 9 and 13 of 4),

$$\backslash text\{therefore\; \}\; (CA\; +\; CB)^2\; :\; (CA\; +\; CB)(CA\; -\; CB)\; =\; R^2\; :\; \backslash tan^2\; \backslash frac\{1\}\{2\}C,$$

and $CA\; +\; CB\; :\; CA\; -\; CB\; =\; R^2\; :\; \backslash tan^2\; \backslash frac\{1\}\{2\}C$.
The first two of these propositions are alone sufficient for resolution of all the cases of right-angled triangles; the third, which is not commonly given in our books on trigonometry, is however important, because when the hypotenuse and a side are given, by its application the same logarithms serve for finding the remaining side and the tangent of half the opposite angle.

15. It has been found conducive to brevity and perspicuity, to represent the parts of a triangle, each by a single letter; therefore, in any triangle ABC, we shall, in what follows, employ that notation to denote the sides and angles as follows. (See figures 2, 3, 4.)

The sides, $BC\; =\; a$, $AC\; =\; b$, $AB\; =\; c$;

the angles, $BAC\; =\; A$, $ABC\; =\; B$, $ACB\; =\; C$.

It will also be sometimes convenient to express ratios by fractions, the numerators of which are the antecedents, and the denominators the consequents, so that the expressions

$$B\; :\; C\; :\; D,\; \backslash text\{\; and\; \}\; \backslash frac\{A\}\{B\}\; =\; \backslash frac\{C\}\{D\},\; \backslash text\{\; are\; to\; be\; regarded\; as\; identical.\}$$

THEOREM IV. The sides of any plane triangle are to one another as the sines of the opposite angles. (Figs. 3 and 4.)

In the triangle ABC, draw AD perpendicular to BC; then, employing the premised notation, that is, denoting the sides by $a,\; b,\; c$, and opposite angles by $A,\; B,\; C$,

$$b\; :\; AD\; =\; R\; :\; \backslash sin.\; C;\; \backslash text\{\; and\; \}\; AD\; :\; c\; =\; \backslash sin.\; B\; :\; R;$$

therefore, ex aequali, inversely, $b\; :\; c\; =\; \backslash sin.\; B\; :\; \backslash sin.\; C$.

THEOREM V. The sum of the sides of any plane triangle is to the difference, as the tangent of half the sum of the opposite angles is to the tangent of half their difference.

Continuing the same notation, we have found that

$$b\; :\; c\; =\; \backslash sin.\; B\; :\; \backslash sin.\; C;$$

$$\backslash text\{therefore\; \}\; b\; +\; c\; :\; b\; -\; c\; =\; \backslash sin.\; B\; +\; \backslash sin.\; C\; :\; \backslash sin.\; B\; -\; \backslash sin.\; C.$$

Now (ALGEBRA, 247, M),

$$b\; +\; c\; :\; \backslash sin.\; B\; +\; \backslash sin.\; C\; =\; \backslash sin.\; B\; -\; \backslash sin.\; C\; :\; \backslash tan.\; \backslash frac\{1\}\{2\}(B\; +\; C)\; :\; \backslash tan.\; \backslash frac\{1\}\{2\}(B\; -\; C);$$

$$\backslash text\{therefore,\; \}\; b\; +\; c\; :\; b\; -\; c\; =\; \backslash tan.\; \backslash frac\{1\}\{2\}(B\; +\; C)\; :\; \backslash tan.\; \backslash frac\{1\}\{2\}(B\; -\; C).$$

Corollary. Since $B\; +\; C\; =\; 180^\backslash circ\; -\; A$, and therefore

$$\backslash frac\{1\}\{2\}(B\; +\; C)\; =\; 90^\backslash circ\; -\; \backslash frac\{1\}\{2\}A,$$

$$\backslash text\{therefore\; \}\; b\; +\; c\; :\; b\; -\; c\; =\; \backslash cot.\; \backslash frac\{1\}\{2\}A\; :\; \backslash tan.\; \backslash frac\{1\}\{2\}(B\; -\; C).$$

THEOREM VI. In any triangle, the cosine of half the difference of any two of its angles is to the cosine of half their sum, as the sum of the sides opposite these angles is to the remaining side. And the sine of half the difference of the angles is to the sine of half their sum, as the difference of the opposite sides to the remaining side.

Again, denoting the sides by $a,\; b,\; c$, and opposite angles by $A,\; B,\; C$,

$$\backslash text\{Because\; \}\; \backslash sin.\; A\; :\; \backslash sin.\; C\; =\; a\; :\; c,$$

$$\backslash text\{and\; \}\; \backslash sin.\; B\; :\; \backslash sin.\; C\; =\; b\; :\; c;$$

$$\backslash text\{therefore\; \}\; \backslash sin.\; A\; +\; \backslash sin.\; B\; :\; \backslash sin.\; C\; =\; a\; +\; b\; :\; c,$$

$$\backslash text\{also\; \}\; \backslash sin.\; A\; -\; \backslash sin.\; B\; :\; \backslash sin.\; C\; =\; a\; -\; b\; :\; c.$$

$$\backslash text\{Now,\; \}\; \backslash sin.\; A\; +\; \backslash sin.\; B\; =\; 2\; \backslash sin.\; \backslash frac\{1\}\{2\}(A\; +\; B)\; \backslash cos.\; \backslash frac\{1\}\{2\}(A\; -\; B)$$

(ALGEBRA, 240),

$$\backslash text\{and\; \}\; \backslash sin.\; A\; -\; \backslash sin.\; B\; =\; 2\; \backslash cos.\; \backslash frac\{1\}\{2\}(A\; +\; B)\; \backslash sin.\; \backslash frac\{1\}\{2\}(A\; -\; B),$$

$$\backslash text\{and\; \}\; \backslash sin.\; C\; =\; \backslash sin.\; (A\; +\; B)\; =\; 2\; \backslash sin.\; \backslash frac\{1\}\{2\}(A\; +\; B)\; \backslash cos.\; \backslash frac\{1\}\{2\}(A\; +\; B)$$

(ALGEBRA, 245);

$$\backslash text\{therefore\; \}\; \backslash sin.\; A\; +\; \backslash sin.\; B\; :\; \backslash sin.\; C\; =\; \backslash cos.\; \backslash frac\{1\}\{2\}(A\; -\; B)\; :\; \backslash cos.\; \backslash frac\{1\}\{2\}(A\; +\; B),$$

$$\backslash text\{and\; \}\; \backslash sin.\; A\; -\; \backslash sin.\; B\; :\; \backslash sin.\; C\; =\; \backslash sin.\; \backslash frac\{1\}\{2\}(A\; -\; B)\; :\; \backslash sin.\; \backslash frac\{1\}\{2\}(A\; +\; B);$$

$$\backslash text\{hence\; \}\; \backslash cos.\; \backslash frac\{1\}\{2\}(A\; -\; B)\; :\; \backslash cos.\; \backslash frac\{1\}\{2\}(A\; +\; B)\; =\; a\; +\; b\; :\; c,$$

$$\backslash text\{and\; \}\; \backslash sin.\; \backslash frac\{1\}\{2\}(A\; -\; B)\; :\; \backslash sin.\; \backslash frac\{1\}\{2\}(A\; +\; B)\; =\; a\; -\; b\; :\; c;$$

THEOREM VII. If a perpendicular be drawn from an angle of a triangle on the opposite side, dividing it into two segments, the sum of these segments is to the sum of the sides as the difference of the sides to the difference of the segments.

$$\backslash text\{In\; the\; triangle\; \}\; ACB,\; AC^2\; =\; AD^2\; +\; CD^2,\; \backslash text\{\; and\; \}\; AB^2\; =\; AD^2\; +\; DB^2,\; \backslash text\{\; therefore\; \}\; AC^2\; -\; AB^2\; =\; CD^2\; -\; BD^2.$$

$$\backslash text\{Now\; \}\; AC^2\; -\; AB^2\; =\; (AC\; +\; AB)(AC\; -\; AB),\; \backslash text\{\; and\; \}\; CD^2\; -\; BD^2\; =\; (CD\; +\; BD)(CD\; -\; BD)$$

$$\backslash text\{(GEOMETRY,\; 12,\; 4);\; therefore\; \}\; (AC\; +\; AB)(AC\; -\; AB)\; =\; (CD\; +\; BD)(CD\; -\; BD),$$

$$\backslash text\{and\; \}\; CD\; +\; BD\; :\; AC\; +\; AB\; =\; AC\; -\; AB\; :\; CD\; -\; BD.$$

THEOREM VIII. In any plane triangle, the excess of the sum of the squares of two sides which contain an angle above the square of the third side, is to twice the rectangle contained by the sides about the angle, as the cosine of the angle is to radius. (Figs. 3 and 4.)

In the triangle ABC, draw AD perpendicular to BC, we have, by GEOMETRY, 14, 4, and Cor. 2, Theorem I., of this,

$$c^2\; =\; a^2\; +\; b^2\; -\; 2a\; \backslash times\; CD,\; \backslash text\{\; and\; \}\; CD\; =\; b\; \backslash frac\{\backslash cos.\; C\}\{R\};$$

$$\backslash text\{therefore\; \}\; c^2\; =\; a^2\; +\; b^2\; -\; 2ab\; \backslash frac\{\backslash cos.\; C\}\{R\},$$

$$\backslash text\{and\; \}\; \backslash frac\{a^2\; +\; b^2\; -\; c^2\}\{2ab\}\; =\; \backslash frac\{\backslash cos.\; C\}\{R\};$$

$$\backslash text\{therefore\; \}\; a^2\; +\; b^2\; -\; c^2\; :\; 2ab\; =\; \backslash cos.\; C\; :\; R.$$

We have, in the diagram, made the angle C acute, but the proposition is equally true when C is an obtuse angle; because, when C changes from acute to obtuse, the sign of the cosine of the angle changes from + to -.

THEOREM IX. In any triangle, the rectangle contained by two sides is to the rectangle contained by half the perimeter and the excess of half the perimeter above the base, as the square of the radius to the square of the cosine of half the angle contained by the sides.

It has been found that $a,\; b,\; c$, being the sides of a triangle, and A the angle contained by $b$ and $c$, then, Theorem VIII.,

$$\backslash frac\{\backslash cos.\; A\}\{R\}\; =\; \backslash frac\{b^2\; +\; c^2\; -\; a^2\}\{2bc\}.$$

To the first of these equals add $\backslash frac\{R\}\{R\}\; =\; 1$, and to the second,

$$\backslash frac\{2bc\}\{2bc\}\; =\; 1;\; \backslash text\{\; then\}$$

$$\backslash frac\{R\; +\; \backslash cos.\; A\}\{R\}\; =\; \backslash frac\{b^2\; +\; 2bc\; +\; c^2\; -\; a^2\}\{2bc\}\; =\; \backslash frac\{(b\; +\; c)^2\; -\; a^2\}\{2bc\}.$$

Now $\backslash frac\{R\; +\; \backslash cos.\; A\}\{R\}\; =\; \backslash frac\{2\; \backslash cos.\; \backslash frac\{1\}\{2\}A\}\{R^2\}$ (ALGEBRA, 249, P), and

Put $s\; =\; \backslash frac\{1\}\{2\}(a+b+c)$, then $b+c-a\; =\; a+b+c-2a\; =\; 2(s-a)$; we have now $(b+c)^2\; -\; a^2\; =\; 4s(s-a)$, and,

by substituting, $\backslash frac\{\backslash cos.\; \backslash frac\{1\}\{2\}A\}\{R^2\}\; =\; \backslash frac\{s(s-a)\}\{bc\}$, and

THEOREM X. In any triangle, the rectangle contained by two sides is to the rectangle contained by the excesses of half its perimeter above these sides, as the square of the radius to the square of the sine of half the angle contained by the sides.

Supposing, as in last proposition, that $b$ and $c$ are the sides about an angle $A$, and $a$ the side opposite to $a$, we have, by Theorem IX.

Subtract the first of these equals from $\backslash frac\{R\}\{R\}\; =\; 1$, and the second from $\backslash frac\{2bc\}\{2bc\}\; =\; 1$, and we have

Now $\backslash frac\{R\; -\; \backslash cos.\; A\}\{R\}\; =\; \backslash frac\{2\; \backslash sin.\; \backslash frac\{1\}\{2\}A\}\{R^2\}$ (ALGEBRA, 249, P),

Put $s\; =\; \backslash frac\{1\}\{2\}(a+b+c)$,

we have now $a^2\; -\; (b-c)^2\; =\; 4(s-b)(s-c)$,

THEOREM XI. In any triangle, the rectangle contained by half the perimeter, and its excess above the base, is to the rectangle contained by the excesses of half the perimeter above the two sides, as the square of the radius to the square of the tangent of half the angle contained by the sides.

As in the two preceding theorems, putting $b$ and $c$ for the sides about the angle $A$, and $a$ for the opposite side, and $s\; =\; \backslash frac\{1\}\{2\}(a+b+c)$, we have found that

therefore, ex æquali,

SCHOLIUM. Since we have

let us put $M$ to denote the expression $\backslash sqrt\{\backslash frac\{(s-a)(s-b)(s-c)\}\{s\}\}$,

and we have $\backslash frac\{\backslash tan.\; \backslash frac\{1\}\{2\}A\}\{R\}\; =\; \backslash frac\{M\}\{s-a\}$. We have like expressions for the angles $B,\; C$, and, on the whole,

This seems to be the most convenient formula for finding the angles of a triangle when the sides are given.

16. Having laid down principles, we are next to apply

them to trigonometrical calculation. The foundation, as has been already observed, is a table which shows, in parts of the radius, the lengths of the sine, and tangent, and secant, to every minute or smaller division of the quadrant. The most extensive table of this kind is that of G. Joachimus Rheticus, published in 1596. It gives the sines, &c. to every ten seconds. The invention of logarithms has in a great measure superseded the use of the natural sines, as they are called, and, except for particular purposes, the logarithms of the natural sines, called logarithmic sines, only are used. Of tables containing these, there are innumerable varieties, according as they are of greater or less extent. The Arithmetica Logarithmica of Briggs, published in 1628, by Adrian Vlacq, in two folio volumes, is the most extensive. His tables give the logarithms of 100,000 numbers, and logarithmic sines and tangents to every ten seconds and to ten places of decimals. Hutton's Tables give the natural sines, and tangents, and secants; also their logarithms to every minute and to seven figures. Callet's Tables Portatives give the logarithmic sines and tangents to every ten seconds; and Taylor's Tables, in a large quarto, give the same to every second. For general use, Callet's are the most convenient. Tables which give the logarithms of numbers and sines, &c. to six, and even to five figures, are also useful. Of the former, we recommend Tables of six-figure Logarithms, superintended by Richard Farley of the Nautical Almanac Office (printed for Longman and Co. 1840); and of the latter, Tables of Logarithms, under the superintendence of the Society for the Diffusion of Useful Knowledge (Taylor and Walton, 1839). Those who perform many calculations find it convenient to have tables of different extent. The size of our work, and the form of its pages, make it quite unsuitable for a useful logarithmic table, which should be as portable as it can be made. Accordingly we have given none.

17. It is customary to treat first of right-angled triangles, and next of such as have all their angles oblique.

RIGHT-ANGLED PLANE TRIANGLES.

These form four distinct cases. Adhering to the notation premised in article 15, we shall denote the hypotenuse by the letter $b$, the sides about the right angle by $a$ and $c$, and the opposite angles by $A$ and $C$. (See fig. 2.)

CASE I. Given the side $a$, and either of the acute angles $A,\; C$, and consequently (GEOMETRY, 24, 1) both; to find the hypotenuse $b$ and remaining side $c$.

Solution. $R\; :\; \backslash tan.\; C\; =\; \backslash text\{side\; \}\; a\; :\; \backslash text\{side\; \}\; c$;

CASE II. Given the hypotenuse $b$, and either of the acute angles $A,\; C$; to find the sides $a,\; c$ about the right angle $B$.

Solution. $R\; :\; \backslash cos.\; C\; =\; \backslash text\{hyp.\; \}\; b\; :\; \backslash text\{side\; \}\; a$,

CASE III. Given the sides $a,\; c$ about the right angle $B$; to find the angles $A,\; C$, and hypotenuse $b$.

Solution. $\backslash text\{Side\; \}\; a\; :\; \backslash text\{side\; \}\; c\; =\; R\; :\; \backslash tan.\; C$,

The hypotenuse $C$ may be found independently of the angles by the formula $b\; =\; \backslash sqrt\{a^2\; +\; c^2\}$ (GEOMETRY, 13, 4). The angle $A$ is found from $C$, as above.

CASE IV. Given the hypotenuse $b$, and a side $a$; to find the angles $A,\; C$, and side $c$.

Solution. $\backslash text\{Hyp.\; \}\; b\; :\; \backslash text\{side\; \}\; a\; =\; R\; :\; \backslash cos.\; C$;

The advantage of this solution is, that the same logarithms, viz. of $b+a$ and $b-a$, serve to find the side $c$ and angle $C$.

18. Examples of the solution of right-angled triangles.

CASE I. Given $\backslash left\backslash \{\; \backslash begin\{array\}\{l\}\; \backslash text\{side\; \}\; a\; =\; 514,\; \backslash \backslash \; \backslash text\{angle\; \}\; C\; =\; 55^\{\backslash circ\}\; 44\text{'},\; \backslash end\{array\}\; \backslash right\backslash \}$ Required side $c$ and hypot. $b$.
and therefore angle $A\; =\; 34^\{\backslash circ\}\; 16\text{'}$.

Calculation by Logarithms.

R.....	10.00000	Cos. C.....	9.75054
Tan. C.....	10.16666	R.....	10.00000
Side a.....	2.71096	Side a.....	2.71096
	12.87762		12.71096
Side $c\; =\; 754.4$	2.87762	Hyp. $b\; =\; 912.9$	2.96042

Here we add together the logarithms of the second and third terms of each proportion, and subtract the logarithm of the first from their sum. The remainder is the logarithm of the fourth term, which is the answer.

CASE II. Given $\backslash left\backslash \{\; \backslash begin\{array\}\{l\}\; \backslash text\{hyp.\; \}\; b\; =\; 452,\; \backslash \backslash \; \backslash text\{angle\; \}\; C\; =\; 42^\{\backslash circ\}\; 12\text{'},\; \backslash end\{array\}\; \backslash right\backslash \}$ Required sides $a$ and $c$.
and therefore angle $A\; =\; 47^\{\backslash circ\}\; 48\text{'}$.

R.....	10.00000	R.....	10.00000
Sin. A.....	9.86970	Sin. C.....	9.82719
Hyp. $b$.....	2.65514	Hyp. $b$.....	2.65514
Side $a\; =\; 334.9$	2.52484	Side $c\; =\; 303.6$	2.48233

To save figures, the logarithm of radius may be subtracted or added mentally.

CASE III. Given $\backslash left\backslash \{\; \backslash begin\{array\}\{l\}\; \backslash text\{side\; \}\; a\; =\; 468,\; \backslash \backslash \; \backslash text\{sin.\; \}\; c\; =\; 365,\; \backslash end\{array\}\; \backslash right\backslash \}$ Required angles $A$ and $C$, and hyp. $b$.

side $a$.....	2.67025	Cos. C.....	9.89683
side $c$.....	2.56229	R.....	10.00000
.....	10.00000	Side $a$.....	2.67025
Tan. C = $37^\{\backslash circ\}\; 57\text{'}$	9.89204	Hyp. $b\; =\; 593.5$	2.77342

The hypotenuse $b$ may also be found, by extraction of the square root, thus:

$$=\; \backslash sqrt\{(a^2\; +\; c^2)\}\; =\; \backslash sqrt\{(468^2\; +\; 365^2)\}\; =\; \backslash sqrt\{(3522409)\}\; =\; 593.5.$$

CASE IV. Given $\backslash left\backslash \{\; \backslash begin\{array\}\{l\}\; \backslash text\{hyp.\; \}\; b\; =\; 664,\; \backslash \backslash \; \backslash text\{side\; \}\; a\; =\; 314,\; \backslash end\{array\}\; \backslash right\backslash \}$ Required the angles $A$, $C$, and side $c$.
and therefore $\backslash left\backslash \{\; \backslash begin\{array\}\{l\}\; b\; +\; a\; =\; 978,\; \backslash \backslash \; b\; -\; a\; =\; 350,\; \backslash end\{array\}\; \backslash right.$

Hyp. $b$.....	2.82217	R.....	10.00000
Side $a$.....	2.49693	Sin. C.....	9.94506
R.....	10.00000	Hyp. $b$.....	2.82217
Sin. A = $28^\{\backslash circ\}\; 13\backslash frac\{1\}\{2\}\text{'}$	9.67476	Side $c\; =\; 585.1$	2.76723

This case may be resolved also thus, by Theor. III.

$b\; +\; a$.....	2.99034	$b\; +\; a$.....	2.99034
$b\; -\; a$.....	2.54407	$b\; -\; a$.....	2.54407
R.....	20.00000
Tan. $\backslash frac\{1\}\{2\}C$.....	2.1955373		2.553441
Tan. $\backslash frac\{1\}\{2\}C\; =\; 30^\{\backslash circ\}\; 53\backslash frac\{1\}\{2\}\text{'}$	9.77686	$c\; =\; 585.1$	2.76720
$C\; =\; 61^\{\backslash circ\}\; 46\backslash frac\{1\}\{2\}\text{'}$

This second solution, although not given in our books of trigonometry, is better than the first, because the two angles sought are obtained by the same logarithms, and independently of each other.

No notice is here taken of geometrical constructions of the cases by scales. We however recommend that the student construct all the cases geometrically, and refer him to the article NAVIGATION for examples and practical directions.

OBLIQUE-ANGLED TRIANGLES.

19. The three angles of any plane triangle being equal to two right angles (GEOMETRY, 24, 1), when two of them are given, the third is also given.

There are four cases of oblique-angled triangles.

CASE I. When a side $a$, and two angles $B$, $C$, and consequently the third angle $A$, which is the supplement of $B\; +\; C$, are given; to find the sides $b$, $c$.

SOLUTION. Sin. $A\; :\; \backslash sin.\; B\; =\; a\; :\; b$ } Th. IV.
Sin. $A\; :\; \backslash sin.\; C\; =\; a\; :\; c$ }

CASE II. Two sides $b$, $c$, and an angle $C$ opposite to one of them, are given; to find the other two angles $A$, $B$, and the remaining side $a$. (Fig. 7.)

SOLUTION. Side $c\; :\; \backslash text\{side\; \}\; b\; =\; \backslash sin.\; C\; :\; \backslash sin.\; B$ (Th. IV.)
When $B$ is found, $A\; =\; 180^\{\backslash circ\}\; -\; (B\; +\; C)$ is known;
and $\backslash sin.\; C\; :\; \backslash sin.\; A\; =\; \backslash text\{side\; \}\; c\; :\; \backslash text\{side\; \}\; a$.

Since any two angles, which make together two right angles, have the same sine, and the angle $B$ in this case is to be found by its sine only being known; it will have two distinct values, viz. $B$, and $B\text{'}\; =\; 180^\{\backslash circ\}\; -\; B$. The angle $A$ may also have two values, $A\; =\; 180^\{\backslash circ\}\; -\; (B\; +\; C)$, and $A\text{'}\; =\; 180^\{\backslash circ\}\; -\; (B\text{'}\; +\; C)$. Thus there will be two triangles $ABC$, $AB\text{'}C$, which alike satisfy the conditions of the data. It must however be considered that the three angles of a triangle cannot exceed two right angles, therefore if $C$ be an obtuse angle, $B$ can only be an acute angle, because a triangle cannot have two obtuse angles. Further, if the side $c$ opposite to the given angle $C$ be greater than $b$, in this case $B$ can have but one value; for when $c$ is greater than $b$, then $C$ is greater than either of the values of $B$, one of which is $180^\{\backslash circ\}\; -\; B$ (GEOMETRY, 13, 1), and $C\; +\; B$ will be greater than $180^\{\backslash circ\}$, which is impossible (24, 1).

Because $\backslash frac\{c\}\{b\}\; =\; \backslash frac\{\backslash sin.\; C\}\{\backslash sin.\; B\}$, and $\backslash sin.\; B$ cannot exceed the radius,

therefore $\backslash frac\{c\}\{b\}$ cannot be less than $\backslash frac\{\backslash sin.\; C\}\{R\}$; and unless the data satisfy this condition, the solution will be impossible.

CASE III. Two sides $b$, $c$, and the angle $A$ between them, are given; to find the angles $B$, $C$, and the remaining side $a$.

SOLUTION. When $A$ is given, $B\; +\; C$ its supplement is given; then $b\; +\; c\; :\; b\; -\; c\; =\; \backslash tan.\; \backslash frac\{1\}\{2\}(B\; +\; C)\; :\; \backslash tan.\; \backslash frac\{1\}\{2\}(B\; -\; C)$. (Theorem V.)

Thus $\backslash frac\{1\}\{2\}(B\; -\; C)$ becomes known, and $B\; =\; \backslash frac\{1\}\{2\}(B\; +\; C)\; +\; \backslash frac\{1\}\{2\}(B\; -\; C)$, also $C\; =\; \backslash frac\{1\}\{2\}(B\; +\; C)\; -\; \backslash frac\{1\}\{2\}(B\; -\; C)$, are known. All the angles of the triangle being known, and two of its sides; the remaining side may be found in two ways by Case I., or better by either of these proportions,

Cos. $\backslash frac\{1\}\{2\}(B\; -\; C)\; :\; \backslash cos.\; \backslash frac\{1\}\{2\}(B\; +\; C)\; =\; b\; +\; c\; :\; a$ } Theor. VI.
Sin. $\backslash frac\{1\}\{2\}(B\; -\; C)\; :\; \backslash sin.\; \backslash frac\{1\}\{2\}(B\; +\; C)\; =\; b\; -\; c\; :\; a$ }

If both be used, the results will verify each other. The side $a$ may also be found by Theorem III.

CASE IV. The three sides $a$, $b$, $c$ are given; to find the three angles.

SOLUTION. Find $s\; =\; \backslash frac\{1\}\{2\}(a\; +\; b\; +\; c)$,
and $M\; =\; \backslash sqrt\{\backslash left\backslash \{\; \backslash frac\{(s-a)(s-b)(s-c)\}\{s\}\; \backslash right\backslash \}\}$.

Then, by Theorem XI., $\backslash tan.\; \backslash frac\{1\}\{2\}A\; =\; \backslash frac\{M\}\{s-a\}\; \backslash cdot\; R$, $\backslash tan.\; \backslash frac\{1\}\{2\}B\; =\; \backslash frac\{M\}\{s-b\}\; \backslash cdot\; R$, $\backslash tan.\; \backslash frac\{1\}\{2\}C\; =\; \backslash frac\{M\}\{s-c\}\; \backslash cdot\; R$.

Fig. 6.

By this rule, the values of the three angles may be readily found, and also a verification of the calculation, because the sum of the halves of the angles must make ninety degrees.

Other solutions may be had from Theorems VII. VIII. IX. X. That from Theorem VII. (which resolves the triangle into two right-angled triangles by a perpendicular on one of its sides from the opposite angle) is very generally used by practical men not much versed in theory; but the best solutions are those which follow from Theorems IX. X. XI. These elegant formulae were first found about the year 1653, by William Purser of Dublin. The modification of Theorem XI, given here as a practical rule, is the best method we know for resolving this case.

Examples of Oblique-angled Triangles.

CASE I. Given $\backslash left\backslash \{\; \backslash begin\{array\}\{l\}\; \backslash text\{side\; \}\; a\; =\; 575\; \backslash \backslash \; \backslash text\{angle\; \}\; B\; =\; 63^\{\backslash circ\}\; 48\text{'}\; \backslash \backslash \; \backslash text\{angle\; \}\; C\; =\; 49^\{\backslash circ\}\; 25\text{'}\; \backslash end\{array\}\; \backslash right\backslash \}$ Required the sides $b,\; c$, and therefore angle $A\; =\; 66^\{\backslash circ\}\; 47\text{'}$

Sin. A.....	9.96333	Sin. A.....	9.96333
Sin. B.....	9.95292	Sin. C.....	9.88051
Side a.....	2.75967	Side a.....	2.75967
	12.71259		12.64018

Side $b\; =\; 561.4$ 2.74926      Side $c\; =\; 475.2$ 2.67685

CASE II. Given $\backslash left\backslash \{\; \backslash begin\{array\}\{l\}\; \backslash text\{side\; \}\; b\; =\; 345\; \backslash \backslash \; \backslash text\{side\; \}\; c\; =\; 232\; \backslash \backslash \; \backslash text\{angle\; \}\; C\; =\; 37^\{\backslash circ\}\; 20\text{'}\; \backslash end\{array\}\; \backslash right\backslash \}$ Required angles $A,\; B$, and side $a$.

Side c.....	2.36549	From $180^\{\backslash circ\}\; 0\text{'}$
Side b.....	2.53782	subtract $B\; +\; C\; =\; 101^\{\backslash circ\}\; 44\text{'}$
Sin. C.....	9.78280	angle CAB = $78^\{\backslash circ\}\; 16\text{'}$
	12.32062
		From $180^\{\backslash circ\}\; 0\text{'}$

Sin. B = $64^\{\backslash circ\}\; 24\text{'}$ or sin. B' = $115^\{\backslash circ\}\; 36\text{'}$ } 9.95513      subtract $B\text{'}\; +\; C\; =\; 152^\{\backslash circ\}\; 56\text{'}$
angle CAB' = $27^\{\backslash circ\}\; 4\text{'}$

Fig. 7.

In this example the angle $A$ has two distinct values, from which we shall find two values of $BC\; =\; a$, and $B\text{'}C\; =\; a\text{'}$.

To find BC.		To find B'C.
Sin. C.....	9.78280	Sin. C.....	9.78280
Sin. BAC.....	9.99083	Sin. B'AC.....	9.65804
Side c.....	2.36549	Side c.....	2.36549
	12.35632		12.02353
Side BC = a...	2.57352	Side B'C = a'...	2.24073
	= 374.6		= 174.1

Example 2. In a plane triangle, there are given two sides, 532 and 358, and the angle opposite to the former, $107^\{\backslash circ\}\; 40\text{'}$; to find the remaining angles and side.

In this example, the things required have each only one

value. The angles will be found $39^\{\backslash circ\}\; 53\text{'}$ and $32^\{\backslash circ\}\; 27\text{'}$, and the remaining side 299.6.

CASE III. Given $\backslash left\backslash \{\; \backslash begin\{array\}\{l\}\; \backslash text\{side\; \}\; b\; =\; 1230\; \backslash \backslash \; \backslash text\{side\; \}\; c\; =\; 870\; \backslash \backslash \; \backslash text\{angle\; \}\; A\; =\; 105^\{\backslash circ\}\; \backslash end\{array\}\; \backslash right\backslash \}$ Required angles $B,\; C$, and side $a$.

$b\; +\; c\; =\; 2100,\; b\; -\; c\; =\; 360,\; B\; +\; C\; =\; 180^\{\backslash circ\}\; -\; A\; =\; 75^\{\backslash circ\}$
$\backslash frac\{1\}\{2\}(B\; +\; C)\; =\; 37^\{\backslash circ\}\; 30\text{'}$
$b\; +\; c$.....	3.32222	Cos. $\backslash frac\{1\}\{2\}(B\; -\; C)$ 9.99628
$b\; -\; c$.....	2.55630	Cos. $\backslash frac\{1\}\{2\}(B\; +\; C)$ 9.88498
Tan. $\backslash frac\{1\}\{2\}(B\; +\; C)\; =\; 37^\{\backslash circ\}\; 30\text{'}$	9.88498	$b\; +\; c$..... 3.32222
	12.44128
		13.22169

Tan. $\backslash frac\{1\}\{2\}(B\; -\; C)\; =\; 7^\{\backslash circ\}\; 29\text{'}$ 9.11906      $a\; =\; 1680.4$..... 3.22511
B = $44^\{\backslash circ\}\; 59\text{'}$
C = $30^\{\backslash circ\}\; 0\backslash frac\{1\}\{2\}\text{'}$

As a verification, $a$ may be found from this other proportion:

$$\backslash sin.\; \backslash frac\{1\}\{2\}(B\; -\; C)\; :\; \backslash sin.\; \backslash frac\{1\}\{2\}(B\; +\; C)\; =\; b\; -\; c\; :\; a.$$

The side $a$ may also be found by Case I. in two ways, because all the angles and two sides are known.

20. In all the preceding operations, the logarithm of the fourth term of each proportion has been found by subtracting the logarithm of the first term from the sum of the logarithms of the second and third. Now, in every case, when one number $a$ is to be subtracted from another number $b$, we may obtain the result required by adding the difference between $a$, and $n$ any number, and then subtracting the number $n$ from the result. Thus, instead of subtracting 7 from 12, we may add 3, the difference between 7 and 10, to 12, and then rejecting 10 from 15, the sum, obtain 5 for the difference between 12 and 7. The reason of this may be easily understood, and it is evident from algebraic subtraction; for $b\; -\; a\; =\; b\; +\; (n\; -\; a)\; -\; n$. When $a$, the number to be subtracted, is less than 10, then $n$ is conveniently assumed = 10, and when $a$ is between 10 and 20, then $n$ may be taken = 20. Thus, if 17 is to be subtracted from 63, the remainder, 46, is found by adding 3 ( = 20 - 17) to 63, and rejecting 20 from the sum.

Hence, in trigonometrical calculation, instead of subtracting the log. of the first of four proportionals from the sum of the logs. of the second and third in order to obtain the log. of the fourth term, we may add into one sum the logs. of the second and third terms, and the difference between the log. of the first and 10, and rejecting, mentally, 10 from the sum, we have what is required.

The difference between a logarithm and 10.00000, &c. is called the arithmetical complement of that logarithm; and it is most readily obtained by subtracting every figure, beginning at the left hand, from 9, and the last significant figure from 10; thus, the arithmetical complement of 2.73651 is 7.26349, and the arithmetical complement of 9.78460 is 0.21540. By the introduction of the arithmetical complements of logarithms, fewer figures are required in calculations; for, with a little practice, it will be found as easy to read the arithmetical complements of logarithms from the table as the logarithms themselves. We have now this rule for finding a fourth proportional to three given numbers. Add together the arithmetical complements of the logarithm of the first term, and the logarithms of the second and third terms; the sum is the logarithm of the fourth.

As an example, take the above proportion:

Sin. $\backslash frac\{1\}\{2\}(B\; -\; C)$ :	sin. $\backslash frac\{1\}\{2\}(B\; +\; C)$ = $b\; -\; c$ : $a$.
Sin. $\backslash frac\{1\}\{2\}(B\; -\; C)$ arith. comp.	0.88465
Sin. $\backslash frac\{1\}\{2\}(B\; +\; C)$.....	9.78445
$b\; -\; c$.....	2.55630

$a\; =\; 1680.4$      3.22540

We have the same value of $a$ as above.

(SS IV. Given $\backslash begin\{cases\}\; \backslash text\{side\; \}\; a\; =\; 800\; \backslash \backslash \; \backslash text\{side\; \}\; b\; =\; 562\; \backslash \backslash \; \backslash text\{side\; \}\; c\; =\; 320\; \backslash end\{cases\}$ Required the angles A, B, C.

2)1682

Logs.

$s\; =\; \backslash frac\{1\}\{2\}(a\; +\; b\; +\; c)\; =\; 841\; \backslash quad\; 7.07520\; \backslash quad\; \backslash text\{Ar.\; comp.\; log.\}$

$s\; -\; a\; =\; 41\; \backslash quad\; 1.61278$

$s\; -\; b\; =\; 279\; \backslash quad\; 2.44560$

$s\; -\; c\; =\; 521\; \backslash quad\; 2.71684$

2)3.85042

M..... 1.92521

R..... 10.00000

RM..... 11.92521

$\backslash frac\{RM\}\{s-a\}\; =\; \backslash tan.\; \backslash frac\{1\}\{2\}\; A\; \backslash quad\; 10.31243\; \backslash quad\; \backslash frac\{1\}\{2\}\; A\; =\; 64^\backslash circ\; 1\text{'}\; 55\text{'}\text{'}$

$\backslash frac\{RM\}\{s-b\}\; =\; \backslash tan.\; \backslash frac\{1\}\{2\}\; B\; \backslash quad\; 9.47961\; \backslash quad\; \backslash frac\{1\}\{2\}\; B\; =\; 16\; \backslash quad\; 47\; \backslash quad\; 23$

$\backslash frac\{RM\}\{s-c\}\; =\; \backslash tan.\; \backslash frac\{1\}\{2\}\; C\; \backslash quad\; 9.20837\; \backslash quad\; \backslash frac\{1\}\{2\}\; C\; =\; 9\; \backslash quad\; 10\; \backslash quad\; 41$

Verification 89 59 59.

Hence the angles come out

$A\; =\; 128^\backslash circ\; 3\text{'}\; 50\text{'}\text{'},\; B\; =\; 33^\backslash circ\; 34\text{'}\; 46\text{'}\text{'},\; C\; =\; 18^\backslash circ\; 21\text{'}\; 22\text{'}\text{'}$.

The verification shows the correctness of the result.

Various applications of trigonometry have been given in MEASUREMENT and NAVIGATION; to these we refer the reader for more examples in the calculation of triangles.

PART II.—SPHERICAL TRIGONOMETRY.

1. In our treatise on GEOMETRY we have defined a pyramid (Sect. xi. Def. 6). The most simple solid of this kind is the triangular pyramid, or tetrahedron, contained by four plane triangles, or faces, each of which has a side common with the other three. The angles of these form four solid angles. Each of the solid angles presents for our consideration six plane angles; namely, the three angles about the solid angle, and the three angles made by the planes of the faces, which are so related, that any three of them being given, the other three may be found. The investigation of formulae which furnish rules by which this may be accomplished, forms the object of what is to follow.

2. In the calculus of sines, the things considered are plane angles. If two of these be inward angles of a triangle, and the third the outward and opposite angle, our formula for the sines, tangents, &c. of the sum and difference of two angles (ALGEBRA) will express relations among the angles of a plane triangle. We are now to investigate formulae analogous to these, which shall involve the angles of a pyramid. Although the calculus which treats of angles made by straight lines in a plane may be established independently of a circle, yet it is conducive to perspicuity to employ arcs of circles as the measures of angles. This has led to the measuring of the angles of a pyramid by arcs of circles on the surface of a sphere whose centre is the vertex; then the angles made by the planes of its faces will be shown by the arcs contained by tangents to the circles at their points of intersection.

3. In treating of spherical trigonometry, we shall begin by explaining some properties of the sphere which depend on principles purely geometrical.

DEFINITIONS.

1. A sphere is a solid figure generated by the revolution of a semicircle about a diameter which remains unmoved.

II. The diameter about which the semicircle turns, is the axis of the sphere; and the point which is the middle of that diameter is the centre of the sphere.

III. A straight line drawn from the centre to any point in the surface of a sphere, is a radius of the sphere. It is evident that all the radii are equal.

THEOREM I. Every section of a sphere made by a plane is a circle.

Let ADBE be a sphere, and DHE the curve line which is the common section of its surface and any plane. From O, the centre of the sphere, draw OF perpendicular to the plane DHE, and draw FH to any point in the curve DHE and join OH. In the triangle OFH, the angle OFH is a right angle; therefore $FH\; =\; \backslash sqrt\{(OH^2\; -\; OF^2)\}$. Now the lines OH and OF are invariable for all points in the curve DHE, therefore FH is invariable, and the curve DHE is the circumference of a circle whose radius is FH.

DEF. IV. The common section of a sphere and any plane that passes through its centre, is a great circle of the sphere. Let ADBE be a sphere whose centre is O; the circle DFE, in which any plane passing through O meets the sphere, is a great circle.

COR. 1. All great circles of the sphere are equal; and any two great circles mutually bisect each other.

COR. 2. A great circle may pass through any two assigned points on a sphere, which are not the extremities of a diameter. For if straight lines be drawn from the centre to the points, a plane may pass along these lines, and only one plane, whose common section with the sphere will be a great circle.

DEF. V. The pole of a great circle is a point on the surface of the sphere, from which all straight lines drawn to the circumference of the circle are equal.

Let DFE be a great circle, and O its centre; take D and F any points in its circumference, join OD, OF, and draw OA perpendicular to the plane of the circle, meeting the surface of the sphere in A, and join AD, AF; because AO is perpendicular to the plane DFE, the angles AOD, AOF are right angles; therefore $AD\; =\; AF$, hence A is the pole of the circle DFE.

COR. Since a perpendicular to the plane of the circle DFE through its centre must meet the sphere in two points; a great circle has two poles, A, B, which are the extremities of a diameter of the sphere perpendicular to the plane of the circle, and it can have no more.

THEOREM II. The arcs of a great circle between the poles and the circumference of another great circle are quadrants.

Let A and B be the poles of a great circle DFE, whose centre is O; let ADB be any other great circle that passes through A and B and meets the circle DFE in E. Because the poles of the circle DEF are at the extremities of AB, the diameter of the sphere that is perpendicular to its plane, the angles AOD, BOD are right angles, therefore AD, BD, the arcs of the circle ADB, are quadrants.

DEF. VI. A spherical angle is the angle on the surface

Fig. 1.

Fig. 2.

of the sphere made by two great circles at their intersection: it is identical with the angle made by two straight lines in the planes of the circles which touch them at their intersection; and it is also the same as the angle made by the planes of the circles.

Let AEB, AFB, be two great circles that intersect each other at A and B (Fig. 2). From O the centre of the sphere, and A the intersection of the circles, draw OE and AP in the plane of the circle AEB, and OF, AQ in the plane of the circle AFB perpendicular to AB, the common section of the circles; the straight lines AP, AQ, will touch the circles at A, and form an angle PAQ, which is the spherical angle at A; and since PAQ is equal to EOF (GEOMETRY, Part ii. 10, 1), the inclination of the planes of the circles, this last also expresses the spherical angle at A.

COR. 1. The adjacent spherical angles which one great circle makes with another, are together equal to two right angles; and the vertical or opposite angles made by two great circles which cut one another are equal.

COR. 2. The spherical angle made by two great circles is measured by an arc of a great circle whose pole is at their intersection.

DEF. VII. A spherical triangle is a figure on the surface of the sphere comprehended by three arcs of great circles, each of which is less than a semicircle.

If planes be supposed to pass along the arcs AB, BC, AC, which are the sides of the triangle; these will pass through O, the centre of the sphere, and form at that point a solid angle O (GEOMETRY, Def. vi. of Part ii.).

THEOREM III. Any two sides of a spherical triangle are together greater than the third; and the sum of the arcs which are its sides is less than the circumference of a great circle.

The arcs AB, AC, BC, are the measures of the plane angles AOB, AOC, BOC, about the solid angle O. Now, any two of these plane angles are greater than the third (GEOMETRY, Part ii. 16, 1), therefore any two sides of the spherical triangle ABC is greater than the third; and because the sum of the plane angles about the solid angle is less than four right angles (17); therefore the sum of the sides of the spherical triangle, which are their measures, must be less than the sum of four quadrants, that is, less than the circumference of a great circle.

THEOREM IV. If about the angular points of a spherical triangle, as poles, there be described three great circles on the sphere; these by their intersections will form a triangle which is said to be supplemental to the former; and the two triangles are such, that the sides of the one are the supplements of the arcs which measure the angles of the other.

Let ABC be a spherical triangle; let EF be an arc of a great circle whose pole is A, and FD an arc of a great circle whose pole is B, and DE an arc of a great circle whose pole is C; these three arcs forming the triangle DEF. Let DB be an arc of a great circle passing through the points D, B, and DC an arc of a great circle passing through the points D, C. Because B is

Fig. 3.

Fig. 4.

the pole of the arc DF, the arc BD is a quadrant (Th. II.) and because C is the pole of the arc DE, the arc CD is a quadrant. Since then the arcs BD, CD, are both quadrants, D is the pole of a great circle that passes through the points B, C; but only one great circle can pass through two points on the sphere not directly opposite, therefore D must be the pole of the arc BC. In the same way, it will appear that E is the pole of the arc AC, and F the pole of the arc AB. Produce the arcs AB, AC, if necessary, till they meet the arc EF in G and H; the point A being the pole of the arc GH, the angle A will be measured by GH. Now EH + FG being both quadrants, $EH\; +\; FG\; =\; 180^\backslash circ$; but $EH\; +\; FG\; =\; EF\; +\; GH$, therefore $EF\; +\; GH\; =\; 180^\backslash circ$, that is, EF, a side of the triangle DEF, is the supplement of GH, the measure of the angle A. In the very same way, it will appear that DF is the supplement of the angle B, and DE the supplement of the angle C; and because the triangle ABC may be formed from the triangle DEF exactly in the same way that DEF is constructed from ABC, namely, by describing great circles about the angles D, E, F, as poles, the triangles and their relations to each other may be interchanged. Hence it appears that BC, AC, AB, the sides of the triangle ABC, are the supplements of D, E, F, the angles of the triangle DEF.

THEOREM V. The three angles of any spherical triangle are greater than two right angles, but less than six.

In the triangle ABC (fig. 4), the measures of the angles A, B, C, together with DE, EF, DF, the sides of the supplemental triangle DEF, make six right angles. (Th. IV.) Now the sum of the sides of the triangle DEF is less than four right angles (Th. III.), therefore the sum of the three angles A, B, C, is greater than two right angles; and because the three inward angles of any triangle, together with the adjacent exterior angles, are equal to six right angles, therefore the inward angles alone are less than six right angles.

4. We might proceed in this way, establishing the whole doctrine of spherical trigonometry by a series of synthetic demonstrations; such was the practice of the earlier writers on this subject. This however has now given way to a more convenient and elegant method of proceeding, which dispenses with complicated diagrams representing on a plane surface circles on a sphere. It deduces by the angular calculus the whole theory of spherical trigonometry (including also the theorems already here demonstrated) from a single proposition, in a manner probably first followed out by Bertrand of Geneva in his Développement nouveau de la Partie Élémentaire des Mathématiques (Geneva, 1778). Lagrange seems to have overlooked this work, for in his elegant memoir, entitled Solutions de quelques Problèmes relatifs aux Triangles Sphériques, avec une Analyse complète de ces Triangles, given in vol. ii. of Journal de l'Ecole Polytechnique, he has attributed the theorem to De Gua, who also gave it in the Mémoires of the Academy of Sciences for 1783.

5. Our article on the ARITHMETIC OF SINES (ALGEBRA, sect. 25) is an example of what may be done by the power of analysis alone in deducing an extensive theory from a few simple geometrical principles. Such is the way in which Lagrange and later writers treat of spherical trigonometry. We shall also follow the method of Delambre, who, in his Astronomie Théorique et Pratique, chap. x., instead of numerous rules deduced from geometrical constructions, for determining when angles or arcs are less or greater than quadrants, considers their sines and cosines as positive or negative quantities, according to the principles of analytic geometry, as explained at article 225 in ALGEBRA. From what has been there explained, it appears that,

(1.) A sine is positive when the arc is less than $180^\backslash circ$, but negative when the arc is between $180^\backslash circ$ and $360^\backslash circ$.

(2.) If an arc be taken negatively, its sine is negative in the first half of the circle, but positive in the second.

(3.) The cosine of an arc = 0 is unity: it is 0 when the arc = $90^\backslash circ$; between arc = 0 and arc = $90^\backslash circ$, the cosine is positive, and between arc = $90^\backslash circ$ and arc = $270^\backslash circ$ the cosine is negative, and between $270^\backslash circ$ and $360^\backslash circ$ it is positive. Positive and a negative arc have the same cosine, so that a given cosine the arc may be taken either as positive or as negative.

(4.) Since $\backslash tan.\; A\; =\; \backslash frac\{\backslash sin.\; A\}\{\backslash cos.\; A\}$, the tangent is positive in the first quadrant of the circle, because the sine and cosine are both positive; it is negative in the second, because the sine is positive and the cosine negative; it is positive in the third quadrant, because the sine and cosine are both negative; lastly, it is negative in the fourth quadrant, because the sine is negative and the cosine positive. The tangent = 0 when the arc is 0 or $180^\backslash circ$, and infinite when the arc is $90^\backslash circ$ or $270^\backslash circ$.

(5.) When the arc is known, we can always give the tangent the proper sign. If the arc $x$ is not known, and we have only $\backslash tan.\; x\; =\; a$, it cannot be known whether the arc be positive or negative; if $a$ be a positive number, the tangent belongs alike to two arcs, $x$ and $180^\backslash circ\; +\; x$. If $a$ be negative, $\backslash tan.\; a$ belongs to an arc between $90^\backslash circ$ and $180^\backslash circ$, or between $270^\backslash circ$ and $360^\backslash circ$. The problem therefore admits of no solutions.

But if $\backslash tan.\; x\; =\; \backslash frac\{m\}\{n\}$, and that the two terms of the fraction be positive, then . If $m$ be positive and $n$ negative, $x\; >\; 90^\backslash circ$; when $m$ and $n$ are both negative, $x\; >\; 180^\backslash circ$; lastly, if $m$ be negative and $n$ positive, $x\; >\; 270^\backslash circ$.

(6.) The rule of the signs for cotangents is the same as for the tangents, since $\backslash tan.\; x\; =\; \backslash frac\{1\}\{\backslash cot.\; x\}$, or $\backslash cot.\; x\; =\; \backslash frac\{1\}\{\backslash tan.\; x\}$.

(7.) The rule for the signs of secants is the same as for cosines, seeing that $\backslash sec.\; x\; =\; \backslash frac\{1\}\{\backslash cos.\; x\}$.

(8.) The rule for cosecants is the same as for sines, since $\backslash csc.\; x\; =\; \backslash frac\{1\}\{\backslash sin.\; x\}$.

(9.) When an arc is known, the sign of its sine is known; if when $x$, an unknown arc, is to be found from $\backslash sin.\; x\; =\; a$, the sine belongs alike to $x$ and $180^\backslash circ\; -\; x$, if $a$ be positive; or to $180^\backslash circ\; +\; x$, and $360^\backslash circ\; -\; x$, if $a$ be negative.

(10.) When an arc $a$ is known, the sign of its cosine is known; but if we have $\backslash cos.\; x\; =\; b$, we do not know whether it be in the first or fourth quadrant if $x$ is positive, or whether it be in the second or third when $x$ is negative. The problem therefore has also, in this case, two solutions.

The nature of the problem may however determine that which the algebraic rule leaves ambiguous. Delambre, in Astronomy, says, "These rules are general, and easily remembered, and never mislead a calculator; while, on the contrary, the rules with which most writers have complicated trigonometry, are so perplexing that there is hardly an author that has not given false ones." The rule of the sines was long neglected by astronomers, on the known principle that improvements come slowly into general use.

6. Let ABC be a spherical triangle, and let O be the centre of the sphere; draw the radii OA, OB, OC. The solid angle at O is contained by the three plane angles AOB, BOC, AOC, and the measures are the arcs AB, BC, CA, which are the sides of the triangle ABC.

At the point A in the plane AOB, draw AD touching the arc AB, and meeting the plane BOC in D; and in the plane AOC draw AE touching the arc AC, and meeting the plane BOC in E. The angle DAE contained by the segments AD, AE, is the same as the spherical angle BAC (Def. vi.). Join the points D, E by a straight line, which

Fig. 5.

will be at once the base of the plane triangles DAE, DOE, the vertices of which are joined by the line AO, a radius of the sphere. We shall throughout make this line the unit, and express it by 1. Let us now denote the sides and angles of the spherical triangle ABC as follows.

The sides BC = $a$, AC = $b$, AB = $c$;
The angles BAC = $A$, ABC = $B$, ACB = $C$.

We have now

$$AE\; =\; \backslash tan.\; b\; =\; \backslash frac\{\backslash sin.\; b\}\{\backslash cos.\; b\},\; \backslash quad\; OE\; =\; \backslash sec.\; b\; =\; \backslash frac\{1\}\{\backslash cos.\; b\}$$

$$AD\; =\; \backslash tan.\; c\; =\; \backslash frac\{\backslash sin.\; c\}\{\backslash cos.\; c\},\; \backslash quad\; OD\; =\; \backslash sec.\; c\; =\; \backslash frac\{1\}\{\backslash cos.\; c\}$$

By plane trigonometry (Tu. VIII.), in the plane triangle ADE,

$$DE^2\; =\; AE^2\; +\; AD^2\; -\; 2\; AE\; \backslash cdot\; AD\; \backslash cos.\; A,\; \backslash \backslash \; =\; \backslash tan^2\; b\; +\; \backslash tan^2\; c\; -\; 2\; \backslash tan.\; b\; \backslash tan.\; c\; \backslash cos.\; A;$$

and in the triangle ODE, we have also

$$DE^2\; =\; OE^2\; +\; OD^2\; -\; 2\; OE\; \backslash cdot\; OD\; \backslash cos.\; a,\; \backslash \backslash \; =\; \backslash sec^2\; b\; +\; \backslash sec^2\; c\; -\; 2\; \backslash sec.\; b\; \backslash sec.\; c\; \backslash cos.\; a.$$

Hence, subtracting the sides of the first of these equations from the sides of the second, and considering that $\backslash sec^2\; b\; -\; \backslash tan^2\; b\; =\; 1$, $\backslash sec^2\; c\; -\; \backslash tan^2\; c\; =\; 1$, we have $0\; =\; 1\; +\; 1\; -\; 2\; \backslash sec.\; b\; \backslash sec.\; c\; \backslash cos.\; a\; +\; 2\; \backslash tan.\; b\; \backslash tan.\; c\; \backslash cos.\; A$; and hence, again dividing the terms by 2, &c.

$$\backslash sec.\; b\; \backslash sec.\; c\; \backslash cos.\; a\; =\; 1\; +\; \backslash tan.\; b\; \backslash tan.\; c\; \backslash cos.\; A;$$

$$\backslash text\{that\; is,\; \}\; \backslash frac\{\backslash cos.\; a\}\{\backslash cos.\; b\; \backslash cos.\; c\}\; =\; 1\; +\; \backslash frac\{\backslash sin.\; b\; \backslash sin.\; c\}\{\backslash cos.\; b\; \backslash cos.\; c\}\; \backslash cos.\; A;$$

and multiplying both sides by $\backslash cos.\; b\; \backslash cos.\; c$,

$$\backslash cos.\; a\; =\; \backslash cos.\; b\; \backslash cos.\; c\; +\; \backslash sin.\; b\; \backslash sin.\; c\; \backslash cos.\; A.$$

This is the formula given by Bertrand, and it comprehends in itself the whole principles of spherical trigonometry.

7. Since the same property must belong alike to the three sides, we may interchange the letters which represent them and the angles, and thus have

$$\backslash cos.\; a\; =\; \backslash cos.\; b\; \backslash cos.\; c\; +\; \backslash sin.\; b\; \backslash sin.\; c\; \backslash cos.\; A\; \backslash dots\; (1)$$

$$\backslash cos.\; b\; =\; \backslash cos.\; a\; \backslash cos.\; c\; +\; \backslash sin.\; a\; \backslash sin.\; c\; \backslash cos.\; B\; \backslash dots\; (2)$$

$$\backslash cos.\; c\; =\; \backslash cos.\; a\; \backslash cos.\; b\; +\; \backslash sin.\; a\; \backslash sin.\; b\; \backslash cos.\; C\; \backslash dots\; (3)$$

8. To deduce other formulae from these, we add and subtract the first and second, and thus get

$$\backslash cos.\; b\; +\; \backslash cos.\; a\; =\; \backslash begin\{cases\}\; (\backslash cos.\; b\; +\; \backslash cos.\; a)\; \backslash cos.\; c\; \backslash \backslash \; +\; (\backslash sin.\; a\; \backslash cos.\; B\; +\; \backslash sin.\; b\; \backslash cos.\; A)\; \backslash sin.\; c\; \backslash end\{cases\}$$

$$\backslash cos.\; b\; -\; \backslash cos.\; a\; =\; \backslash begin\{cases\}\; -(\backslash cos.\; b\; -\; \backslash cos.\; a)\; \backslash cos.\; c\; \backslash \backslash \; +\; (\backslash sin.\; a\; \backslash cos.\; B\; -\; \backslash sin.\; b\; \backslash cos.\; A)\; \backslash sin.\; c\; \backslash end\{cases\}$$

and from these again, by transposing the first term on the right-hand side,

$$(\backslash cos.\; b\; +\; \backslash cos.\; a)(1\; -\; \backslash cos.\; c)\; =\; \backslash begin\{cases\}\; \backslash sin.\; a\; \backslash cos.\; B\; \backslash \backslash \; +\; \backslash sin.\; b\; \backslash cos.\; A\; \backslash end\{cases\}\; \backslash sin.\; c,$$

$$(\backslash cos.\; b\; -\; \backslash cos.\; a)(1\; +\; \backslash cos.\; c)\; =\; \backslash begin\{cases\}\; \backslash sin.\; a\; \backslash cos.\; B\; \backslash \backslash \; -\; \backslash sin.\; b\; \backslash cos.\; A\; \backslash end\{cases\}\; \backslash sin.\; c;$$

and taking the products of the corresponding sides, and considering that $1\; -\; \backslash cos^2\; c\; =\; \backslash sin^2\; c$, we have, after dividing by $\backslash sin^2\; c$,

$$\backslash cos^2\; b\; -\; \backslash cos^2\; a\; =\; \backslash sin^2\; a\; \backslash cos^2\; B\; -\; \backslash sin^2\; b\; \backslash cos^2\; A.$$

$$\backslash text\{Now,\; since\; \}\; \backslash cos^2\; b\; +\; \backslash sin^2\; b\; =\; \backslash cos^2\; a\; +\; \backslash sin^2\; a,$$

$$\backslash text\{we\; have\; \}\; \backslash cos^2\; b\; -\; \backslash cos^2\; a\; =\; \backslash sin^2\; a\; -\; \backslash sin^2\; b;$$

$$\backslash text\{therefore,\; \}\; \backslash sin^2\; a\; -\; \backslash sin^2\; b\; =\; \backslash sin^2\; a\; \backslash cos^2\; B\; -\; \backslash sin^2\; b\; \backslash cos^2\; A;$$

and $\backslash sin^2\; a\; (1\; -\; \backslash cos^2\; B)\; =\; \backslash sin^2\; b\; (1\; -\; \backslash cos^2\; A)$;

that is, $\backslash sin^2\; a\; \backslash sin^2\; B\; =\; \backslash sin^2\; b\; \backslash sin^2\; A$,

and $\backslash sin\; a\; \backslash sin\; B\; =\; \backslash sin\; b\; \backslash sin\; A$.

From this last, we form these three formulae,

II.

$$\backslash frac\{\backslash sin\; b\}\{\backslash sin\; a\}\; =\; \backslash frac\{\backslash sin\; B\}\{\backslash sin\; A\}\; \backslash dots\; (1)$$

$$\backslash frac\{\backslash sin\; c\}\{\backslash sin\; a\}\; =\; \backslash frac\{\backslash sin\; C\}\{\backslash sin\; A\}\; \backslash dots\; (2)$$

$$\backslash frac\{\backslash sin\; b\}\{\backslash sin\; c\}\; =\; \backslash frac\{\backslash sin\; B\}\{\backslash sin\; C\}\; \backslash dots\; (3)$$

9. By No. 3 of formulae (I)

$\backslash cos\; c\; =\; \backslash cos\; a\; \backslash cos\; b\; +\; \backslash sin\; a\; \backslash sin\; b\; \backslash cos\; C$,

therefore $\backslash cos\; b\; \backslash cos\; c\; =\; \backslash cos\; a\; \backslash cos^2\; b\; +$

$\backslash sin\; a\; \backslash cos\; b\; \backslash sin\; b\; \backslash cos\; C$.

But by No. 1 of formulae I,

$\backslash cos\; b\; \backslash cos\; c\; =\; \backslash cos\; a\; \backslash sin\; b\; \backslash sin\; c\; \backslash cos\; A$;

therefore $\backslash cos\; a\; \backslash sin\; b\; \backslash sin\; c\; \backslash cos\; A\; =\; \backslash cos\; a\; \backslash cos^2\; b\; +$

$\backslash sin\; a\; \backslash cos\; b\; \backslash sin\; b\; \backslash cos\; C$;

and $\backslash cos\; a\; (1\; -\; \backslash cos^2\; b)\; =\; \backslash sin\; b\; (\backslash sin\; c\; \backslash cos\; A\; +$

$\backslash sin\; a\; \backslash cos\; b\; \backslash cos\; C)$.

In this expression put $\backslash sin^2\; b$ for $1\; -\; \backslash cos^2\; b$, and divide both sides by $\backslash sin\; b$; the result is

$$\backslash cos\; a\; \backslash sin\; b\; =\; \backslash sin\; c\; \backslash cos\; A\; +\; \backslash sin\; a\; \backslash cos\; b\; \backslash cos\; C\; \backslash dots\; (m)$$

But by formula 2 of II. $\backslash sin\; c\; =\; \backslash frac\{\backslash sin\; a\}\{\backslash sin\; A\}\; \backslash sin\; C$; therefore

$$\backslash cos\; a\; \backslash sin\; b\; =\; \backslash sin\; a\; \backslash sin\; C\; \backslash frac\{\backslash cos\; A\}\{\backslash sin\; A\}\; +\; \backslash sin\; a\; \backslash cos\; b\; \backslash cos\; C$$

Divide now by $\backslash sin\; a$, and put $\backslash cot\; a$ for $\backslash frac\{\backslash cos\; a\}\{\backslash sin\; a\}$, and $\backslash cot\; A$ for $\backslash frac\{\backslash cos\; A\}\{\backslash sin\; A\}$, and there is obtained

$$\backslash cot\; a\; \backslash sin\; b\; =\; \backslash cot\; A\; \backslash sin\; C\; +\; \backslash cos\; b\; \backslash cos\; C$$

By changing $b$ into $c$ and $C$ into $B$, we have also

$$\backslash cot\; a\; \backslash sin\; c\; =\; \backslash cot\; A\; \backslash sin\; B\; +\; \backslash cos\; c\; \backslash cos\; B$$

By treating these two formulae like those in articles 7

and 8, we obtain a class of six formulae, viz.

III.

$$\backslash cot\; a\; \backslash sin\; b\; =\; \backslash cot\; A\; \backslash sin\; C\; +\; \backslash cos\; b\; \backslash cos\; C\; \backslash dots\; (1)$$

$$\backslash cot\; a\; \backslash sin\; c\; =\; \backslash cot\; A\; \backslash sin\; B\; +\; \backslash cos\; c\; \backslash cos\; B\; \backslash dots\; (2)$$

$$\backslash cot\; b\; \backslash sin\; a\; =\; \backslash cot\; B\; \backslash sin\; C\; +\; \backslash cos\; a\; \backslash cos\; C\; \backslash dots\; (3)$$

$$\backslash cot\; b\; \backslash sin\; c\; =\; \backslash cot\; B\; \backslash sin\; A\; +\; \backslash cos\; c\; \backslash cos\; A\; \backslash dots\; (4)$$

$$\backslash cot\; c\; \backslash sin\; a\; =\; \backslash cot\; C\; \backslash sin\; B\; +\; \backslash cos\; a\; \backslash cos\; B\; \backslash dots\; (5)$$

$$\backslash cot\; c\; \backslash sin\; b\; =\; \backslash cot\; C\; \backslash sin\; A\; +\; \backslash cos\; b\; \backslash cos\; A\; \backslash dots\; (6)$$

In these formulae, the letters which represent the parts of the triangle are not so symmetrically arranged, as in the two former groups; and on that account they are less easily remembered. This inconvenience will be obviated by attention to the following remarks.

(1.) Both members of each formula begin with the product of a cotangent and a sine.

(2.) The first member is formed from any two of the three sides, and the first term of the second member contains an angle opposite to one of these, and the angle opposite to the side which is not in the first member.

(3.) The last term of the second member is formed by the two cosines of the same arcs of which the sines are already in the equation.

10. Resuming equation (m) in the preceding article, viz. $\backslash cos\; a\; \backslash sin\; b\; =\; \backslash sin\; a\; \backslash cos\; b\; \backslash cos\; C\; +\; \backslash sin\; c\; \backslash cos\; A$, change $a$ into $b$ and $b$ into $a$, also $A$ into $B$, and we have $\backslash sin\; a\; \backslash cos\; b\; =\; \backslash sin\; b\; \backslash cos\; a\; \backslash cos\; C\; +\; \backslash sin\; c\; \backslash cos\; B$; and multiplying both sides by $\backslash cos\; C$, $\backslash sin\; a\; \backslash cos\; b\; \backslash cos\; C\; =\; \backslash sin\; b\; \backslash cos\; a\; \backslash cos^2\; C\; +\; \backslash sin\; c\; \backslash cos\; B\; \backslash cos\; C$. This value of $\backslash sin\; a\; \backslash cos\; b\; \backslash cos\; C$ being substituted in the former equation, it becomes

$$\backslash cos\; a\; \backslash sin\; b\; =\; \backslash sin\; b\; \backslash cos\; a\; \backslash cos^2\; C\; +$$

$$\backslash sin\; c\; (\backslash cos\; B\; \backslash cos\; C\; +\; \backslash cos\; A),$$

and by transposing the first term of the second side, $\backslash cos\; a\; \backslash sin\; b\; (1\; -\; \backslash cos^2\; C)\; =\; \backslash sin\; c\; (\backslash cos\; B\; \backslash cos\; C\; +\; \backslash cos\; A)$, that is, $\backslash cos\; a\; \backslash sin\; b\; \backslash sin^2\; C\; =\; \backslash sin\; c\; (\backslash cos\; B\; \backslash cos\; C\; +\; \backslash cos\; A)$.

Now by (3) of formulae II., $\backslash sin\; b\; \backslash sin\; C\; =\; \backslash sin\; c\; \backslash sin\; B$, therefore this last expression being substituted in the first side of the equation instead of its equal, and both sides being divided by $\backslash sin\; c$, we have

$$\backslash cos\; a\; \backslash sin\; B\; \backslash sin\; C\; =\; \backslash cos\; B\; \backslash cos\; C\; +\; \backslash cos\; A$$

And by treating the expression just found, as we did those in articles 7, 8, 9, we have these formulae:

IV.

$$\backslash cos\; A\; =\; -\backslash cos\; B\; \backslash cos\; C\; +\; \backslash sin\; B\; \backslash sin\; C\; \backslash cos\; a\; \backslash dots\; (1)$$

$$\backslash cos\; B\; =\; -\backslash cos\; A\; \backslash cos\; C\; +\; \backslash sin\; A\; \backslash sin\; C\; \backslash cos\; b\; \backslash dots\; (2)$$

$$\backslash cos\; C\; =\; -\backslash cos\; A\; \backslash cos\; B\; +\; \backslash sin\; A\; \backslash sin\; B\; \backslash cos\; c\; \backslash dots\; (3)$$

11. The sides of a spherical triangle being still denoted by $a,\; b,\; c$, and its angles by $A,\; B,\; C$, let $A\text{'},\; B\text{'},\; C\text{'}$, and $a\text{'},\; b\text{'},\; c\text{'}$, be arcs or angles, such that

$$a\; +\; A\text{'}\; =\; 180^\backslash circ,\; b\; +\; B\text{'}\; =\; 180^\backslash circ,\; c\; +\; C\text{'}\; =\; 180^\backslash circ;$$

$$A\; +\; a\text{'}\; =\; 180^\backslash circ,\; B\; +\; b\text{'}\; =\; 180^\backslash circ,\; C\; +\; c\text{'}\; =\; 180^\backslash circ.$$

Then we have

$$\backslash cos\; a\; =\; -\backslash cos\; A\text{'},\; \backslash cos\; b\; =\; -\backslash cos\; B\text{'},\; \backslash cos\; c\; =\; -\backslash cos\; C\text{'}$$

$$\backslash sin\; a\; =\; \backslash sin\; A\text{'},\; \backslash sin\; b\; =\; \backslash sin\; B\text{'},\; \backslash sin\; c\; =\; \backslash sin\; C\text{'};$$

$$\backslash cos\; A\; =\; -\backslash cos\; a\text{'},\; \backslash cos\; B\; =\; -\backslash cos\; b\text{'},\; \backslash cos\; C\; =\; -\backslash cos\; c\text{'}$$

$$\backslash sin\; A\; =\; \backslash sin\; a\text{'},\; \backslash sin\; B\; =\; \backslash sin\; b\text{'},\; \backslash sin\; C\; =\; \backslash sin\; c\text{'}.$$

Let these values of the sines and cosines of $a,\; b,\; c$ and $A,\; B,\; C$ be substituted in formulae I. and IV.; they then become

$$\backslash cos\; A\text{'}\; =\; -\backslash cos\; B\text{'}\; \backslash cos\; C\text{'}\; +\; \backslash sin\; B\text{'}\; \backslash sin\; C\text{'}\; \backslash cos\; a\text{'},$$

$$\backslash cos\; B\text{'}\; =\; -\backslash cos\; A\text{'}\; \backslash cos\; C\text{'}\; +\; \backslash sin\; A\text{'}\; \backslash sin\; C\text{'}\; \backslash cos\; b\text{'},$$

$$\backslash cos\; C\text{'}\; =\; -\backslash cos\; A\text{'}\; \backslash cos\; B\text{'}\; +\; \backslash sin\; A\text{'}\; \backslash sin\; B\text{'}\; \backslash cos\; c\text{'};$$

$$\backslash cos\; a\text{'}\; =\; \backslash cos\; b\text{'}\; \backslash cos\; c\text{'}\; +\; \backslash sin\; b\text{'}\; \backslash sin\; c\text{'}\; \backslash cos\; A\text{'},$$

$$\backslash cos\; b\text{'}\; =\; \backslash cos\; a\text{'}\; \backslash cos\; c\text{'}\; +\; \backslash sin\; a\text{'}\; \backslash sin\; c\text{'}\; \backslash cos\; B\text{'},$$

$$\backslash cos\; c\text{'}\; =\; \backslash cos\; a\text{'}\; \backslash cos\; b\text{'}\; +\; \backslash sin\; a\text{'}\; \backslash sin\; b\text{'}\; \backslash cos\; C\text{'}.$$

Hence, from I. and IV., if the arcs $a\text{'},\; b\text{'},\; c\text{'}$ be taken as the sides of a spherical triangle, then the arcs $A\text{'},\; B\text{'},\; C\text{'}$ must necessarily be the measures of its angles; thus we have proved analytically our fourth theorem, which has been demonstrated in article 3, from considerations purely geometrical. This theorem, which has been known for two centuries past, may be expressed thus: Any spherical triangle may be changed into another of which the sides and angles are respectively the supplements of the angles and sides of the first. This is the supplement or polar triangle.

12. The four sets of formulae which have been investigated in articles (6), (7), (8), (9), (10), are sufficient for resolving all cases of spherical triangles. When one of the angles is a right angle, they become more simple. We shall now adapt them to that case.

Fig. 6.

Right-Angled Spherical Triangles.

Let us suppose that $A\; =\; 90^\backslash circ$, then $\backslash cos\; A$ and $\backslash cot\; A$ are each $=\; 0$, and $\backslash sin\; A\; =\; 1$.

From 1 and 2 of form. I. $\backslash cos\; a\; =\; \backslash cos\; b\; \backslash cos\; c$.

$$\backslash text\{From\; 1\; and\; 2\; of\; II.\; \}\; \backslash begin\{cases\}\; \backslash sin\; B\; =\; \backslash frac\{\backslash sin\; b\}\{\backslash sin\; a\},\; \backslash \backslash \; \backslash sin\; C\; =\; \backslash frac\{\backslash sin\; c\}\{\backslash sin\; a\}.\; \backslash end\{cases\}$$

$$\backslash text\{From\; 1\; and\; 2\; of\; III.\; \}\; \backslash begin\{cases\}\; \backslash cot\; a\; \backslash sin\; b\; =\; \backslash cos\; b\; \backslash cos\; C,\; \backslash \backslash \; \backslash cot\; a\; \backslash sin\; c\; =\; \backslash cos\; c\; \backslash cos\; B.\; \backslash end\{cases\}$$

$$\backslash text\{From\; 4\; and\; 6\; of\; III.\; \}\; \backslash begin\{cases\}\; \backslash cot\; b\; \backslash sin\; c\; =\; \backslash cot\; B,\; \backslash \backslash \; \backslash cot\; c\; \backslash sin\; b\; =\; \backslash cot\; C.\; \backslash end\{cases\}$$

$$\backslash text\{From\; IV.\}\; \backslash dots\; \backslash dots\; \backslash dots\; \backslash left\backslash \{\; \backslash begin\{array\}\{l\}\; \backslash cos.\; B\; \backslash cos.\; C\; =\; \backslash sin.\; B\; \backslash sin.\; C\; \backslash cos.\; a,\; \backslash \backslash \; \backslash cos.\; B\; =\; \backslash sin.\; C\; \backslash cos.\; b,\; \backslash \backslash \; \backslash cos.\; C\; =\; \backslash sin.\; B\; \backslash cos.\; c.\; \backslash end\{array\}\; \backslash right.$$

By considering that the cotangent of an arc is the reciprocal of the tangent, and that the tangent is equal to the one divided by the cosine, we now obtain these ten formulae for right-angled triangles, in which A is the right angle.

13. These ten formulae, which may however be expressed in words by six, are of continual use in astronomy, is therefore desirable that they should be comprehended the fewest number possible of practical rules, simple and easily remembered. Such were found by Napier, the inventor of logarithms, and are known by the name of Napier's Rules of the Circular Parts. They are not new positions, but are merely enunciations, which, by a particular arrangement and classification of the parts of a triangle, include all the six proportions. They are perhaps the happiest example of artificial memory that is known.

In a right-angled spherical triangle ABC, setting aside the right angle A, there remain the sides AC = b and AB = c about the right angle; the hypotenuse BC = a, and the two oblique angles B, C. The first two of these, viz. the sides b, c, and the complements of the remaining three, i.e. 90° - a, 90° - B, 90° - C, are called the five circular parts. They are called circular, because, when taken in their order, they go round the triangle.

Fig. 7.

14. When one of the five circular parts is taken as the middle part, the two next to it, one on each side, are called the adjacent parts; and the other two, each of which is separated from the middle by an adjacent part, are called the opposite parts.

Thus, if 90° - a be the middle part, 90° - C and 90° - B are the adjacent parts, and b and c the opposite parts; if 90° - B be the middle part, 90° - a and c are the adjacent parts, and 90° - C and b are the opposite parts; and if c be the middle part, 90° - B and b are the adjacent parts, and 90° - a and 90° - C the opposite parts; and so on.

This arrangement being made, the rule of the circular parts is contained in the following proposition:

The rectangle under radius and the sine of the middle part is equal to the rectangle under the tangents of the adjacent parts; also to the rectangle under the cosines of the opposite parts.

It may assist the memory if we represent the middle part by the letter M, the adjacent parts by the letters A, a, and the opposite parts by the letters O, o; the rule will stand thus:

$$R\; \backslash cdot\; \backslash sin.\; M\; =\; \backslash tan.\; A\; \backslash cdot\; \backslash tan.\; a;\; \backslash quad\; R\; \backslash cdot\; \backslash sin.\; M\; =\; \backslash cos.\; O\; \backslash cdot\; \backslash cos.\; o.$$

15. To verify the rule, let 90° - a, the complement of the hypotenuse, be the middle part; then 90° - C, and 90° - B will be the adjacent, and b, c the opposite parts; and by the rule,

Let 90° - B, the complement of one of the oblique angles, be the middle part, then 90° - a and c are the adjacent parts, and 90° - C and b the opposite. The rule gives

$$R\; \backslash cdot\; \backslash cos.\; B\; \backslash left\backslash \{\; \backslash begin\{array\}\{l\}\; =\; \backslash cot.\; a\; \backslash tan.\; c\; \backslash dots\; \backslash dots\; \backslash dots\; \backslash text\{Form.\; (4,\; 5)\}\; \backslash \backslash \; =\; \backslash sin.\; C\; \backslash cos.\; b\; \backslash dots\; \backslash dots\; \backslash dots\; \backslash text\{Form.\; (9,\; 10)\}\; \backslash end\{array\}\; \backslash right.$$

Let b, one of the sides about the right angle, be the middle part, then 90° - C and c will be the adjacent parts, and 90° - a and 90° - B the opposite parts. In this case, by the rule,

$$R\; \backslash cdot\; \backslash sin.\; b\; \backslash left\backslash \{\; \backslash begin\{array\}\{l\}\; =\; \backslash cot.\; C\; \backslash tan.\; c\; \backslash dots\; \backslash dots\; \backslash dots\; \backslash text\{Form.\; (6,\; 7)\}\; \backslash \backslash \; =\; \backslash sin.\; a\; \backslash sin.\; B\; \backslash dots\; \backslash dots\; \backslash dots\; \backslash text\{Form.\; (2,\; 3)\}\; \backslash end\{array\}\; \backslash right.$$

These are all the cases of right-angled triangles.

In applying the rule of the circular parts to resolve any case of right-angled triangles, consider which of the three quantities named (the two things given and the one required) must be made the middle term, in order that the other two may be equidistant from it, that is, may be both adjacent or both opposite; then the one or the other of the theorems which constitute the rule will give the value of the thing required.

Suppose, for example, that c a side about the right angle, and a the hypotenuse, are given to find the angle C. It appears that if c be made the middle part, then 90° - a and 90° - C are the opposite parts; and therefore that $R\; \backslash cdot\; \backslash sin.\; c\; =\; \backslash sin.\; a\; \backslash sin.\; C$, and $\backslash sin.\; a\; :\; \backslash sin.\; c\; =\; R\; :\; \backslash sin.\; C$.

16. Delambre has avowed that he found it easier to remember the six formulae for right-angled triangles than to apply Napier's rules. In astronomy, the sun's longitude (☉) is the hypotenuse of a right-angled triangle, of which the right ascension (AR) and declination (D) are the sides about the right angle, the obliquity of the ecliptic (ω) is one of the oblique angles. Let the other oblique angle be denoted by A, then the six formulae for right-angled spherical triangles adapted to astronomical calculation will stand thus:

The practical astronomer, who has continual occasion to use the first four of these formulae, will find no difficulty in retaining them in his memory. But Napier's rules will probably be most easily remembered by students of that science.

17. The general formulae, I., II., III., IV., serve for all spherical triangles; but they admit of transformations, which make them more convenient for logarithmic calculation.

Resuming the formulae, (I.) we put the first under these two forms.

Spherical Trigonometry. $\backslash text\{Cos.\; \}\; a\; =\; (\backslash text\{cos.\; \}\; b\; \backslash text\{\; cos.\; \}\; c\; -\; \backslash sin.\; b\; \backslash sin.\; c)\; +\; \backslash sin.\; b\; \backslash sin.\; c\; (1\; +\; \backslash text\{cos.\; \}\; A)$,
$\backslash text\{Cos.\; \}\; a\; =\; (\backslash text\{cos.\; \}\; b\; \backslash text\{\; cos.\; \}\; c\; +\; \backslash sin.\; b\; \backslash sin.\; c)\; -\; \backslash sin.\; b\; \backslash sin.\; c\; (1\; -\; \backslash text\{cos.\; \}\; A)$.
Now, by the calculus of sines (ALGEBRA, articles 239 and 248),

Hence, by substituting, we get

and transposing, and observing that by the calculus of sines (ALGEBRA, art. 240),

$$\backslash text\{We\; have\; now\; \}\; \backslash cos^2\; \backslash frac\{1\}\{2\}\; A\; =\; \backslash frac\{\backslash sin.\; s\; \backslash sin.\; (s\; -\; a)\}\{\backslash sin.\; b\; \backslash sin.\; c\},$$

$$\backslash sin^2\; \backslash frac\{1\}\{2\}\; A\; =\; \backslash frac\{\backslash sin.\; (s\; -\; b)\; \backslash sin.\; (s\; -\; c)\}\{\backslash sin.\; b\; \backslash sin.\; c\}.$$

There are expressions exactly like these for the squares of the cosines and sines of the halves of the angles B, C; and from the whole we obtain

18. Because $\backslash tan^2\; \backslash frac\{1\}\{2\}\; A\; =\; \backslash frac\{\backslash sin^2\; \backslash frac\{1\}\{2\}\; A\}\{\backslash cos^2\; \backslash frac\{1\}\{2\}\; A\}$, therefore

Put M to denote $\backslash sqrt\{\backslash frac\{\backslash sin.\; (s\; -\; a)\; \backslash sin.\; (s\; -\; b)\; \backslash sin.\; (s\; -\; c)\}\{\backslash sin.\; s\}\}$, and it is observable that in this expression the sides a, b, c enter exactly alike. We have now $\backslash tan.\; \backslash frac\{1\}\{2\}\; A\; =\; \backslash frac\{M\}\{s\; -\; a\}$. By

putting B and b, also C and c, successively, instead of A and a, we find like expressions for the tangents of $\backslash frac\{1\}\{2\}\; B$ and $\backslash frac\{1\}\{2\}\; C$. Thus we have these three formulae:

The formulae in this and the preceding article are exactly like those found for the angles of plane triangles. Those for the tangents of half the angles (which we believe to be given in this form for the first time) seem to be most convenient for use in all cases. In using the others, if half the angle sought be nearly a quadrant, its cosine

ought to be sought rather than its sine; and the reverse, if the angle be small.

19. We may treat our fourth group of formulae, of which the first is

$\backslash text\{Cos.\; \}\; A\; =\; -\backslash text\{cos.\; \}\; B\; \backslash text\{\; cos.\; \}\; C\; +\; \backslash sin.\; B\; \backslash sin.\; C\; \backslash cos.\; a$, in all respects as we have the first, putting it under these forms:

$$\backslash text\{Cos.\; \}\; A\; =\; -(\backslash text\{cos.\; \}\; B\; \backslash text\{\; cos.\; \}\; C\; -\; \backslash sin.\; B\; \backslash sin.\; C)\; -\; \backslash sin.\; B\; \backslash sin.\; C\; (1\; -\; \backslash text\{cos.\; \}\; a),$$

$$\backslash text\{Cos.\; \}\; A\; =\; -(\backslash text\{cos.\; \}\; B\; \backslash text\{\; cos.\; \}\; C\; +\; \backslash sin.\; B\; \backslash sin.\; C)\; +\; \backslash sin.\; B\; \backslash sin.\; C\; (1\; +\; \backslash text\{cos.\; \}\; a);$$

from which we have, by the calculus of sines (ALGEBRA, art. 239), &c.

Now

Therefore, putting

we have

There are like expressions which involve the squares of the sines and cosines of $\backslash frac\{1\}\{2\}\; b$ and $\backslash frac\{1\}\{2\}\; c$, from all which we deduce

20. Dividing now the cosines of the halves of the sides by their sines, thereby getting expressions for the tangents, and proceeding as in article 18, putting

$$M\text{'}\; =\; \backslash sqrt\{\backslash frac\{\backslash text\{cos.\; \}\; (S\; -\; A)\; \backslash cos.\; (S\; -\; B)\; \backslash cos.\; (S\; -\; C)\}\{-\backslash text\{cos.\; \}\; S\}\},$$

we have these formulae:

The sum of the three angles of a spherical triangle always exceeds two right angles; therefore S, half their sum, exceeds a quadrant; and hence cos. S will be a negative quantity, and $-\backslash text\{cos.\; \}\; S$ will be positive, and its square root a real quantity.

In astronomical calculations, it very seldom happens that the angles are wanted, from the three sides being given.

21. Recurring to the formulae ($\backslash alpha$), ($\backslash beta$) of article 17, we deduce from them the following equations.

$$\backslash frac\{\backslash text\{Sin.\; \}\; \backslash frac\{1\}\{2\}\; B\; \backslash cos.\; \backslash frac\{1\}\{2\}\; C\}\{\backslash cos.\; \backslash frac\{1\}\{2\}\; A\}\; =\; \backslash frac\{\backslash sin.\; (s\; -\; c)\}\{\backslash sin.\; a\}\; =\; \backslash frac\{\backslash sin.\; \backslash frac\{1\}\{2\}\; (a\; +\; b\; -\; c)\}\{\backslash sin.\; a\},$$

$$\backslash frac\{\backslash text\{Sin.\; \}\; \backslash frac\{1\}\{2\}\; C\; \backslash cos.\; \backslash frac\{1\}\{2\}\; B\}\{\backslash cos.\; \backslash frac\{1\}\{2\}\; A\}\; =\; \backslash frac\{\backslash sin.\; (s\; -\; b)\}\{\backslash sin.\; a\}\; =\; \backslash frac\{\backslash sin.\; \backslash frac\{1\}\{2\}\; (a\; +\; c\; -\; b)\}\{\backslash sin.\; a\},$$

$$\backslash frac\{\backslash cos.\; \backslash frac\{1\}\{2\}B\; \backslash cos.\; \backslash frac\{1\}\{2\}C\}\{\backslash sin.\; \backslash frac\{1\}\{2\}A\}\; =\; \backslash frac\{\backslash sin.\; s\}\{\backslash sin.\; a\}\; =\; \backslash frac\{\backslash sin.\; \backslash frac\{1\}\{2\}(a+b+c)\}\{\backslash sin.\; a\},$$ $$\backslash frac\{\backslash sin.\; \backslash frac\{1\}\{2\}B\; \backslash sin.\; \backslash frac\{1\}\{2\}C\}\{\backslash sin.\; \backslash frac\{1\}\{2\}A\}\; =\; \backslash frac\{\backslash sin.\; (s-a)\}\{\backslash sin.\; a\}\; =\; \backslash frac\{\backslash sin.\; \backslash frac\{1\}\{2\}(b+c-a)\}\{\backslash sin.\; a\}.$$

By adding and subtracting the sides of these equations, and observing that

$$\backslash sin.\; a\; =\; 2\; \backslash sin.\; \backslash frac\{1\}\{2\}a\; \backslash cos.\; \backslash frac\{1\}\{2\}a,$$

(has been proved in ALGEBRA, articles 240 and 247), we obtain the following results:

$$\backslash frac\{\backslash sin.\; \backslash frac\{1\}\{2\}(B+C)\}\{\backslash cos.\; \backslash frac\{1\}\{2\}A\}\; =\; \backslash frac\{\backslash cos.\; \backslash frac\{1\}\{2\}(b-c)\}\{\backslash cos.\; \backslash frac\{1\}\{2\}a\}\; \backslash dots\; \backslash dots\; \backslash dots\; (1)$$

$$\backslash frac\{\backslash sin.\; \backslash frac\{1\}\{2\}(B-C)\}\{\backslash cos.\; \backslash frac\{1\}\{2\}A\}\; =\; \backslash frac\{\backslash sin.\; \backslash frac\{1\}\{2\}(b-c)\}\{\backslash sin.\; \backslash frac\{1\}\{2\}a\}\; \backslash dots\; \backslash dots\; \backslash dots\; (2)$$

$$\backslash frac\{\backslash cos.\; \backslash frac\{1\}\{2\}(B+C)\}\{\backslash sin.\; \backslash frac\{1\}\{2\}A\}\; =\; \backslash frac\{\backslash cos.\; \backslash frac\{1\}\{2\}(b+c)\}\{\backslash cos.\; \backslash frac\{1\}\{2\}a\}\; \backslash dots\; \backslash dots\; \backslash dots\; (3)$$

$$\backslash frac\{\backslash cos.\; \backslash frac\{1\}\{2\}(B-C)\}\{\backslash sin.\; \backslash frac\{1\}\{2\}A\}\; =\; \backslash frac\{\backslash sin.\; \backslash frac\{1\}\{2\}(b+c)\}\{\backslash sin.\; \backslash frac\{1\}\{2\}a\}\; \backslash dots\; \backslash dots\; \backslash dots\; (4)$$

These formulae were first given by Gauss, in his work Theoria Motus Corporum Coelestium.

2. Let us now divide the sides of formula (1) by those of formula (3), also the sides of (2) by the sides of (4), and the sides of (4) by the sides of (3), and, lastly, the sides of (2) by the sides of (1); and put $\backslash tan.$ in the results

instead of $\backslash frac\{\backslash sin.\}\{\backslash cos.\}$, also $\backslash cot.$ instead of $\backslash frac\{\backslash cos.\}\{\backslash sin.\}$; we then have

$$\backslash frac\{\backslash tan.\; \backslash frac\{1\}\{2\}(B+C)\}\{\backslash cot.\; \backslash frac\{1\}\{2\}A\}\; =\; \backslash frac\{\backslash cos.\; \backslash frac\{1\}\{2\}(b-c)\}\{\backslash cos.\; \backslash frac\{1\}\{2\}(b+c)\}\; \backslash dots\; \backslash dots\; \backslash dots\; (1)$$

$$\backslash frac\{\backslash tan.\; \backslash frac\{1\}\{2\}(B-C)\}\{\backslash cot.\; \backslash frac\{1\}\{2\}A\}\; =\; \backslash frac\{\backslash sin.\; \backslash frac\{1\}\{2\}(b-c)\}\{\backslash sin.\; \backslash frac\{1\}\{2\}(b+c)\}\; \backslash dots\; \backslash dots\; \backslash dots\; (2)$$

$$\backslash frac\{\backslash tan.\; \backslash frac\{1\}\{2\}(b+c)\}\{\backslash tan.\; \backslash frac\{1\}\{2\}a\}\; =\; \backslash frac\{\backslash cos.\; \backslash frac\{1\}\{2\}(B-C)\}\{\backslash cos.\; \backslash frac\{1\}\{2\}(B+C)\}\; \backslash dots\; \backslash dots\; \backslash dots\; (3)$$

$$\backslash frac\{\backslash tan.\; \backslash frac\{1\}\{2\}(b-c)\}\{\backslash tan.\; \backslash frac\{1\}\{2\}a\}\; =\; \backslash frac\{\backslash sin.\; \backslash frac\{1\}\{2\}(B-C)\}\{\backslash sin.\; \backslash frac\{1\}\{2\}(B+C)\}\; \backslash dots\; \backslash dots\; \backslash dots\; (4)$$

These formulae, expressed in words as proportions, are commonly called Napier's analogies. He however only gave the last in the concise form which it here presents. The third, as he left it, had two common divisors in the terms of a ratio, which he overlooked. His commentator Briggs proved the defect, and, in addition, deduced the first and second formulae from the third and fourth by the theorem here demonstrated in art. 11. Thus he is entitled to share with Napier in the honour of having discovered these very elegant properties of spherical triangles. From the first and second of these formulae, there is, indeed, by division, this other formula:

$$\backslash frac\{\backslash tan.\; \backslash frac\{1\}\{2\}(B+C)\}\{\backslash tan.\; \backslash frac\{1\}\{2\}(B-C)\}\; =\; \backslash frac\{\backslash tan.\; \backslash frac\{1\}\{2\}(b+c)\}\{\backslash tan.\; \backslash frac\{1\}\{2\}(b-c)\}.$$

This formula is also due to Napier. 3. There are some properties of spherical triangles which may be more concisely proved by the formulae than by geometrical reasoning. Such are those which follow.

I. In a spherical triangle, the greater angle is opposite the greater side, and conversely.

Let $a,\; b,\; c$ be the sides of a spherical triangle, and $B,\; C$ the angles opposite to the sides $b,\; c$. It appears from formula (2) of §, article 21, that

$$\backslash frac\{\backslash sin.\; \backslash frac\{1\}\{2\}(B-C)\}\{\backslash sin.\; \backslash frac\{1\}\{2\}(b-c)\}\; =\; \backslash frac\{\backslash cos.\; \backslash frac\{1\}\{2\}A\}\{\backslash cos.\; \backslash frac\{1\}\{2\}a\}.$$

The second member of this equation is always a positive quantity, therefore the first must also be positive. This can only be true on the hypothesis that when $b$ is greater than $c$, then $B$ is also greater than $C$. The truth of the converse follows from the same principle.

II. The angles at the base of an isosceles triangle are equal, and conversely.

For we have

$$\backslash cos.\; \backslash frac\{1\}\{2\}a\; \backslash sin.\; \backslash frac\{1\}\{2\}(B-C)\; =\; \backslash cos.\; \backslash frac\{1\}\{2\}A\; \backslash sin.\; \backslash frac\{1\}\{2\}(b-c).$$

When $b=c$, the second side of the equation becomes $=0$, therefore the first side must also be $=0$. This requires that $B=C$. The converse follows from the same formula.

III. Any two sides of a spherical triangle are together greater than the third.

It appears from article 17, that

$$\backslash sin.\; \backslash frac\{1\}\{2\}(b+c-a)\; =\; \backslash frac\{\backslash sin.\; b\; \backslash sin.\; c\; \backslash cos.\; \backslash frac\{1\}\{2\}A\}\{\backslash sin.\; \backslash frac\{1\}\{2\}(a+b+c)\}.$$

The second side of this equation is always a positive quantity, therefore the first must also be positive. This requires that $b+c$ be in every case greater than $a$. This proposition has been otherwise proved geometrically, Theorem III.

IV. We have found (article 21) that

$$\backslash cos.\; \backslash frac\{1\}\{2\}(b+c)\; \backslash sin.\; \backslash frac\{1\}\{2\}A\; =\; \backslash cos.\; \backslash frac\{1\}\{2\}(B+C)\; \backslash cos.\; \backslash frac\{1\}\{2\}a.$$

Now $\backslash sin.\; \backslash frac\{1\}\{2\}A$ and $\backslash cos.\; \backslash frac\{1\}\{2\}a$ are always positive, because each are less than a quadrant. Therefore $\backslash cos.\; \backslash frac\{1\}\{2\}(b+c)$ and $\backslash cos.\; \backslash frac\{1\}\{2\}(B+C)$ have always the same sign; and hence $\backslash frac\{1\}\{2\}(b+c)$ and $\backslash frac\{1\}\{2\}(B+C)$ are of the same affection, and $B+C,\; b+c$, either both less than a semicircle, or both equal to it, or both greater.

V. The hypotenuse $a$ of a right-angled spherical triangle is less or greater than $90^\backslash circ$, according as the sides $b,\; c$, about the right angle $A$, are of the same affection, or of different affection; that is, in the former case, both less or both greater than $90^\backslash circ$; and in the latter, one less and the other greater than $90^\backslash circ$.

This follows immediately from the formula $\backslash cos.\; a\; =\; \backslash cos.\; b\; \backslash cos.\; c$ (art. 12); for if $b$ and $c$ be both less than $90^\backslash circ$ or both greater, they have like signs, and their product has the sign $+$, which indicates that $a$ is less than $90^\backslash circ$. If one of the two $b,\; c$ be less and the other greater than $90^\backslash circ$, they will have different signs, and the sign of their product will be $-$, and $a$ must be greater than $90^\backslash circ$.

VI. The same rule applies to each of the sides $b,\; c$; for $b$ will be less than $90^\backslash circ$ if $a$ and $c$ be of the same affection, but greater than $90^\backslash circ$ if $a$ and $c$ are of different affection.

VII. The formula $\backslash cos.\; a\; =\; \backslash cot.\; B\; \backslash cot.\; C$ shows that the hypotenuse $a$ will be less than $90^\backslash circ$ when $B$ and $C$ are of the same affection, but greater than $90^\backslash circ$ if they be of different affection.

VIII. Also, that either of the angles $B,\; C$, will be less than $90^\backslash circ$ if $a$ and the other angle be of the same affection, but greater than $90^\backslash circ$ if they be of different affection.

IX. The formula $\backslash cos.\; B\; =\; \backslash cos.\; b\; \backslash sin.\; c$ shows that the angle $B$ and the opposite side $b$ are always of the same affection.

X. The formula $\backslash tan.\; c\; =\; \backslash tan.\; a\; \backslash cot.\; B$ shows that the hypotenuse $a$ and either side $c$ are of the same affection if the angle they contain be acute, but of different affection if the angle be obtuse.

XI. Lastly, the formula $\backslash tan.\; b\; =\; \backslash sin.\; c\; \backslash tan.\; B$ proves that the side and the opposite angle are always of the same affection.

XII. In any spherical triangle $ABC$, draw $AD$ an arc of a great circle perpendicular to the base $BC$, thus forming two right-angled triangles $ADC,\; ADB$, which have

Spherical Trigonometry. a common side AD. We have (art. 13) $\backslash tan.\; AD\; =\; \backslash tan.\; C\; \backslash sin.\; CD\; =\; \backslash tan.\; B\; \backslash sin.\; BD$; hence the angles ACD, ABD, are either both acute or both obtuse. If therefore ACB and ABC be of the same affection, the perpendicular falls within the triangle ABC; but if the angles ACB and ABC are of contrary affection, the perpendicular falls without the triangle ABC.

Fig. 8.

Solution of Right-Angled Triangles.

A spherical triangle may have one right angle, or it may have two, or three. If it have two right angles, the sides opposite to these will be quadrants, and the third the measure of the remaining angle. If it have three right angles, it will be equilateral, and its sides quadrants. We shall set aside these cases, and consider only that in which one of the angles is a right angle, and the other two oblique, which may be either acute or obtuse. The side opposite to the right angle is named the hypotenuse.

The solutions are to be derived from the formulae in art. 12; and as in the investigations, to abridge, the radius was supposed to be the unit, we shall in the rules express it as in the formulae of plane trigonometry by the letter R.

CASE I. Given the hypotenuse $a$ and $b$, one of the sides about the right angle, to find the other side $c$, and the oblique angles B, C. These are to be found from formulae (1), (2, 3), (4, 5).

SOLUTION.

$$\backslash cos.\; c\; =\; \backslash frac\{\backslash cos.\; a\}\{\backslash cos.\; b\}\; R,\; \backslash quad\; \backslash sin.\; B\; =\; \backslash frac\{\backslash sin.\; b\}\{\backslash sin.\; a\}\; R,\; \backslash quad\; \backslash cos.\; C\; =\; \backslash frac\{\backslash tan.\; b\}\{\backslash tan.\; a\}\; R.$$

If $a$ and $b$ be of the same affection, then $c$ must be less than a quadrant, and also the measure of the angle C. But if $a$ and $b$ be of different affection, then the side $c$ and the angle C must be both greater than quadrants. The angle B and the side $b$ will be of the same affection.

CASE II. Given the sides $b$ and $c$ about the right angle, to find the hypotenuse $a$, and the angles B, C. Here the formulae to be used are (1), (6, 7).

SOLUTION.

$$\backslash cos.\; a\; =\; \backslash frac\{\backslash cos.\; b\; \backslash cos.\; c\}\{R\},\; \backslash quad\; \backslash tan.\; B\; =\; \backslash frac\{\backslash tan.\; b\}\{\backslash sin.\; c\}\; R,\; \backslash quad\; \backslash tan.\; C\; =\; \backslash frac\{\backslash tan.\; c\}\{\backslash sin.\; b\}\; R.$$

In all the cases it must be considered whether the arcs found be less or greater than quadrants, by the algebraic signs $+$ or $-$, which belong to the given arcs and angles as expressed in article 5.

CASE III. Given the hypotenuse $a$, and an oblique angle B, to find the sides $b$, $c$, and the other oblique angle C. The formulae to be employed are (2, 3), (4, 5).

SOLUTION.

$$\backslash sin.\; b\; =\; \backslash frac\{\backslash sin.\; a\; \backslash sin.\; B\}\{R\},\; \backslash quad\; \backslash tan.\; c\; =\; \backslash frac\{\backslash tan.\; a\; \backslash cos.\; B\}\{R\},$$

$$\backslash cos.\; C\; =\; \backslash frac\{\backslash tan.\; b\}\{\backslash tan.\; a\}\; R.$$

CASE IV. Given a side $b$ and the opposite angle B, to find the hypotenuse $a$, the side $c$, and the angle C. This is resolved by (2, 3), (6, 7), (9, 10).

SOLUTION.

$$\backslash sin.\; a\; =\; \backslash frac\{\backslash sin.\; b\}\{\backslash sin.\; B\}\; R,\; \backslash quad\; \backslash sin.\; c\; =\; \backslash frac\{\backslash tan.\; b\}\{\backslash tan.\; B\}\; R,\; \backslash quad\; \backslash sin.\; C\; =\; \backslash frac\{\backslash cos.\; B\}\{\backslash cos.\; b\}\; R.$$

In this case each of the things required has two values, because an arc and its supplement have the same sine. Hence two distinct triangles may be found from the same data; this is called the ambiguous case of right-angled spherical triangles.

CASE V. Given a side $b$ with the adjacent angle C, to find the hypotenuse $a$, the side $c$, and the angle B. These are to be found by (4, 5), (6, 7), (9, 10).

SOLUTION.

$$\backslash tan.\; a\; =\; \backslash frac\{\backslash tan.\; b\}\{\backslash cos.\; C\}\; R,\; \backslash quad\; \backslash tan.\; c\; =\; \backslash frac\{\backslash sin.\; b\; \backslash tan.\; C\}\{R\},$$ $$\backslash cos.\; B\; =\; \backslash frac\{\backslash cos.\; b\; \backslash sin.\; C\}\{R\}.$$

CASE VI. Given the two oblique angles B, C, to find the hypotenuse $a$, and the sides $b$, $c$. These are found by (8), (9, 10).

SOLUTION.

$$\backslash cos.\; a\; =\; \backslash frac\{\backslash cot.\; B\; \backslash cot.\; C\}\{R\},\; \backslash quad\; \backslash cos.\; b\; =\; \backslash frac\{\backslash cos.\; B\}\{\backslash sin.\; C\}\; R,\; \backslash quad\; \backslash cos.\; c\; =\; \backslash frac\{\backslash cos.\; C\}\{\backslash sin.\; B\}\; R.$$

In addition to what has been said in regard to the arcs or angles sought being less or greater than quadrants, it may be useful to remember, that when the thing to be found by the formulae is either a tangent or a cosine, and when of the tangents or cosines employed in its computation, one only is an obtuse angle, the angle required is also obtuse. In what follows we shall consider $R\; =\; 1$.

Oblique-Angled Spherical Triangles.

24. Before entering on these, we shall resolve this problem.

PROBLEM. Let M, N, P be given quantities, and $x$ an unknown arc or angle; it is proposed to find $x$ from this equation:

$$M\; \backslash cos.\; x\; +\; N\; \backslash sin.\; x\; =\; P.$$

Let us assume $M\; =\; r\; \backslash cos.\; \backslash phi$, $N\; =\; r\; \backslash sin.\; \backslash phi$; where $r$ denotes a number, and $\backslash phi$ an angle, both to be determined. Our equation may now be expressed thus.

$$r\; (\backslash cos.\; \backslash phi\; \backslash cos.\; x\; +\; \backslash sin.\; \backslash phi\; \backslash sin.\; x)\; =\; P;$$

$$\backslash text\{hence\; \}\; r\; \backslash cos.\; (x\; -\; \backslash phi)\; =\; P,\; \backslash quad\; \backslash text\{and\; \}\; \backslash cos.\; (x\; -\; \backslash phi)\; =\; \backslash frac\{P\}\{r\}.$$

$$\backslash text\{Now\; \}\; \backslash tan.\; \backslash phi\; =\; \backslash frac\{r\; \backslash sin.\; \backslash phi\}\{r\; \backslash cos.\; \backslash phi\}\; =\; \backslash frac\{N\}\{M\}\; \backslash dots\; \backslash dots\; \backslash dots\; (1)$$

$$\backslash text\{and\; \}\; r\; =\; \backslash frac\{M\}\{\backslash cos.\; \backslash phi\}\; =\; \backslash frac\{N\}\{\backslash sin.\; \backslash phi\}.$$

$$\backslash text\{Therefore\; \}\; \backslash cos.\; (x\; -\; \backslash phi)\; =\; \backslash frac\{P\}\{M\}\; \backslash cos.\; \backslash phi\; =\; \backslash frac\{P\}\{N\}\; \backslash sin.\; \backslash phi\; \backslash dots\; \backslash dots\; (2)$$

The angle $\backslash phi$ is determined by the first equation, and the angle $(x\; -\; \backslash phi)$ by the second; therefore $x\; =\; (x\; -\; \backslash phi)\; +\; \backslash phi$ is found.

If we assume $M\; =\; r\; \backslash sin.\; \backslash phi$, and $N\; =\; r\; \backslash cos.\; \backslash phi$, we have

$$r\; (\backslash sin.\; \backslash phi\; \backslash cos.\; x\; +\; \backslash cos.\; \backslash phi\; \backslash sin.\; x)\; =\; P,$$

$$\backslash text\{and\; \}\; r\; \backslash sin.\; (x\; +\; \backslash phi)\; =\; P;$$

$$\backslash text\{then\; \}\; \backslash cot.\; \backslash phi\; =\; \backslash frac\{N\}\{M\}\; \backslash dots\; \backslash dots\; \backslash dots\; (1)$$

$$\backslash text\{and\; \}\; \backslash sin.\; (x\; +\; \backslash phi)\; =\; \backslash frac\{P\}\{M\}\; \backslash sin.\; \backslash phi\; =\; \backslash frac\{P\}\{N\}\; \backslash cos.\; \backslash phi\; \backslash dots\; \backslash dots\; (2)$$

Thus $\backslash phi$ and $x\; =\; (x\; +\; \backslash phi)\; -\; \backslash phi$ are both determined.

The assumptions $\backslash tan.\; \backslash phi$ or $\backslash cot.\; \backslash phi$ are evidently always possible, since an arc $\backslash phi$ may be found whose tangent or cotangent shall have any real value whatever.

Fig. 9.

Fig. 10.

25. There are six cases of oblique-angled triangles, which may be resolved by the formulae which have been investigated; but in some cases they will be modified so as to adapt them to logarithmic calculation.

CASE I. Given the three sides $a,\; b,\; c$, to find the angles $B,\; C$.

SOLUTION. Find $s\; =\; \backslash frac\{1\}\{2\}(a\; +\; b\; +\; c)$, and $M\; =\; \backslash sqrt\{\backslash frac\{\backslash sin(s-a)\backslash sin(s-b)\backslash sin(s-c)\}\{\backslash sin\; s\}\}$; then

$$\backslash tan\; \backslash frac\{1\}\{2\}A\; =\; \backslash frac\{M\}\{\backslash sin(s-a)\},\; \backslash quad\; \backslash tan\; \backslash frac\{1\}\{2\}B\; =\; \backslash frac\{M\}\{\backslash sin(s-b)\},$$

$$\backslash tan\; \backslash frac\{1\}\{2\}C\; =\; \backslash frac\{M\}\{\backslash sin(s-c)\}.$$

This solution has been found in article 18.

CASE II. Given two sides $a$ and $b$, and the angle $A$ opposite.

(1.) The angle $B$ may be found from formula II. thus:

$$\backslash sin\; B\; =\; \backslash frac\{\backslash sin\; A\; \backslash sin\; b\}\{\backslash sin\; a\}.$$

The affection of $B$ is ambiguous, unless it can be determined by the rule $A\; +\; B$ is greater or less than $180^\backslash circ$, according as $a\; +\; b$ is greater or less than $180^\backslash circ$ (art. 23).

(2.) The side $c$ is to be found from this equation:

$$[\backslash cos\; b]\; \backslash cos\; c\; +\; [\backslash sin\; b\; \backslash cos\; A]\; \backslash sin\; c\; =\; \backslash cos\; a.$$

Comparing this with the equation of art. 24, viz. $M\; \backslash cos\; x\; -\; N\; \backslash sin\; x\; =\; P$, we have

$$M\; =\; \backslash cos\; b,\; \backslash quad\; N\; =\; \backslash sin\; b\; \backslash cos\; A,\; \backslash quad\; P\; =\; \backslash cos\; a;$$

and following the analysis by which the angle $x$ has been determined, we find that if

$$\backslash tan\; \backslash varphi\; =\; \backslash tan\; b\; \backslash cos\; A,$$

$$\backslash text\{then\; \}\; \backslash cos(c\; -\; \backslash varphi)\; =\; \backslash frac\{\backslash cos\; a\; \backslash cos\; \backslash varphi\}\{\backslash cos\; b\}\; =\; \backslash frac\{\backslash cos\; a\; \backslash sin\; \backslash varphi\}\{\backslash sin\; b\; \backslash cos\; A\}.$$

The first value of $\backslash cos(c\; -\; \backslash varphi)$ being the more simple, is to be used. The arcs $c\; -\; \backslash varphi$ and $\backslash varphi$ being now both known, $c$ is known.

3. To find the angle $C$, we have, from formula III.,

$$[\backslash cos\; b]\; \backslash cos\; C\; +\; [\backslash cot\; A]\; \backslash sin\; C\; =\; \backslash cot\; a\; \backslash sin\; b.$$

Here, referring to article 24, we have $M\; =\; \backslash cos\; b$, $N\; =\; \backslash cot\; a$, $P\; =\; \backslash cot\; a\; \backslash sin\; b$; therefore, assuming

$$\backslash tan\; \backslash varphi\; =\; \backslash frac\{\backslash cot\; a\}\{\backslash cos\; b\},$$

$$\backslash cos(C\; -\; \backslash varphi)\; =\; \backslash cot\; a\; \backslash tan\; b\; \backslash cos\; \backslash varphi\; =\; \backslash frac\{\backslash cot\; a\; \backslash sin\; b\; \backslash sin\; \backslash varphi\}\{\backslash cot\; A\}.$$

From either of these formulae the angle $C$ is determined.

CASE III. Given the sides $a,\; b$, with the included angle $C$ to find the angles $A,\; B$, and side $c$.

(1.) The angles $A,\; B$, may be found from two of Napier's analogies in article 22. Thus we have

$$\backslash tan\; \backslash frac\{1\}\{2\}(A\; +\; B)\; =\; \backslash cot\; \backslash frac\{1\}\{2\}C\; \backslash cdot\; \backslash frac\{\backslash cos\; \backslash frac\{1\}\{2\}(a\; -\; b)\}\{\backslash cos\; \backslash frac\{1\}\{2\}(a\; +\; b)\},$$

$$\backslash tan\; \backslash frac\{1\}\{2\}(A\; -\; B)\; =\; \backslash cot\; \backslash frac\{1\}\{2\}C\; \backslash cdot\; \backslash frac\{\backslash sin\; \backslash frac\{1\}\{2\}(a\; -\; b)\}\{\backslash sin\; \backslash frac\{1\}\{2\}(a\; +\; b)\}.$$

Having now half the sum and half the difference of the angles $A$ and $B$, each may be found by a known process. They may be otherwise found, by subsidiary angles, in formula I.

(2.) The side $c$ is to be found from the equation

$$[\backslash cos\; a]\; \backslash cos\; b\; +\; [\backslash sin\; a\; \backslash cos\; C]\; \backslash sin\; b\; =\; \backslash cos\; c.$$

Here we have $M\; =\; \backslash cos\; a$, $N\; =\; \backslash sin\; a\; \backslash cos\; C$, $P\; =\; \backslash cos\; c$; we therefore make $\backslash tan\; \backslash varphi\; =\; \backslash tan\; a\; \backslash cos\; C$.

$$\backslash text\{Then\; \}\; \backslash cos(b\; -\; \backslash varphi)\; =\; \backslash frac\{\backslash cos\; a\; \backslash cos\; \backslash varphi\}\{\backslash cos\; a\};$$

$$\backslash text\{and\; hence\; \}\; \backslash cos\; c\; =\; \backslash frac\{\backslash cos\; a\; \backslash cos(b\; -\; \backslash varphi)\}\{\backslash cos\; \backslash varphi\}.$$

CASE IV. Two angles $A$ and $B$, and $c$ the side between them, are given, to find the sides $a,\; b$, and angle $C$.

(1.) The sides $a,\; b$ may be found from Napier's formulae, article 22, thus,

$$\backslash tan\; \backslash frac\{1\}\{2\}(a\; +\; b)\; =\; \backslash tan\; \backslash frac\{1\}\{2\}c\; \backslash cdot\; \backslash frac\{\backslash cos\; \backslash frac\{1\}\{2\}(A\; -\; B)\}\{\backslash cos\; \backslash frac\{1\}\{2\}(A\; +\; B)\},$$

$$\backslash tan\; \backslash frac\{1\}\{2\}(a\; -\; b)\; =\; \backslash tan\; \backslash frac\{1\}\{2\}c\; \backslash cdot\; \backslash frac\{\backslash sin\; \backslash frac\{1\}\{2\}(A\; -\; B)\}\{\backslash sin\; \backslash frac\{1\}\{2\}(A\; +\; B)\}.$$

Half the sum and half the difference of the sides $a,\; b$ being found, each is thereby determined.

(2.) The angle $C$ is found from the formula $[\backslash sin\; A\; \backslash cos\; c]\; \backslash sin\; B\; -\; [\backslash cos\; A]\; \backslash cos\; B\; =\; \backslash cos\; C$. Here $M\; =\; \backslash sin\; A\; \backslash cos\; c$, $N\; =\; \backslash cos\; A$, $P\; =\; \backslash cos\; C$. We now assume

$$\backslash cot\; \backslash varphi\; =\; \backslash tan\; A\; \backslash cos\; c.$$

$$\backslash text\{Then\; \}\; \backslash sin(B\; -\; \backslash varphi)\; =\; \backslash frac\{\backslash cos\; C\; \backslash sin\; \backslash varphi\}\{\backslash cos\; A\},$$

$$\backslash text\{and\; \}\; \backslash cos\; C\; =\; \backslash frac\{\backslash cos\; A\; \backslash sin(B\; -\; \backslash varphi)\}\{\backslash sin\; \backslash varphi\}.$$

CASE V. Two angles $A,\; B$ and a side $a$ opposite to one of them, are given, to find the sides $b,\; c$, and the angle $C$.

(1.) The side $b$ is found by this formula:

$$\backslash sin\; b\; =\; \backslash frac\{\backslash sin\; a\; \backslash sin\; B\}\{\backslash sin\; A\}.$$

(2.) The side $c$ is found by this formula:

$$[\backslash cot\; a]\; \backslash sin\; c\; -\; [\backslash cos\; B]\; \backslash cos\; c\; =\; \backslash cot\; A\; \backslash sin\; B.$$

Here $M\; =\; \backslash cot\; a$, $N\; =\; \backslash cos\; B$, $P\; =\; \backslash cot\; A\; \backslash sin\; B$; we therefore assume

$$\backslash cot\; \backslash varphi\; =\; \backslash frac\{\backslash cot\; a\}\{\backslash cos\; B\}$$

and have $\backslash sin(c\; -\; \backslash varphi)\; =\; \backslash cot\; A\; \backslash tan\; B\; \backslash sin\; \backslash varphi$.

(3.) The angle $C$ is found from the formula

$$[\backslash sin\; B\; \backslash cos\; a]\; \backslash sin\; C\; -\; [\backslash cos\; B]\; \backslash cos\; C\; =\; \backslash cos\; A.$$

Here $M\; =\; \backslash sin\; B\; \backslash cos\; a$, $N\; =\; \backslash cos\; B$, $P\; =\; \backslash cos\; A$.

$$\backslash text\{We\; assume\; \}\; \backslash cot\; \backslash varphi\; =\; \backslash tan\; B\; \backslash cos\; a.$$

$$\backslash text\{Then\; \}\; \backslash sin(c\; -\; \backslash varphi)\; =\; \backslash frac\{\backslash cos\; A\; \backslash sin\; \backslash varphi\}\{\backslash cos\; B\}.$$

CASE VI. Given the three angles $A,\; B,\; C$, to find the sides $a,\; b,\; c$.

The solution of this case has been found in art. 19.

$$\backslash text\{Find\; \}\; S\; =\; \backslash frac\{1\}\{2\}(A\; +\; B\; +\; C),$$ $$\backslash text\{and\; \}\; M\text{'}\; =\; \backslash sqrt\{\backslash frac\{\backslash cos(S-A)\backslash cos(S-B)\backslash cos(S-C)\}\{\backslash cos\; S\}\}.$$

$$\backslash text\{Then\; \}\; \backslash cot\; \backslash frac\{1\}\{2\}a\; =\; \backslash frac\{M\text{'}\}\{\backslash cos(S-A)\},\; \backslash quad\; \backslash cot\; \backslash frac\{1\}\{2\}b\; =\; \backslash frac\{M\text{'}\}\{\backslash cos(S-B)\},$$

$$\backslash cot\; \backslash frac\{1\}\{2\}c\; =\; \backslash frac\{M\text{'}\}\{\backslash cos(S-C)\}.$$

These formulae are altogether analogous to those by which the angles are found from the sides. This case rarely occurs in the application of spherics to astronomy.

The analytical artifice of subsidiary angles, by which the formulae are adapted to logarithmic calculation, corresponds to the resolving of an oblique spherical triangle into two right-angled triangles, by an arc of a great circle drawn from its vertex perpendicular to its base.

For the application of spherical trigonometry, see PRACTICAL ASTRONOMY, chap. i. (vol. iv. page 63).

The treatises on trigonometry are innumerable. The most considerable is that of Cagnoli, in Italian, of which there is a French translation. On the history of trigonometry, and the progress of its improvement, the reader will find the most ample information in Delambre, Histoire de l'Astronomie Ancienne, Histoire de l'Astronomie du Moyen Age, and Histoire de l'Astronomie Moderne. See also his Astronomie Théorique et Pratique, vol. i. chap. 10.