The Proofs of the Law of Tangents

Total Page:16

File Type:pdf, Size:1020Kb

The Proofs of the Law of Tangents 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 ab tan (aP) _ 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(180a), cos a = cos (180a). 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 arb = AD Z BDA == i (a+^) a+b==AE ZDBF==i (a/?) 6^ ZABE=903Ka/?) 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 (ajQ) / BE DF 3^ _DF _ tan^(a-4-/3) ~~DS/J)B=~B:Ef , DF ab and - -BE^-a+b' because of similar triangles. On the other hand, apply the law of sines to the triangles ABD and ABE: ab sin [90-4 sin^(a/3), a+b _ (a]3)] ' c sin-^- (a+/3) sin ^y ab 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 ab = Z DAC === -| (<x+/3) BAE = 90+i (a/3) a+b == BE Z BAD == (a-/?) ^ p^ _ ^==90-4(a4-/3) Z DAE == rt. Z = Z ADF.^ ^ As before, there are several wa,ys to establish these facts, whence come differences in proofs. If AB cuts the semicircle at G, the central angle GCB is a useful auxiliary. The final steps in the proof may proceed either by using right triangles ADF and ADE to write tan^(a/3) and tan ^4-^ or by applying the law of sines to the triangles ABD and ABE. 3. (1). To the bisector of 7 drop perpendiculars AD and BE (Figure 3). Draw AH parallel to the bisector and cutting BE at H. Let 6 = Z ABH. Then 0+P+iy=^ - =^+^+17. ..^=^(a/3). , , AH ECDC (a&)cosiy tani (a-/3) ===-HB-===BE+AD==(a+^) sin^y .'. tani (a^) ^- cotiy^tan^ (a+/3). n^3. n<?.4. This proof is essentially the same as given in Hall and Frink, Trigonometry, p. 54, and Wilczynski, Plane Trigonometry, p. 105, Ex. 2. (2). The following proof, suggested by the foregoing, I have not found in print. Bisect the exterior angle of y by FCD on which the perpen- THE LAW OP TANGENTS 801 diculars AF and BD are dropped (Figure 4). Draw AG parallel to DF cutting BD at G. Now ZDCA==4(a+/3), /GAB=a--4(<x4-/3) ===^(af3), tan^a-^ __BG_BD-AF _(a-b) sin^^). 2V / GA DC+CF (a+&) cos -K^) tanK0^) ^^.^^tanKM-^).' (3). Draw the circumscribed circle to the triangle (Figure 5) and let the bisector of y cut the circle at D. Draw DA, DB, and DF and DL perpendicular to CB and AB, respectively. On CB take CE == CA. Then DE = DA =- DB, and A,.. .^/3) FIQ.S. FB === (ab) / FDiB === (<x(3) FC=^(a+b)^ /CDF===90iy^(a+^).^ FB CF FB ^-b tani(a=^) - / - ^nereloreTherefore tani(a+^)-^F7'^F -~CF -a4^ This ng-ure is of importance in that it is all ready to give the proofs of the formulas a+b cos (a^) a^ sin^(aj8), c sin^ -^y c sin ^y o-)-& == 4R cos ^(^P) cos ^y, a& === 4R sin (a/3) sin -|y, where R is the radius of the circumscribed^ circle. By using one of these direct proofs and the well-known direct proof for the formulas for the tangents of the half angles, the logarithmic solution of oblique triangles may be treated before passing on to the generalizations of analytic trigonometry..
Recommended publications
  • Trigonometry Cram Sheet
    Trigonometry Cram Sheet August 3, 2016 Contents 6.2 Identities . 8 1 Definition 2 7 Relationships Between Sides and Angles 9 1.1 Extensions to Angles > 90◦ . 2 7.1 Law of Sines . 9 1.2 The Unit Circle . 2 7.2 Law of Cosines . 9 1.3 Degrees and Radians . 2 7.3 Law of Tangents . 9 1.4 Signs and Variations . 2 7.4 Law of Cotangents . 9 7.5 Mollweide’s Formula . 9 2 Properties and General Forms 3 7.6 Stewart’s Theorem . 9 2.1 Properties . 3 7.7 Angles in Terms of Sides . 9 2.1.1 sin x ................... 3 2.1.2 cos x ................... 3 8 Solving Triangles 10 2.1.3 tan x ................... 3 8.1 AAS/ASA Triangle . 10 2.1.4 csc x ................... 3 8.2 SAS Triangle . 10 2.1.5 sec x ................... 3 8.3 SSS Triangle . 10 2.1.6 cot x ................... 3 8.4 SSA Triangle . 11 2.2 General Forms of Trigonometric Functions . 3 8.5 Right Triangle . 11 3 Identities 4 9 Polar Coordinates 11 3.1 Basic Identities . 4 9.1 Properties . 11 3.2 Sum and Difference . 4 9.2 Coordinate Transformation . 11 3.3 Double Angle . 4 3.4 Half Angle . 4 10 Special Polar Graphs 11 3.5 Multiple Angle . 4 10.1 Limaçon of Pascal . 12 3.6 Power Reduction . 5 10.2 Rose . 13 3.7 Product to Sum . 5 10.3 Spiral of Archimedes . 13 3.8 Sum to Product . 5 10.4 Lemniscate of Bernoulli . 13 3.9 Linear Combinations .
    [Show full text]
  • Chapter 6 Additional Topics in Trigonometry
    1111572836_0600.qxd 9/29/10 1:43 PM Page 403 Additional Topics 6 in Trigonometry 6.1 Law of Sines 6.2 Law of Cosines 6.3 Vectors in the Plane 6.4 Vectors and Dot Products 6.5 Trigonometric Form of a Complex Number Section 6.3, Example 10 Direction of an Airplane Andresr 2010/used under license from Shutterstock.com 403 Copyright 2011 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s). Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it. 1111572836_0601.qxd 10/12/10 4:10 PM Page 404 404 Chapter 6 Additional Topics in Trigonometry 6.1 Law of Sines Introduction What you should learn ● Use the Law of Sines to solve In Chapter 4, you looked at techniques for solving right triangles. In this section and the oblique triangles (AAS or ASA). next, you will solve oblique triangles—triangles that have no right angles. As standard ● Use the Law of Sines to solve notation, the angles of a triangle are labeled oblique triangles (SSA). A, , and CB ● Find areas of oblique triangles and use the Law of Sines to and their opposite sides are labeled model and solve real-life a, , and cb problems. as shown in Figure 6.1. Why you should learn it You can use the Law of Sines to solve C real-life problems involving oblique triangles.
    [Show full text]
  • Trigonometry in the AIME and USA(J)MO
    AIME/USA(J)MO Handout Trigonometry in the AIME and USA(J)MO Authors: For: naman12 AoPS freeman66 Date: May 26, 2020 A K M N X Q O BC D E Y L Yet another beauty by Evan. Yes, you can solve this with trigonometry. \I was trying to unravel the complicated trigonometry of the radical thought that silence could make up the greatest lie ever told." - Pat Conroy naman12 and freeman66 (May 26, 2020) Trigonometry in the AIME and the USA(J)MO Contents 0 Acknowledgements 3 1 Introduction 4 1.1 Motivation and Goals ........................................... 4 1.2 Contact................................................... 4 2 Basic Trigonometry 5 2.1 Trigonometry on the Unit Circle ..................................... 5 2.2 Definitions of Trigonometric Functions.................................. 6 2.3 Radian Measure .............................................. 8 2.4 Properties of Trigonometric Functions.................................. 8 2.5 Graphs of Trigonometric Functions.................................... 11 2.5.1 Graph of sin(x) and cos(x)..................................... 11 2.5.2 Graph of tan(x) and cot(x)..................................... 12 2.5.3 Graph of sec(x) and csc(x)..................................... 12 2.5.4 Notes on Graphing.......................................... 13 2.6 Bounding Sine and Cosine......................................... 14 2.7 Periodicity ................................................. 14 2.8 Trigonometric Identities.......................................... 15 3 Applications to Complex Numbers 22
    [Show full text]
  • 1970-2020 TOPIC INDEX for the College Mathematics Journal (Including the Two Year College Mathematics Journal)
    1970-2020 TOPIC INDEX for The College Mathematics Journal (including the Two Year College Mathematics Journal) prepared by Donald E. Hooley Emeriti Professor of Mathematics Bluffton University, Bluffton, Ohio Each item in this index is listed under the topics for which it might be used in the classroom or for enrichment after the topic has been presented. Within each topic entries are listed in chronological order of publication. Each entry is given in the form: Title, author, volume:issue, year, page range, [C or F], [other topic cross-listings] where C indicates a classroom capsule or short note and F indicates a Fallacies, Flaws and Flimflam note. If there is nothing in this position the entry refers to an article unless it is a book review. The topic headings in this index are numbered and grouped as follows: 0 Precalculus Mathematics (also see 9) 0.1 Arithmetic (also see 9.3) 0.2 Algebra 0.3 Synthetic geometry 0.4 Analytic geometry 0.5 Conic sections 0.6 Trigonometry (also see 5.3) 0.7 Elementary theory of equations 0.8 Business mathematics 0.9 Techniques of proof (including mathematical induction 0.10 Software for precalculus mathematics 1 Mathematics Education 1.1 Teaching techniques and research reports 1.2 Courses and programs 2 History of Mathematics 2.1 History of mathematics before 1400 2.2 History of mathematics after 1400 2.3 Interviews 3 Discrete Mathematics 3.1 Graph theory 3.2 Combinatorics 3.3 Other topics in discrete mathematics (also see 6.3) 3.4 Software for discrete mathematics 4 Linear Algebra 4.1 Matrices, systems
    [Show full text]
  • Trigonometry and Providing Experience with Its Methods and Applications in Order to Prepare Students for Study of Higher Mathematics
    Seymour Public Schools Curriculum The Mathematics Department believes its students must learn the importance of mathematics, the integration of different branches of mathematics, the application of math to real-life problems, and the connections between mathematics and other disciplines. This course is concerned with developing the students’ understanding of the concepts of trigonometry and providing experience with its methods and applications in order to prepare students for study of higher mathematics. In this unit, relations, functions, and the distance formula are discussed and related to graphs in the coordinate plane. A smooth transition is thus provided for defining the six trigonometric functions using the concept of rotation around the unit circle. Trigonometric functions of special angles as well as evaluating trigonometric functions using a calculator are presented. A number of application problems are introduced and solved throughout the unit. Grade: 11-12 Trigonometry Trigonometric Functions Common Core F-IF Interpreting Functions Standards F-TF Trigonometric Functions G-SRT Similarity, Right Triangles, and Trigonometry G-C Circles Enduring Trigonometric functions can be expressed as a ratio of the sides of a right triangle. Understanding The values of trigonometric functions exhibit periodic behavior. Essential What is the relationship between angles and sides of a triangle? Questions How can trigonometric values of an angle be evaluated? Content Understand the concept of a function and use function notation Standards: F-IF-1 Understand that a function from one set (called the domain) to another set (called the range) assigns to each element of the domain exactly one element of the range. If f is a function and x is an element of its domain, then f(x) denotes the output of f corresponding to the Subject or course name 1 Seymour Public Schools Curriculum input x.
    [Show full text]
  • Trigonometry Cheat Sheet
    Trigonometry Formulas and Properties Reciprocal Identities: Tangent and Cotangent Identities: sin cos 1 1 tan = cot = sin = csc = cos sin csc sin 1 1 cos = sec = sec cos Pythagorean Identities: sin + cos = 1 1 1 tan = cot = tan2 + 1 =2sec cot tan 2 2 1 + cot = csc 2 2 Even/Odd Formulas: Cofunction Formulas: sin( ) = sin cos( ) = cos tan( ) = tan sin = cos csc = sec tan = cot 2 2 2 csc(−) = − csc sec(−) = sec cot(−) = − cot cos� − � = sin sec� − � = csc cot � − � = tan 2 2 2 − − − − − � − � � − � � − � Product to Sum Formulas: Sum to Product Formulas: 1 + sin sin = [cos( ) cos( + )] sin + sin = 2 sin cos 2 2 2 1 + − cos cos = [cos( − )−+ cos( + )] sin sin = 2 cos� � sin � � 2 2 2 1 + − sin cos = [sin( +− ) + sin( )] cos +−cos = 2 cos� � cos� � 2 2 2 1 + − cos sin = [sin( + ) sin( − )] � � � � 2 cos cos = 2 sin sin 2 2 − − − − − � � � � Sum and Difference Formulas: Half-Angle Formulas: Double Angle Formulas: ( ) sin( ± ) = sin cos ± sin cos 1 cos sin 2 = 2 sin cos sin = ± 2 2 cos( ± ) = cos cos sin sin − � � � cos(2 ) = cos sin tan ± tan 1 + cos tan( ± ) = ∓ cos = ± 2 2 1 tan tan 2 2 = 2 cos 1− 2 � = 1 2 sin ∓ � � − Periodic Formulas: 1 cos 2 tan = ± − sin( + 2 ) = sin csc( + 2 ) = csc 2 1 + cos 2tan − tan 2 = � � � 1 tan cos( + 2) = cos sec( + 2) = sec 2 − tan( + ) = tan cot( + ) = cot Updated: October 2019 Trigonometric Functions: Right Triangle: Unit Circle: y hypotenuse ( , ) opposite r x θ adjacent opposite hypotnuse sin = csc
    [Show full text]
  • Earth-Satellite Geometry
    EARTH-REFERENCED AIRCRAFT NAVIGATION AND SURVEILLANCE ANALYSIS Michael Geyer S π/2 - α - θ d h α N U Re Re θ O Michael Geyer Frederick de Wit Navigation Vertical Plane Model Peter Mercator Federico Rostagno Spherical Surface Model Surveillance Project Memorandum — June 2016 DOT-VNTSC-FAA-16-12 Prepared for: Federal Aviation Administration Wake Turbulence Research Office DOT Volpe Center FOREWORD This document addresses a basic function of aircraft (and other vehicle) surveillance and navi- gation systems analyses — quantifying the geometric relationship of two or more locations relative to each other and to the earth. Here, geometry means distances and angles, including their projections in a defined coordinate frame. Applications that fit well with these methods include (a) planning a vehicle’s route; (b) determining the coverage region of a radar or radio installation; and (c) calculating a vehicle’s latitude and longitude from measurements (e.g., of slant- and spherical-ranges or range differences, azimuth and elevation angles, and altitudes). The approach advocated is that the three-dimensional problems inherent in navigation/surveil- lance analyses should, to the extent possible, be re-cast as a sequence of sub-problems: . Vertical-Plane Formulation (two-dimensional (2D) problem illustrated in top right panel on cover) — Considers the vertical plane containing two problem-specific locations and the center of a spherical earth, and utilizes plane trigonometry as the primary analysis method. This formulation provides closed-form solutions. Spherical-Surface Formulation (2D problem illustrated in bottom left panel on cover) — Considers two or three problem-specific locations on the surface of a spherical earth; utilizes spherical trigonometry as the primary analysis method.
    [Show full text]
  • Chapter 8 Families of Functions
    Chapter 8 Families of Functions One very important area of real analysis is the study of the properties of real valued functions. We introduced the general properties of functions earlier in Chapter 6. In this chapter we want to look at specific functions and families of functions to see what properties really belong to the area of analysis separate from algebra or topology. We will take on the functions in a somewhat orderly manner. 8.1 Polynomials The polynomials in the study of functions play a similar role to the integers in our study of numbers. They are our basic building blocks. Likewise, when we really start looking at the family of polynomials most of the questions we have are really algebraic in nature and not analytic, just like the study of integers. In general a polynomial is an expression in which a finite number of constants and variables are combined using only addition, subtraction, multiplication, and non- negative whole number exponents (raising to a power). A polynomial function is a function defined by evaluating a polynomial. For example, the function f defined by f(x)= x3 x is a polynomial function. Polynomial functions are an important class of smooth −functions — smooth meaning that they are infinitely differentiable, i.e., they have derivatives of all finite orders. Because of their simple structure, polynomials are easy to evaluate, and are used extensively in numerical analysis for polynomial interpolation or to numerically inte- grate more complex functions. Computationally, they require only multiplication and addition. Any division is division of coefficients and subtraction is just the addition of the additive inverse.
    [Show full text]
  • Notes from Trigonometry
    Notes from Trigonometry Steven Butler c 2001 - 2003 Contents DISCLAIMER vii Preface viii 1 The usefulness of mathematics 1 1.1 What can I learn from math? . 1 1.2 Problem solving techniques . 2 1.3 The ultimate in problem solving . 3 1.4 Take a break . 3 2 Geometric foundations 5 2.1 What’s special about triangles? . 5 2.2 Some definitions on angles . 6 2.3 Symbols in mathematics . 7 2.4 Isoceles triangles . 8 2.5 Right triangles . 8 2.6 Angle sum in triangles . 9 2.7 Supplemental problems . 10 3 The Pythagorean theorem 14 3.1 The Pythagorean theorem . 14 3.2 The Pythagorean theorem and dissection . 15 3.3 Scaling . 16 3.4 The Pythagorean theorem and scaling . 18 3.5 Cavalieri’s principle . 19 3.6 The Pythagorean theorem and Cavalieri’s principle . 20 3.7 The beginning of measurement . 20 3.8 Supplemental problems . 21 i CONTENTS ii 4 Angle measurement 24 4.1 The wonderful world of π ........................ 24 4.2 Circumference and area of a circle . 25 4.3 Gradians and degrees . 25 4.4 Minutes and seconds . 27 4.5 Radian measurement . 28 4.6 Converting between radians and degrees . 28 4.7 Wonderful world of radians . 29 4.8 Supplemental problems . 30 5 Trigonometry with right triangles 32 5.1 The trigonometric functions . 32 5.2 Using the trigonometric functions . 34 5.3 Basic Identities . 35 5.4 The Pythagorean identities . 35 5.5 Trigonometric functions with some familiar triangles . 36 5.6 A word of warning .
    [Show full text]
  • A History of Trigonometry Education in the United States: 1776-1900
    A History of Trigonometry Education in the United States: 1776-1900 Jenna Van Sickle Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy under the Executive Committee of the Graduate School of Arts and Sciences COLUMBIA UNIVERSITY 2011 ©2011 Jenna Van Sickle All Rights Reserved ABSTRACT A History of Trigonometry Education in the United States: 1776-1900 Jenna Van Sickle This dissertation traces the history of the teaching of elementary trigonometry in United States colleges and universities from 1776 to 1900. This study analyzes textbooks from the eighteenth and nineteenth centuries, reviews in contemporary periodicals, course catalogs, and secondary sources. Elementary trigonometry was a topic of study in colleges throughout this time period, but the way in which trigonometry was taught and defined changed drastically, as did the scope and focus of the subject. Because of advances in analytic trigonometry by Leonhard Euler and others in the seventeenth and eighteenth centuries, the trigonometric functions came to be defined as ratios, rather than as line segments. This change came to elementary trigonometry textbooks beginning in antebellum America and the ratios came to define trigonometric functions in elementary trigonometry textbooks by the end of the nineteenth century. During this time period, elementary trigonometry textbooks grew to have a much more comprehensive treatment of the subject and considered trigonometric functions in many different ways. In the late eighteenth century, trigonometry was taught as a topic in a larger mathematics course and was used only to solve triangles for applications in surveying and navigation. Textbooks contained few pedagogical tools and only the most basic of trigonometric formulas.
    [Show full text]
  • Trigonometric Functions of Angles
    Trigonometric Functions of Angles Source: D.Lippman, M.Rasmussen (2012) Precalculus: An Investigation of Functions (Edition 1.3) Circles : The Pythagorean Theorem the sum of the squares of the legs of a right triangle will equal the square of the hypotenuse of the triangle. ퟐ ퟐ ퟐ 풂 + 풃 = 풄 Distance between two 풙ퟏ, 풚ퟏ 풂풏풅 풙ퟐ, 풚ퟐ 2 2 points 풅풊풔풕 = (푥2 − 푥1) + (푦2 − 푦1) Radius Equation 풓 = (풙 − 풉)ퟐ + (풚 − 풌)ퟐ Circle Equation 풙 − 풉 ퟐ + 풚 − 풉 ퟐ = 풓ퟐ Angles: Measure of an angle is a measurement between two intersecting lines A degree is a measurement of angle. Coterminal Angles After completing their full rotation based on the given angle, two angles are coterminal if they terminate in the same position Arclength Arclength is the length of an arc, s, along a circle of radius r subtended (drawn out) by an angle 휃 Arclength on a Circle The length of an arc, s, along a circle of radius r subtended by angle θ in radians is 푠 = 푟휃 Area of a Sector of a circle with radius r subtended by an angle θ , measured in radians, is 1 2 = 휃푟 2 Radians The radian measure of an angle is the ratio of the length of the circular arc subtended by the angle to the radius of the circle. 푠 (푙푒푛푔푡푕 표푓 푎푛 푎푟푐) 푟푎푑푖푎푛 푚푒푎푠푢푟푒 = 푟 ( 푟푎푑푖푢푠) 휋 180 1 푑푒푔푟푒푒 = or 1 푟푎푑푖푎푛 = 180 휋 Angular velocity(ω) point moves along a circle of radius r, can be found as the angular rotation θ per unit time, t.
    [Show full text]
  • Spherical Trigonometry
    Spherical Trigonometry Rob Johnson West Hills Institute of Mathematics 1 Introduction The sides of a spherical triangle are arcs of great circles. A great circle is the intersection of a sphere with a central plane, a plane through the center of that sphere. The angles of a spherical triangle are measured in the plane tangent to the sphere at the intersection of the sides forming the angle. To avoid conflict with the antipodal triangle, the triangle formed by the same great circles on the opposite side of the sphere, the sides of a spherical triangle will be restricted between 0 and π radians. The angles will also be restricted between 0 and π radians, so that they remain interior. To derive the basic formulas pertaining to a spherical triangle, we use plane trigonometry on planes related to the spherical triangle. For example, planes tangent to the sphere at one of the vertices of the triangle, and central planes containing one side of the triangle. Unless specified otherwise, when projecting onto a plane tangent to the sphere, the projection will be from the center of the sphere. Since each side of a spherical triangle is contained in a central plane, the projection of each side onto a tangent plane is a line. We will also assume the radius of the sphere is 1. Thus, the length of an arc of a great circle, is its angle. Figure 1: Central Plane of a Unit Sphere Containing the Side α 1 One of the simplest theorems of Spherical Trigonometry to prove using plane trigonometry is The Spherical Law of Cosines.
    [Show full text]