798 SCHOOL SCIENCE AND MATHEMATICS THE PROOFS OF THE LAW OF TANGENTS. BY R. M. MATHEWS, " . Riverside, California. In the triangle ABC let a, /?, y be the angles at the respective vertices and a, b, c the sides opposite. The title "law of tangents" is used to denote the trigonometric formula a b tan (a P) _ 3^ a+b ~~ tan 0+/3) and each of those formed by cyclic^ permutation of the letters. The proofs of this theorem in American textbooks stand in decided contrast to those of the law of sines and law of cosines. The proofs of these are based .directly on the triangle and are such as to suggest the one needed extension in definition; when a is an obtuse angle. sin a,== sin(180 a), cos a = cos (180 a). These two definitions, be it observed, require no notion of co- ordinates or of quadrants. On the other hand, in ten of a group of twelve American texts, the only proof of the law of tangents is by algebraic manipulation from the law of sines and involv- ing the factor formulas for the sum and difference of two sines. The proofs of these two formulas, being based on the addition formulas, are invariably preceded by the definition of the func- tions for the general angle, reduction to the first quadrant, and proof of the regular list of trigonometric identities. Thus the attainment of a formula that applies to triangles only seems to depend on much formal development of general and analytic trigonometry. The law of tangents can be proved directly from a figure, however. Such proofs are contained in the other two of the dozen American books examined and in every one of four foreign texts that were at hand. Altogether there seemed to be eight different proofs but when reduced to uniform notation and draw- ings, it was discovered that there are three essentially different types according to the auxiliary lines. We may start at C as center and draw a circle with (1) a as radius, or (2) b as radius. Or we may start by bisecting y or its exterior angle. In the first two cases the object is to make {a--\-b) anc^ (a ^) an^ find i(a+/?) and ^(a /?). The procedures are parallel. In the other case we make i(a+^), as complement of ^7, and find the other quantities. In each of the following proofs we take ch>b. 1. With a radius a, a semicircle is described about C as center THE LAW OF TANGENTS 799 cutting & extended at D and E (Figure 1). Draw BE, BD, and then DP parallel to BE cutting BA at F. Now the essential facts are ar b = AD Z BDA == i (a+^) a+b==AE ZDBF==i (a /?) 6^ ZABE=90 3Ka /?) Z AEB = iy = 90 ^(a+^) ZEBD==rt. Z = ZBDF. These relations of the angles can be established in a variety of ways, as inspection of the figure will
show. . This constitutes one of the sources of variation in the proofs. We note that if BA cuts the circle again at G, the central angle GCD is a useful auxiliary. To use these relations there are two different procedures. First, in rt.A's DFB and BDE
tan (a jQ) / BE DF 3^ _DF _ tan^(a-4-/3) ~~DS/J)B=~B:Ef , DF a b and - -BE^-a+b' because of similar triangles. On the other hand, apply the law of sines to the triangles ABD and ABE:
a b sin [90-4 sin^(a /3), a+b _ (a ]3)] ' c sin-^- (a+/3) sin ^y a b sin (a /3) COS (a+/3) "~a+b Sin^(a^-j8)^ cOS^(a ^)^ whence the theorem. 2. With a radius b a semicircle is described about C as center cutting a at D and its extension at E. (Figure 2). Draw AE,
F*<5.^ 800SCHOOL SCIENCE AND MATHEMATICS
AD and then DF parallel to AE. Here the essential facts are: B,D a b = Z DAC === -| ( - =^+^+17. . .^=^(a /3). , , AH EC DC (a &)cosiy tani (a-/3) ===-HB-===BE+AD==(a+^) sin^y .'. tani (a ^) ^- cotiy ^tan^ (a+/3). n^3. n .^/3) FIQ.S. FB === (a b) / FDiB === (