Legendre's theorem on spherical triangles

Last updated

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 with the same sides. Then the angles of the spherical triangle exceed the corresponding angles of the planar triangle by approximately one third of the spherical excess (the spherical excess is the amount by which the sum of the three angles exceeds π).
Spherical trigonometry legendre.svg

The theorem was very important in simplifying the heavy numerical work in calculating the results of traditional (pre-GPS and pre-computer) geodetic surveys from about 1800 until the middle of the twentieth century.

The theorem was stated by Legendre (1787) who provided a proof (1798) in a supplement to the report of the measurement of the French meridional arc used in the definition of the metre ( Delambre 1798 ). Legendre does not claim that he was the originator of the theorem despite the attribution to him. Tropfke (1903) maintains that the method was in common use by surveyors at the time and may have been used as early as 1740 by La Condamine for the calculation of the Peruvian meridional arc.

Girard's theorem states that the spherical excess of a triangle, E, is equal to its area, Δ, and therefore Legendre's theorem may be written as

The excess, or area, of small triangles is very small. For example, consider an equilateral spherical triangle with sides of 60 km on a spherical Earth of radius 6371 km; the side corresponds to an angular distance of 60/6371=.0094, or approximately 10−2 radians (subtending an angle of 0.57° at the centre). The area of such a small triangle is well approximated by that of a planar equilateral triangle with the same sides: 12a2sin(π/3) = 0.0000433 radians corresponding to 8.9″.

When the sides of the triangles exceed 180 km, for which the excess is about 80″, the relations between the areas and the differences of the angles must be corrected by terms of fourth order in the sides, amounting to no more than 0.01″:

(Δ is the area of the planar triangle.) This result was proved by Buzengeiger (1818)—an extended proof may be found in Osborne (2013) (Appendix D13). Other results are surveyed by Nádeník (2004).

The theorem may be extended to the ellipsoid if a, b, c are calculated by dividing the true lengths by the square root of the product of the principal radii of curvature (see Osborne (2013) Chapter 5) at the median latitude of the vertices (in place of a spherical radius). Gauss (1828 , Art. 2628) provided more exact formulae.

Related Research Articles

<span class="mw-page-title-main">Steradian</span> SI derived unit of solid angle

The steradian or square radian is the unit of solid angle in the International System of Units (SI). It is used in three dimensional geometry, and is analogous to the radian, which quantifies planar angles. Whereas an angle in radians, projected onto a circle, gives a length of a circular arc on the circumference, a solid angle in steradians, projected onto a sphere, gives the area of a spherical cap on the surface. The name is derived from the Greek στερεός stereos 'solid' + radian.

<span class="mw-page-title-main">Triangle</span> Shape with three sides

A triangle is a polygon with three corners and three sides, one of the basic shapes in geometry. The corners, also called vertices, are zero-dimensional points while the sides connecting them, also called edges, are one-dimensional line segments. The triangle's interior is a two-dimensional region. Sometimes an arbitrary edge is chosen to be the base, in which case the opposite vertex is called the apex.

In geometry, a solid angle is a measure of the amount of the field of view from some particular point that a given object covers. That is, it is a measure of how large the object appears to an observer looking from that point. The point from which the object is viewed is called the apex of the solid angle, and the object is said to subtend its solid angle at that point.

<span class="mw-page-title-main">Law of sines</span> Property of all triangles on a Euclidean plane

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,

<span class="mw-page-title-main">Incircle and excircles</span> Circles tangent to all three sides of a triangle

In geometry, the incircle or inscribed circle of a triangle is the largest circle that can be contained in the triangle; it touches the three sides. The center of the incircle is a triangle center called the triangle's incenter.

<span class="mw-page-title-main">Cyclic quadrilateral</span> Quadrilateral whose vertices can all fall on a single circle

In Euclidean geometry, a cyclic quadrilateral or inscribed quadrilateral is a quadrilateral whose vertices all lie on a single circle. This circle is called the circumcircle or circumscribed circle, and the vertices are said to be concyclic. The center of the circle and its radius are called the circumcenter and the circumradius respectively. Other names for these quadrilaterals are concyclic quadrilateral and chordal quadrilateral, the latter since the sides of the quadrilateral are chords of the circumcircle. Usually the quadrilateral is assumed to be convex, but there are also crossed cyclic quadrilaterals. The formulas and properties given below are valid in the convex case.

