Spherical area
   HOME

TheInfoList



OR:

Spherical trigonometry is the branch of spherical geometry that deals with the metrical relationships between the sides and
angle In Euclidean geometry, an angle is the figure formed by two rays, called the '' sides'' of the angle, sharing a common endpoint, called the '' vertex'' of the angle. Angles formed by two rays lie in the plane that contains the rays. Angles a ...
s of spherical triangles, traditionally expressed using
trigonometric function In mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in a ...
s. On the
sphere A sphere () is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. A sphere is the set of points that are all at the same distance from a given point in three-dimensional space.. That given point is th ...
,
geodesics In geometry, a geodesic () is a curve representing in some sense the shortest path ( arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. ...
are great circles. Spherical trigonometry is of great importance for calculations in
astronomy Astronomy () is a natural science that studies celestial objects and phenomena. It uses mathematics, physics, and chemistry in order to explain their origin and evolution. Objects of interest include planets, moons, stars, nebulae, g ...
, geodesy, and
navigation Navigation is a field of study that focuses on the process of monitoring and controlling the movement of a craft or vehicle from one place to another.Bowditch, 2003:799. The field of navigation includes four general categories: land navigation, ...
. The origins of spherical trigonometry in Greek mathematics and the major developments in Islamic mathematics are discussed fully in
History of trigonometry Early study of triangles can be traced to the 2nd millennium BC, in Egyptian mathematics (Rhind Mathematical Papyrus) and Babylonian mathematics. Trigonometry was also prevalent in Kushite mathematics. Systematic study of trigonometric functions be ...
and
Mathematics in medieval Islam Mathematics during the Golden Age of Islam, especially during the 9th and 10th centuries, was built on Greek mathematics (Euclid, Archimedes, Apollonius) and Indian mathematics ( Aryabhata, Brahmagupta). Important progress was made, such as ...
. The subject came to fruition in Early Modern times with important developments by
John Napier John Napier of Merchiston (; 1 February 1550 – 4 April 1617), nicknamed Marvellous Merchiston, was a Scottish landowner known as a mathematician, physicist, and astronomer. He was the 8th Laird of Merchiston. His Latinized name was Ioan ...
, Delambre and others, and attained an essentially complete form by the end of the nineteenth century with the publication of Todhunter's textbook ''Spherical trigonometry for the use of colleges and Schools''. Since then, significant developments have been the application of vector methods, quaternion methods, and the use of numerical methods.


Preliminaries


Spherical polygons

A spherical polygon is a ''
polygon In geometry, a polygon () is a plane figure that is described by a finite number of straight line segments connected to form a closed ''polygonal chain'' (or ''polygonal circuit''). The bounded plane region, the bounding circuit, or the two to ...
'' on the surface of the sphere. Its sides are arcs of great circles—the spherical geometry equivalent of line segments in
plane geometry Euclidean geometry is a mathematical system attributed to ancient Greek mathematician Euclid, which he described in his textbook on geometry: the '' Elements''. Euclid's approach consists in assuming a small set of intuitively appealing axioms ...
. Such polygons may have any number of sides greater than 1. Two-sided spherical polygons—''
lune Lune may refer to: Rivers *River Lune, in Lancashire and Cumbria, England *River Lune, Durham, in County Durham, England *Lune (Weser), a 43 km-long tributary of the Weser in Germany * Lune River (Tasmania), in south-eastern Tasmania, Australia P ...
s'', also called ''
digon In geometry, a digon is a polygon with two sides (edges) and two vertices. Its construction is degenerate in a Euclidean plane because either the two sides would coincide or one or both would have to be curved; however, it can be easily visu ...
s'' or ''bi-angles''—are bounded by two great-circle arcs: a familiar example is the curved outward-facing surface of a segment of an orange. Three arcs serve to define a spherical triangle, the principal subject of this article. Polygons with higher numbers of sides (4-sided spherical quadrilaterals, 5-sided spherical pentagons, etc.) are defined in similar manner. Analogously to their plane counterparts, spherical polygons with more than 3 sides can always be treated as the composition of spherical triangles. One spherical polygon with interesting properties is the
pentagramma mirificum Pentagramma mirificum (Latin for ''miraculous pentagram'') is a star polygon on a sphere, composed of five great circle arcs, all of whose internal angles are right angles. This shape was described by John Napier in his 1614 book '' Mirifici Lo ...
, a 5-sided spherical star polygon with a right angle at every vertex. From this point in the article, discussion will be restricted to spherical triangles, referred to simply as ''triangles''.


Notation

*Both vertices and angles at the vertices are denoted by the same upper case letters ''A'', ''B'', and ''C''. *The angles ''A'', ''B'', ''C'' of the triangle are equal to the angles between the planes that intersect the surface of the sphere or, equivalently, the angles between the tangent vectors of the great circle arcs where they meet at the vertices. Angles are in radians. The angles of ''proper'' spherical triangles are (by convention) less than so that  < ''A'' + ''B'' + ''C'' < 3. (Todhunter, Art.22,32). This is a strictly greater sum than the sum of the angles of normal triangles in Euclidean space, whose angles always sum to exactly radians. *The sides are denoted by lower-case letters ''a'', ''b'', and ''c''. On the unit sphere their lengths are numerically equal to the radian measure of the angles that the great circle arcs subtend at the centre. The sides of ''proper'' spherical triangles are (by convention) less than so that 0 < ''a'' + ''b'' + ''c'' < 2. (Todhunter, Art.22,32). *The radius of the sphere is taken as unity. For specific practical problems on a sphere of radius ''R'' the measured lengths of the sides must be divided by ''R'' before using the identities given below. Likewise, after a calculation on the unit sphere the sides ''a'', ''b'', ''c'' must be multiplied by ''R''.


Polar triangles

The polar triangle associated with a triangle ''ABC'' is defined as follows. Consider the great circle that contains the side ''BC''. This great circle is defined by the intersection of a diametral plane with the surface. Draw the normal to that plane at the centre: it intersects the surface at two points and the point that is on the same side of the plane as ''A'' is (conventionally) termed the pole of ''A'' and it is denoted by ''A''′. The points ''B''′ and ''C''′ are defined similarly. The triangle ''A′B′C''′ is the polar triangle corresponding to triangle ''ABC''. A very important theorem (Todhunter, Art.27) proves that the angles and sides of the polar triangle are given by : \begin A' &= \pi - a , &\qquad B' &= \pi - b , &\qquad C' &= \pi - c ,\\ a' &= \pi - A , & b' &= \pi - B , & c' &= \pi - C . \end Therefore, if any identity is proved for the triangle ABC then we can immediately derive a second identity by applying the first identity to the polar triangle by making the above substitutions. This is how the supplemental cosine equations are derived from the cosine equations. Similarly, the identities for a quadrantal triangle can be derived from those for a right-angled triangle. The polar triangle of a polar triangle is the original triangle.


Cosine rules and sine rules


Cosine rules

The cosine rule is the fundamental identity of spherical trigonometry: all other identities, including the sine rule, may be derived from the cosine rule: :\cos a= \cos b \cos c + \sin b \sin c \cos A, \! :\cos b= \cos c \cos a + \sin c \sin a \cos B, \! :\cos c= \cos a \cos b + \sin a \sin b \cos C, \! These identities generalize the cosine rule of plane
trigonometry Trigonometry () is a branch of mathematics that studies relationships between side lengths and angles of triangles. The field emerged in the Hellenistic world during the 3rd century BC from applications of geometry to astronomical studies ...
, to which they are asymptotically equivalent in the limit of small interior angles. (On the unit sphere, if a, b, c \rightarrow 0 set \sin a \approx a and (\cos a - \cos b)^2 \approx 0 etc.; see
Spherical law of cosines In spherical trigonometry, the law of cosines (also called the cosine rule for sides) is a theorem relating the sides and angles of spherical triangles, analogous to the ordinary law of cosines from plane trigonometry. Given a unit sphere, a "sph ...
.)


Sine rules

The spherical
law of sines In trigonometry, the law of sines, sine law, sine formula, or sine rule is an equation relating the lengths of the sides of any triangle to the sines of its angles. According to the law, \frac \,=\, \frac \,=\, \frac \,=\, 2R, where , and ar ...
is given by the formula :\frac=\frac=\frac. These identities approximate the sine rule of plane
trigonometry Trigonometry () is a branch of mathematics that studies relationships between side lengths and angles of triangles. The field emerged in the Hellenistic world during the 3rd century BC from applications of geometry to astronomical studies ...
when the sides are much smaller than the radius of the sphere.


Derivation of the cosine rule

The spherical cosine formulae were originally proved by elementary geometry and the planar cosine rule (Todhunter, Art.37). He also gives a derivation using simple coordinate geometry and the planar cosine rule (Art.60). The approach outlined here uses simpler vector methods. (These methods are also discussed at
Spherical law of cosines In spherical trigonometry, the law of cosines (also called the cosine rule for sides) is a theorem relating the sides and angles of spherical triangles, analogous to the ordinary law of cosines from plane trigonometry. Given a unit sphere, a "sph ...
.) Consider three unit vectors OA, OB and OC drawn from the origin to the vertices of the triangle (on the unit sphere). The arc BC subtends an angle of magnitude ''a'' at the centre and therefore OB·OC = cos ''a''. Introduce a Cartesian basis with OA along the ''z''-axis and OB in the ''xz''-plane making an angle ''c'' with the ''z''-axis. The vector OC projects to ON in the ''xy''-plane and the angle between ON and the ''x''-axis is ''A''. Therefore, the three vectors have components: :OA (0,\,0,\,1)    OB (\sin c,\,0,\,\cos c)    OC (\sin b\cos A,\,\sin b\sin A,\,\cos b). The scalar product OB·OC in terms of the components is : OB·OC =\sin c \sin b \cos A + \cos c \cos b. Equating the two expressions for the scalar product gives : \cos a = \cos b \cos c + \sin b \sin c \cos A. This equation can be re-arranged to give explicit expressions for the angle in terms of the sides: : \cos A = \frac. The other cosine rules are obtained by cyclic permutations.


Derivation of the sine rule

This derivation is given in Todhunter, (Art.40). From the identity \sin^2 A=1-\cos^2 A and the explicit expression for \cos A given immediately above : \begin \sin^2 A &=1-\left(\frac\right)^2\\ pt & =\frac \\ pt \frac&=\frac. \end Since the right hand side is invariant under a cyclic permutation of a,\;b,\;c the spherical sine rule follows immediately.


Alternative derivations

There are many ways of deriving the fundamental cosine and sine rules and the other rules developed in the following sections. For example, Todhunter gives two proofs of the cosine rule (Articles 37 and 60) and two proofs of the sine rule (Articles 40 and 42). The page on
Spherical law of cosines In spherical trigonometry, the law of cosines (also called the cosine rule for sides) is a theorem relating the sides and angles of spherical triangles, analogous to the ordinary law of cosines from plane trigonometry. Given a unit sphere, a "sph ...
gives four different proofs of the cosine rule. Text books on geodesy and spherical astronomy give different proofs and the online resources of MathWorld provide yet more. There are even more exotic derivations, such as that of Banerjee who derives the formulae using the linear algebra of projection matrices and also quotes methods in differential geometry and the group theory of rotations. The derivation of the cosine rule presented above has the merits of simplicity and directness and the derivation of the sine rule emphasises the fact that no separate proof is required other than the cosine rule. However, the above geometry may be used to give an independent proof of the sine rule. The
scalar triple product In geometry and algebra, the triple product is a product of three 3-dimensional vectors, usually Euclidean vectors. The name "triple product" is used for two different products, the scalar-valued scalar triple product and, less often, the vector- ...
, OA·(OB × OC) evaluates to \sin b \sin c \sin A in the basis shown. Similarly, in a basis oriented with the ''z''-axis along OB, the triple product OB·(OC × OA) evaluates to \sin c \sin a \sin B. Therefore, the invariance of the triple product under cyclic permutations gives \sin b \sin A = \sin a \sin B which is the first of the sine rules. See curved variations of the
law of sines In trigonometry, the law of sines, sine law, sine formula, or sine rule is an equation relating the lengths of the sides of any triangle to the sines of its angles. According to the law, \frac \,=\, \frac \,=\, \frac \,=\, 2R, where , and ar ...
to see details of this derivation.


Identities


Supplemental cosine rules

Applying the cosine rules to the polar triangle gives (Todhunter, Art.47), ''i.e.'' replacing ''A'' by  – ''a'',  ''a'' by  – ''A'' etc., :\begin \cos A &= -\cos B \, \cos C + \sin B \, \sin C \, \cos a, \\ \cos B &= -\cos C \, \cos A + \sin C \, \sin A \, \cos b ,\\ \cos C &= -\cos A \, \cos B + \sin A \, \sin B \, \cos c . \end


Cotangent four-part formulae

The six parts of a triangle may be written in cyclic order as (''aCbAcB''). The cotangent, or four-part, formulae relate two sides and two angles forming four ''consecutive'' parts around the triangle, for example (''aCbA'') or (''BaCb''). In such a set there are inner and outer parts: for example in the set (''BaCb'') the inner angle is ''C'', the inner side is ''a'', the outer angle is ''B'', the outer side is ''b''. The cotangent rule may be written as (Todhunter, Art.44) : \cos(\mathsf\ \mathsf) \cos(\mathsf\ \mathsf) = \cot(\mathsf\ \mathsf) \sin(\mathsf\ \mathsf) - \cot(\mathsf\ \mathsf) \sin(\mathsf\ \mathsf), and the six possible equations are (with the relevant set shown at right): : \begin \text\quad& \cos b\,\cos C=\cot a\,\sin b - \cot A \,\sin C ,\qquad&(aCbA)\\ ex\text& \cos b\,\cos A=\cot c\,\sin b - \cot C \,\sin A,&(CbAc)\\ ex\text& \cos c\,\cos A=\cot b\,\sin c - \cot B \,\sin A,&(bAcB)\\ ex\text& \cos c\,\cos B=\cot a\,\sin c - \cot A \,\sin B,&(AcBa)\\ ex\text& \cos a\,\cos B=\cot c\,\sin a - \cot C \,\sin B,&(cBaC)\\ ex\text& \cos a\,\cos C=\cot b\,\sin a - \cot B \,\sin C,&(BaCb). \end To prove the first formula start from the first cosine rule and on the right-hand side substitute for \cos c from the third cosine rule: : \begin \cos a & = \cos b \cos c + \sin b \sin c \cos A \\ & = \cos b\ (\cos a \cos b + \sin a \sin b \cos C ) + \sin b \sin C \sin a \cot A \\ \cos a \sin^2 b & = \cos b \sin a \sin b \cos C + \sin b \sin C \sin a \cot A. \end The result follows on dividing by \sin a\sin b. Similar techniques with the other two cosine rules give CT3 and CT5. The other three equations follow by applying rules 1, 3 and 5 to the polar triangle.


Half-angle and half-side formulae

With 2s=(a+b+c) and 2S=(A+B+C), \begin & \sinA=\left frac\right &\qquad &\sina=\left frac\right\\ ex& \cosA=\left frac\right &\qquad &\cosa=\left frac\right\\ ex& \tanA=\left frac\right &\qquad &\tana=\left frac\right \end Another twelve identities follow by cyclic permutation. The proof (Todhunter, Art.49) of the first formula starts from the identity 2sin2(''A''/2) = 1 – cos''A'', using the cosine rule to express ''A'' in terms of the sides and replacing the sum of two cosines by a product. (See sum-to-product identities.) The second formula starts from the identity 2cos2(''A''/2) = 1 + cos''A'', the third is a quotient and the remainder follow by applying the results to the polar triangle.


Delambre analogies

The Delambre analogies (also called Gauss analogies) were published independently by Delambre, Gauss, and Mollweide in 1807–1809. \begin \frac =\frac &\qquad\qquad & \frac =\frac \\ ex \frac =\frac &\qquad & \frac =\frac \end Another eight identities follow by cyclic permutation. Proved by expanding the numerators and using the half angle formulae. (Todhunter, Art.54 and Delambre)


Napier's analogies

\begin &&\\ 2exdisplaystyle =\frac \cot &\qquad & =\frac \tan \\ ex =\frac \cot &\qquad & =\frac \tan \end Another eight identities follow by cyclic permutation. These identities follow by division of the Delambre formulae. (Todhunter, Art.52) Taking quotients of these yields the law of tangents, first stated by Persian mathematician Nasir al-Din al-Tusi (1201–1274), \frac = \frac


Napier's rules for right spherical triangles

When one of the angles, say ''C'', of a spherical triangle is equal to /2 the various identities given above are considerably simplified. There are ten identities relating three elements chosen from the set ''a'', ''b'', ''c'', ''A'', ''B''. Napier provided an elegant mnemonic aid for the ten independent equations: the mnemonic is called Napier's circle or Napier's pentagon (when the circle in the above figure, right, is replaced by a pentagon). First, write the six parts of the triangle (three vertex angles, three arc angles for the sides) in the order they occur around any circuit of the triangle: for the triangle shown above left, going clockwise starting with a gives ''aCbAcB''. Next replace the parts that are not adjacent to C (that is ''A, c, B'') by their complements and then delete the angle C from the list. The remaining parts can then be drawn as five ordered, equal slices of a pentagram, or circle, as shown in the above figure (right). For any choice of three contiguous parts, one (the ''middle'' part) will be adjacent to two parts and opposite the other two parts. The ten Napier's Rules are given by *sine of the middle part = the product of the tangents of the adjacent parts *sine of the middle part = the product of the cosines of the opposite parts For an example, starting with the sector containing a we have: : \sin a = \tan(\pi/2-B)\,\tan b = \cos(\pi/2-c)\, \cos(\pi/2-A) =\cot B\,\tan b = \sin c\,\sin A. The full set of rules for the right spherical triangle is (Todhunter, Art.62) \begin &\text&\qquad \cos c&=\cos a\,\cos b, &\qquad\qquad &\text&\qquad \tan b&=\cos A\,\tan c,\\ &\text& \sin a&=\sin A\,\sin c, &&\text& \tan a&=\cos B\,\tan c,\\ &\text& \sin b&=\sin B\,\sin c, &&\text& \cos A&=\sin B\,\cos a,\\ &\text& \tan a&=\tan A\,\sin b, &&\text& \cos B&=\sin A\,\cos b,\\ &\text& \tan b&=\tan B\,\sin a, &&\text& \cos c&=\cot A\,\cot B. \end


Napier's rules for quadrantal triangles

A quadrantal spherical triangle is defined to be a spherical triangle in which one of the sides subtends an angle of /2 radians at the centre of the sphere: on the unit sphere the side has length /2. In the case that the side ''c'' has length /2 on the unit sphere the equations governing the remaining sides and angles may be obtained by applying the rules for the right spherical triangle of the previous section to the polar triangle ''A'B'C' '' with sides ''a',b',c' '' such that ''A' ''=  − ''a'',  ''a' '' =  − ''A'' etc. The results are: \begin &\text&\qquad \cos C&=-\cos A\,\cos B, &\qquad\qquad &\text&\qquad \tan B&=-\cos a\,\tan C,\\ &\text& \sin A&=\sin a\,\sin C, &&\text& \tan A&=-\cos b\,\tan C,\\ &\text& \sin B&=\sin b\,\sin C, &&\text& \cos a&=\sin b\,\cos A,\\ &\text& \tan A&=\tan a\,\sin B, &&\text& \cos b&=\sin a\,\cos B,\\ &\text& \tan B&=\tan b\,\sin A, &&\text& \cos C&=-\cot a\,\cot b. \end


Five-part rules

Substituting the second cosine rule into the first and simplifying gives: : \cos a = (\cos a \,\cos c + \sin a \, \sin c \,\cos B) \cos c + \sin b \, \sin c \,\cos A : \cos a \,\sin^2 c = \sin a \,\cos c \,\sin c \,\cos B + \sin b \, \sin c \, \cos A Cancelling the factor of \sin c gives : \cos a \sin c = \sin a \,\cos c \, \cos B + \sin b \,\cos A Similar substitutions in the other cosine and supplementary cosine formulae give a large variety of 5-part rules. They are rarely used.


Cagnoli's Equation

Multiplying the first cosine rule by \cos A gives : \cos a \cos A = \cos b \,\cos c \,\cos A + \sin b \,\sin c - \sin b \,\sin c \,\sin^2 A. Similarly multiplying the first supplementary cosine rule by \cos a yields : \cos a \cos A = -\cos B \,\cos C \,\cos a + \sin B \,\sin C - \sin B \,\sin C \,\sin^2 a. Subtracting the two and noting that it follows from the sine rules that \sin b \,\sin c \,\sin^2 A = \sin B \,\sin C \,\sin^2 a produces Cagnoli's equation : \sin b \, \sin c + \cos b \,\cos c \,\cos A = \sin B \, \sin C - \cos B \,\cos C \,\cos a which is a relation between the six parts of the spherical triangle.


Solution of triangles


Oblique triangles

The solution of triangles is the principal purpose of spherical trigonometry: given three, four or five elements of the triangle, determine the others. The case of five given elements is trivial, requiring only a single application of the sine rule. For four given elements there is one non-trivial case, which is discussed below. For three given elements there are six cases: three sides, two sides and an included or opposite angle, two angles and an included or opposite side, or three angles. (The last case has no analogue in planar trigonometry.) No single method solves all cases. The figure below shows the seven non-trivial cases: in each case the given sides are marked with a cross-bar and the given angles with an arc. (The given elements are also listed below the triangle). In the summary notation here such as ASA, A refers to a given angle and S refers to a given side, and the sequence of A's and S's in the notation refers to the corresponding sequence in the triangle. *Case 1: three sides given (SSS). The cosine rule may be used to give the angles ''A'', ''B'', and ''C'' but, to avoid ambiguities, the half angle formulae are preferred. *Case 2: two sides and an included angle given (SAS). The cosine rule gives ''a'' and then we are back to Case 1. *Case 3: two sides and an opposite angle given (SSA). The sine rule gives ''C'' and then we have Case 7. There are either one or two solutions. *Case 4: two angles and an included side given (ASA). The four-part cotangent formulae for sets (''cBaC'') and (''BaCb'') give ''c'' and ''b'', then ''A'' follows from the sine rule. *Case 5: two angles and an opposite side given (AAS). The sine rule gives ''b'' and then we have Case 7 (rotated). There are either one or two solutions. *Case 6: three angles given (AAA). The supplemental cosine rule may be used to give the sides ''a'', ''b'', and ''c'' but, to avoid ambiguities, the half-side formulae are preferred. *Case 7: two angles and two opposite sides given (SSAA). Use Napier's analogies for ''a'' and ''A''; or, use Case 3 (SSA) or case 5 (AAS). The solution methods listed here are not the only possible choices: many others are possible. In general it is better to choose methods that avoid taking an inverse sine because of the possible ambiguity between an angle and its supplement. The use of half-angle formulae is often advisable because half-angles will be less than /2 and therefore free from ambiguity. There is a full discussion in Todhunter. The article Solution of triangles#Solving spherical triangles presents variants on these methods with a slightly different notation. There is a full discussion of the solution of oblique triangles in Todhunter. See also the discussion in Ross.


Solution by right-angled triangles

Another approach is to split the triangle into two right-angled triangles. For example, take the Case 3 example where ''b, c, B'' are given. Construct the great circle from ''A'' that is normal to the side ''BC'' at the point ''D''. Use Napier's rules to solve the triangle ''ABD'': use ''c'' and ''B'' to find the sides ''AD'', ''BD'' and the angle ''BAD''. Then use Napier's rules to solve the triangle ''ACD'': that is use ''AD'' and ''b'' to find the side ''DC'' and the angles ''C'' and ''DAC''. The angle ''A'' and side ''a'' follow by addition.


Numerical considerations

Not all of the rules obtained are numerically robust in extreme examples, for example when an angle approaches zero or . Problems and solutions may have to be examined carefully, particularly when writing code to solve an arbitrary triangle.


Area and spherical excess

Consider an ''N''-sided spherical polygon and let An denote the ''n''-th interior angle. The area of such a polygon is given by (Todhunter, Art.99) : \text \equiv E_N = \left(\sum_^ A_\right) - (N-2)\pi. For the case of triangle this reduces to Girard's theorem : \text \equiv E = E_3 = A+B+C -\pi, where ''E'' is the amount by which the sum of the angles exceeds radians. The quantity ''E'' is called the spherical excess of the triangle. This theorem is named after its author, Albert Girard. An earlier proof was derived, but not published, by the English mathematician
Thomas Harriot Thomas Harriot (; – 2 July 1621), also spelled Harriott, Hariot or Heriot, was an English astronomer, mathematician, ethnographer and translator to whom the theory of refraction is attributed. Thomas Harriot was also recognized for his con ...
. On a sphere of radius ''R'' both of the above area expressions are multiplied by ''R''2. The definition of the excess is independent of the radius of the sphere. The converse result may be written as : A+B+C=\pi+ \frac. Since the area of a triangle cannot be negative the spherical excess is always positive. It is not necessarily small, because the sum of the angles may attain 5 (3 for ''proper'' angles). For example, an octant of a sphere is a spherical triangle with three right angles, so that the excess is /2. In practical applications it ''is'' often small: for example the triangles of geodetic survey typically have a spherical excess much less than 1' of arc. (Rapp Clarke, (Chapters 2 and 9). Recently republished a
Forgotten Books
Legendre's theorem on spherical triangles In geometry, Legendre's theorem on spherical triangles, named after Adrien-Marie Legendre, is stated as follows: : Let ABC be a spherical triangle on the ''unit'' sphere with ''small'' sides ''a'', ''b'', ''c''. Let A'B'C' be the planar triangle wi ...
). On the Earth the excess of an equilateral triangle with sides 21.3 km (and area 393 km2) is approximately 1 arc second. There are many formulae for the excess. For example, Todhunter, (Art.101—103) gives ten examples including that of L'Huilier: :\tan\tfracE = \sqrt where s = (a+b+c)/2. Because some triangles are badly characterized by their edges (e.g., if a = b \approx \frac12c), it is often better to use the formula for the excess in terms of two edges and their included angle :\tan\frac E2 = \frac . Angle deficit is defined similarly for
hyperbolic geometry In mathematics, hyperbolic geometry (also called Lobachevskian geometry or Bolyai–Lobachevskian geometry) is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with: :For any given line ''R'' and point ''P ...
.


