|
|
|
|
Spherical trigonometry
|
| |
|
| |
Spherical trigonometry is a part of spherical geometry that deals with polygons (especially triangles) on the sphere and explains how to find relations between the involved angles. This is of great importance for calculations in astronomy and earth-surface and orbital and space navigation.
rical trigonometry was dealt with by early Greek mathematicians such as Menelaus of Alexandria who wrote a book that dealt with spherical trigonometry called Sphaerica and developed Menelaus' theorem.
In the 10th century, Abu al-Wafa' al-Buzjani established the angle addition identities, e.g., sin(a + b), and discovered the sine formula for spherical trigonometry:
Here, a, b, and c are the angles at the centre of the sphere subtended by the three sides of the triangle, and A, B, and C are the angles between the sides, where angle A is opposite the side which subtends angle a, etc.
Discussion
Ask a question about 'Spherical trigonometry' Start a new discussion about 'Spherical trigonometry' Answer questions from other users |
Encyclopedia
Spherical trigonometry is a part of spherical geometry that deals with polygons (especially triangles) on the sphere and explains how to find relations between the involved angles. This is of great importance for calculations in astronomy and earth-surface and orbital and space navigation.
History
Spherical trigonometry was dealt with by early Greek mathematicians such as Menelaus of Alexandria who wrote a book that dealt with spherical trigonometry called Sphaerica and developed Menelaus' theorem.
In the 10th century, Abu al-Wafa' al-Buzjani established the angle addition identities, e.g., sin(a + b), and discovered the sine formula for spherical trigonometry:
Here, a, b, and c are the angles at the centre of the sphere subtended by the three sides of the triangle, and A, B, and C are the angles between the sides, where angle A is opposite the side which subtends angle a, etc. (In the diagram A, B, C should be taken to refer not to the vertices of the triangle but to the interior angles at those vertices—ignore the Greek letters.)
Al-Jayyani (989-1079), an Arabic mathematician in Islamic Spain, wrote what some consider the first treatise on spherical trigonometry, circa 1060, entitled The book of unknown arcs of a sphere, in which spherical trigonometry was brought into its modern form. E. S. Kennedy points out that while it was possible in ancient mathematics to compute the magnitudes of a spherical figure, in principle, by use of the table of chords and Menelaus' theorem, the application of the theorem to spherical problems was very difficult in practice. Al-Jayyani's book "contains formulae for right-angle triangles, the general law of sines and the solution of a spherical triangle by means of the polar triangle." This treatise later had a "strong influence on European mathematics", and his "definition of ratios as numbers" and "method of solving a spherical triangle when all sides are unknown" are likely to have influenced Regiomontanus.
In the 13th century, Iranian mathematician Nasir al-Din al-Tusi was the first to treat trigonometry as a mathematical discipline independent from astronomy, and he further developed spherical trigonometry, bringing it to its present form. He listed the six distinct cases of a right-angled triangle in spherical trigonometry.
Lines on a sphere
On the surface of a sphere, the closest analogue to straight lines are great circles, i.e. circles whose center coincide with the center of the sphere. For example, meridians and the equator are great circles on the Earth, while non-equatorial lines of latitude are not great circles. As with a line segment in a plane, an arc of a great circle (subtending less than 180°) on a sphere is the shortest path lying on the sphere between its two endpoints. Great circles are special cases of the concept of a geodesic.
An area on the sphere which is bounded by arcs of great circles is called a spherical polygon. Note that, unlike the case on a plane, spherical "biangles" (two-sided analogs to triangle) are possible (such as a slice cut out of an orange). Such a polygon is also called a lune.
The sides of these polygons are most conveniently specified not by their length but by the angle under which its endpoints appear when looked at from the sphere's center. Note that this arc angle, measured in radians, when multiplied by the sphere's radius equals the arc length.
Hence, a spherical triangle is specified as usual by its corner angles and its sides, but the sides are given not by their length, but by their arc angle.
The sum of the vertex angles of a spherical triangle is always larger than the 180° found in every planar triangle. The amount E by which the sum of the angles exceeds 180° is called the spherical excess:
where a, ß and ? denote the angles. Girard's theorem states that this surplus determines the surface area of any spherical triangle:
where R is the radius of the sphere.
It follows from here that there are no similar triangles (triangles with equal angles but different side lengths and area) on a sphere. In the special case of a sphere of radius 1, the area simply equals the excess angle: A = E. One can also use Girard's formula to obtain the discrete Gauss-Bonnet theorem.
To solve a geometric problem on the sphere, one dissects the relevant figure into right spherical triangles (i.e.: one of the triangle's corner angles is 90°) because one can then use Napier's pentagon:
Napier's pentagon (also known as Napier's circle) is a mnemonic aid that helps to find all relations between the angles in a right spherical triangle.
Write the six angles of the triangle (three vertex angles, three arc angles) in the form of a circle, sticking to the order as they appear in the triangle (i.e.: start with a corner angle, write the arc angle of an attached side next to it, proceed with the next corner angle, etc. and close the circle). Then cross out the 90° corner angle and replace the arc angles adjacent to it by their complement to 90° (i.e. replace, say, a by 90° − a). The five numbers that you now have on your paper form Napier's Pentagon (or Napier's Circle). For them, it holds that the cosine of each angle is equal to:
- the product of the cotangents of the angles written next to it
- the product of the sines of the two angles written opposed to it
See also the Haversine formula, which relates the lengths of sides and angles in spherical triangles in a numerically stable form for navigation.
Identities
Spherical triangles satisfy a spherical law of cosines
The identity may be derived by considering the triangles formed by the tangent lines to the spherical triangle subtending angle C and using the plane law of cosines. Moreover, it reduces to the plane law in the small angle limit.
They also satisfy an analogue of the law of sines
A more thorough list of identities is available
See also
External links
- a more thorough list of identities, with some derivation
- nice applet
- Includes discussion of The Napier circle and Napier's rules
- by I. Todhunter, M.A., F.R.S. Historical Math Monograph posted by .
- by Okay Arik, the Wolfram Demonstrations Project.
|
| |
|
|