Elliptic geometry is an example of a geometry in which Euclid's parallel postulate does not hold. Instead, as in spherical geometry, there are no parallel lines since any two lines must intersect. However, unlike in spherical geometry, two lines are usually assumed to intersect at a single point. Because of this, the elliptic geometry described in this article is sometimes referred to as single elliptic geometry whereas spherical geometry is sometimes referred to as double elliptic geometry.

<span class="mw-page-title-main">Great-circle distance</span> Shortest distance between two points on the surface of a sphere

The great-circle distance, orthodromic distance, or spherical distance is the distance along a great circle.

<span class="mw-page-title-main">Spherical trigonometry</span> Geometry of figures on the surface of a sphere

Spherical trigonometry is the branch of spherical geometry that deals with the metrical relationships between the sides and angles of spherical triangles, traditionally expressed using trigonometric functions. On the sphere, geodesics are great circles. Spherical trigonometry is of great importance for calculations in astronomy, geodesy, and navigation.

<span class="mw-page-title-main">Triaugmented triangular prism</span> Convex polyhedron with 14 triangle faces

The triaugmented triangular prism, in geometry, is a convex polyhedron with 14 equilateral triangles as its faces. It can be constructed from a triangular prism by attaching equilateral square pyramids to each of its three square faces. The same shape is also called the tetrakis triangular prism, tricapped trigonal prism, tetracaidecadeltahedron, or tetrakaidecadeltahedron; these last names mean a polyhedron with 14 triangular faces. It is an example of a deltahedron and of a Johnson solid.

<span class="mw-page-title-main">Hyperbolic triangle</span> Triangle in hyperbolic geometry

In hyperbolic geometry, a hyperbolic triangle is a triangle in the hyperbolic plane. It consists of three line segments called sides or edges and three points called angles or vertices.

<span class="mw-page-title-main">Special right triangle</span> Right triangle with a feature making calculations on the triangle easier

A special right triangle is a right triangle with some regular feature that makes calculations on the triangle easier, or for which simple formulas exist. For example, a right triangle may have angles that form simple relationships, such as 45°–45°–90°. This is called an "angle-based" right triangle. A "side-based" right triangle is one in which the lengths of the sides form ratios of whole numbers, such as 3 : 4 : 5, or of other special numbers such as the golden ratio. Knowing the relationships of the angles or ratios of sides of these special right triangles allows one to quickly calculate various lengths in geometric problems without resorting to more advanced methods.

<span class="mw-page-title-main">Spherical law of cosines</span> Mathematical relation in spherical triangles

In spherical trigonometry, the law of cosines is a theorem relating the sides and angles of spherical triangles, analogous to the ordinary law of cosines from plane trigonometry.

<span class="mw-page-title-main">Weitzenböck's inequality</span>

In mathematics, Weitzenböck's inequality, named after Roland Weitzenböck, states that for a triangle of side lengths , , , and area , the following inequality holds:

<span class="mw-page-title-main">Law of cosines</span> Property of all triangles on a Euclidean plane

In trigonometry, the law of cosines relates the lengths of the sides of a triangle to the cosine of one of its angles. For a triangle with sides and opposite respective angles and , the law of cosines states:

<span class="mw-page-title-main">Equilateral pentagon</span>

In geometry, an equilateral pentagon is a polygon in the Euclidean plane with five sides of equal length. Its five vertex angles can take a range of sets of values, thus permitting it to form a family of pentagons. In contrast, the regular pentagon is unique, because it is equilateral and moreover it is equiangular.

<span class="mw-page-title-main">Geographical distance</span> Distance measured along the surface of the Earth

Geographical distance or geodetic distance is the distance measured along the surface of the Earth, or the shortest arch length.

<span class="mw-page-title-main">Mollweide's formula</span> Relation between sides and angles of a triangle

In trigonometry, Mollweide's formula is a pair of relationships between sides and angles in a triangle.

Solution of triangles is the main trigonometric problem of finding the characteristics of a triangle, when some of these are known. The triangle can be located on a plane or on a sphere. Applications requiring triangle solutions include geodesy, astronomy, construction, and navigation.

<span class="mw-page-title-main">Lexell's theorem</span> Characterizes spherical triangles with fixed base and area

In spherical geometry, Lexell's theorem holds that every spherical triangle with the same surface area on a fixed base has its apex on a small circle, called Lexell's circle or Lexell's locus, passing through each of the two points antipodal to the two base vertices.

References