area of a spherical triangle
A spherical triangle is formed by connecting three points on the surfaceof a sphere with great arcs; these three points do not lie on a great circle of the sphere. The measurement of an angle of a sphericaltriangle is intuitively obvious, since on a small scale the surface ofa sphere looks flat. More precisely, the angle at each vertex is measured as theangle between the tangents to the incident
sides in the vertex tangent plane
.
Theorem.The area of a spherical triangle on a sphere of radius is
(1) |
Incidentally, this formula shows that the sum of the angles of a sphericaltriangle must be greater than or equal to , with equality holdingin case the triangle
has zero area.
Since the sphere is compact, there might be some ambiguity as to whetherthe area of the triangle or its complement is being considered. Forthe purposes of the above formula, we only consider triangles witheach angle smaller than .
An illustration of a spherical triangleformed by points , , and is shown below.
Note that by continuing the sides of the original triangle into fullgreat circles, another spherical triangle is formed. The triangle is antipodal to since it can be obtained by reflecting the originalone through the center of the sphere. By symmetry, both triangles musthave the same area.
Proof.
For the proof of the above formula, the notion of a spherical diangleis helpful. As its name suggests, a diangle is formed by two great arcsthat intersect in two points, which must lie on a diameter. Two diangleswith vertices on the diameter are shown below.
At each vertex, these diangles form an angle of . Similarly,we can form diangles with vertices on the diameters and respectively.
Note that these diangles cover the entire sphere while overlappingonly on the triangles and . Hence, the total area ofthe sphere can be written as
(2) |
Clearly, a diangle occupies an area that is proportional to the angleit forms. Since the area of the sphere (http://planetmath.org/AreaOfTheNSphere)is , the area of a diangle of angle must be .
Hence, we can rewrite equation (2) as
which is the same as equation (1).∎