From latitude and longitude

The spherical excess of a spherical quadrangle bounded by the equator, the two meridians of longitudes \lambda_1 and \lambda_2, and the great-circle arc between two points with longitude and latitude (\lambda_1, \varphi_1) and (\lambda_2, \varphi_2) is \tan\tfrac12 E_4 = \frac \tan\tfrac12(\lambda_2 - \lambda_1). This result is obtained from one of Napier's analogies. In the limit where \varphi_1, \varphi_2, \lambda_2 - \lambda_1 are all small, this reduces to the familiar trapezoidal area, E_4 \approx \frac12 (\varphi_2 + \varphi_1) (\lambda_2 - \lambda_1). The area of a polygon can be calculated from individual quadrangles of the above type, from (analogously) individual triangle bounded by a segment of the polygon and two meridians, by a
line integral In mathematics, a line integral is an integral where the function to be integrated is evaluated along a curve. The terms ''path integral'', ''curve integral'', and ''curvilinear integral'' are also used; ''contour integral'' is used as well, al ...
with Green's theorem, or via an equal-area projection as commonly done in GIS. The other algorithms can still be used with the side lengths calculated using a great-circle distance formula.


See also

* Air navigation * Celestial navigation * Ellipsoidal trigonometry * Great-circle distance or spherical distance * Lenart sphere * Schwarz triangle * Spherical geometry *
Spherical polyhedron In geometry, a spherical polyhedron or spherical tiling is a tiling of the sphere in which the surface is divided or partitioned by great arcs into bounded regions called spherical polygons. Much of the theory of symmetrical polyhedra is most ...
*
Triangulation (surveying) In surveying, triangulation is the process of determining the location of a point by measuring only angles to it from known points at either end of a fixed baseline by using trigonometry, rather than measuring distances to the point directly as ...


References


External links

* a more thorough list of identities, with some derivation * a more thorough list of identities, with some derivation
TriSph
A free software to solve the spherical triangles, configurable to different practical applications and configured for gnomonic
"Revisiting Spherical Trigonometry with Orthogonal Projectors"
by Sudipto Banerjee. The paper derives the spherical law of cosines and law of sines using elementary linear algebra and projection matrices. * by Okay Arik
"The Book of Instruction on Deviant Planes and Simple Planes"
a manuscript in Arabic that dates back to 1740 and talks about spherical trigonometry, with diagrams
Some Algorithms for Polygons on a Sphere
Robert G. Chamberlain, William H. Duquette, Jet Propulsion Laboratory. The paper develops and explains many useful formulae, perhaps with a focus on navigation and cartography.
Online computation of spherical triangles
{{Authority control