3.2 Plane and Spherical Trigonometry for Surveying and Astronomical Applications
Key Takeaways
- Plane trigonometry laws (Law of Sines and Law of Cosines) resolve non-right triangles in boundary, triangulation, and traverse computations for small-scale survey areas (< 250 km²).
- Right spherical triangles are efficiently solved using Napier's Rules of Circular Parts (SIN-CO-OP and SIN-CO-AD rules) applied to the 5 circular parts excluding the right angle.
- Oblique spherical triangles are solved using the Spherical Law of Sines and Spherical Laws of Cosines for Sides and Angles, providing precise position calculations across large terrestrial distances.
- Spherical excess E = A + B + C - 180° directly determines spherical triangle surface area via Girard's Theorem (Area = R² * E_rad); for small geodetic triangles, Legendre's Theorem reduces spherical triangles to plane triangles by subtracting E/3 from each interior angle.
- The celestial P-Z-S triangle (Pole-Zenith-Star) links observer latitude φ, star declination δ, zenith distance z, local hour angle t, and azimuth A for astronomical field determinations of latitude, longitude, and true azimuth.
3.2 Plane and Spherical Trigonometry for Surveying and Astronomical Applications
Trigonometric analysis is the cornerstone of geodetic positioning and field astronomy. While plane trigonometry assumes a flat surface (valid for local boundary and construction surveys covering less than $250 \text{ km}^2$), spherical trigonometry accounts for Earth's curvature on large geodetic control networks and celestial observations.
Plane Trigonometry Laws in Surveying Computations
Plane triangles formed by survey control stations are solved using standard trigonometric relations.
Law of Sines and Law of Cosines
For any plane triangle with side lengths $a, b, c$ opposite to interior angles $A, B, C$:
- Law of Sines:
- Law of Cosines for Sides:
Area of Plane Triangles
- Side-Angle-Side Area Formula:
- Heron's Formula (Three Sides Known):
Right Spherical Triangles and Napier's Rules
A spherical triangle is formed on the surface of a sphere by three intersecting great circle arcs. The sides $a, b, c$ are measured as central angles in angular units (degrees, minutes, seconds, or radians). The interior angles at vertices are denoted $A, B, C$.
Napier's Circle of Circular Parts
For a right spherical triangle where $C = 90^\circ$, Napier's Circle arranges five circular parts in sequence, excluding the right angle $C$:
- Side $a$
- Side $b$
- Complement of Angle $B$: $\bar{B} = 90^\circ - B$
- Complement of Hypotenuse $c$: $\bar{c} = 90^\circ - c$
- Complement of Angle $A$: $\bar{A} = 90^\circ - A$
Napier's Circle (5 Parts):
[a]
/ \
[b] [90° - A]
\ /
[90° - B] ------- [90° - c]
The Two Fundamental Rules of Napier
- SIN-CO-OP Rule: The sine of any middle part equals the product of the cosines of the opposite parts:
- SIN-CO-AD Rule: The sine of any middle part equals the product of the cotangents of the adjacent parts:
Summary Table of Napier's Formulas
| Target Part | Formula Derived from Napier's Rules |
|---|---|
| Hypotenuse side $c$ | $\cos c = \cos a \cos b = \cot A \cot B$ |
| Side $a$ | $\sin a = \sin c \sin A = \tan b \cot B$ |
| Side $b$ | $\sin b = \sin c \sin B = \tan a \cot A$ |
| Interior Angle $A$ | $\cos A = \cos a \sin B = \tan b \cot c$ |
| Interior Angle $B$ | $\cos B = \cos b \sin A = \tan a \cot c$ |
Worked Example: Solving a Right Spherical Triangle
Problem: In a right spherical triangle ($C = 90^\circ$), side $a = 30^\circ 00'$ and side $b = 45^\circ 00'$. Compute the length of hypotenuse side $c$.
Solution:
- Select the Napier formula relating hypotenuse $c$ to legs $a$ and $b$:
- Substitute values $a = 30^\circ$ and $b = 45^\circ$:
- Take inverse cosine:
Oblique Spherical Triangles
When none of the interior angles of a spherical triangle equals $90^\circ$, oblique spherical formulas are required.
Spherical Law of Sines
Spherical Law of Cosines for Sides
Spherical Law of Cosines for Angles
Spherical Excess, Girard's Theorem, and Legendre's Theorem
The sum of interior angles of a spherical triangle always exceeds $180^\circ$ ($180^\circ < A + B + C < 540^\circ$).
Spherical Excess ($E$)
Girard's Theorem for Surface Area
The surface area of a spherical triangle on a sphere of radius $R$ is directly proportional to its spherical excess in radians ($E_{\text{rad}}$):
Legendre's Theorem for Small Geodetic Triangles
Legendre's Theorem states that if a spherical triangle whose sides are small compared to the sphere radius $R$ is replaced by a plane triangle having the exact same side lengths $a, b, c$, the interior angles of the plane triangle ($A', B', C'$) equal the spherical angles reduced by one-third of the spherical excess:
The Astronomical P-Z-S Celestial Triangle
Field astronomy uses the celestial sphere to establish true North azimuths, latitude $\phi$, and longitude $\lambda$ by observing stars or the Sun. The fundamental celestial triangle $P-Z-S$ connects three points:
- $P$ (North Celestial Pole): Point where Earth's rotation axis meets the celestial sphere.
- $Z$ (Observer's Zenith): Point directly above the observer's instrument station.
- $S$ (Celestial Body / Star / Sun): Observed star or celestial object.
Celestial Triangle P-Z-S:
P (Pole)
/ \
/ \
(90° - φ) / \ (90° - δ)
/ \
/ t \
Z-----------S
(Zenith) (Star)
(90° - h)
Side Lengths of Triangle P-Z-S
- Side $PZ = 90^\circ - \phi$ (Co-latitude)
- Side $PS = 90^\circ - \delta$ (Co-declination or Polar Distance, where $\delta$ is star declination)
- Side $ZS = 90^\circ - h = z$ (Co-altitude or Zenith Distance $z$, where $h$ is corrected altitude)
Interior Angles of Triangle P-Z-S
- Angle at Pole $P = t$ (Local Hour Angle of the star)
- Angle at Zenith $Z = A$ (Azimuth angle of the star measured from North)
- Angle at Star $S = q$ (Parallactic angle)
Determination of True Azimuth ($A$)
Applying the Spherical Law of Cosines for side $PS$ ($90^\circ - \delta$):
Rearranging to solve for the True Star Azimuth Angle $A$:
Worked Example: True Star Azimuth Calculation
Problem: An observer at latitude $\phi = 20^\circ 00' \text{ N}$ measures a star's corrected zenith distance $z = 30^\circ 00'$. The star's tabulated declination is $\delta = +40^\circ 00'$. Calculate the star's true azimuth angle $A$.
Solution:
- Identify given angles: $\phi = 20^\circ$, $\delta = 40^\circ$, $z = 30^\circ$.
- Calculate trigonometric values:
- Substitute into the azimuth cosine formula:
- Evaluate numerator:
- Evaluate denominator:
- Compute $\cos A$ and inverse cosine:
In a right spherical triangle with right angle C = 90°, side a = 30° 00' and side b = 45° 00'. Using Napier's Rule (cos c = cos a * cos b), what is the length of hypotenuse side c?
An observer at latitude φ = 20° 00' N measures a star's zenith distance z = 30° 00'. If the star's declination is δ = +40° 00', what is the star's azimuth angle A from North?
A geodetic spherical triangle on Earth (radius R = 6,371 km) has interior angles A = 60° 00' 15", B = 70° 00' 20", and C = 50° 00' 25". What is the area of this spherical triangle?
According to Legendre's Theorem, if a small spherical triangle has a spherical excess E = 12", how should the interior angles of the spherical triangle be adjusted to solve it as a plane triangle with the exact same side lengths?