Geometry – Spherical Projection

geometryspherical-geometry

enter image description here

An image of a square is projected onto a sphere (radius $R$) as above (the dot is the centre of the sphere, and the red projection is marked out where the line from the centre-dot to a point on the square's perimeter intersects the sphere's surface). The square touches the sphere with one vertex only (this is also the point where the plane the square inhabits is tangent to the sphere). A (red) kite is the projection formed on the sphere.

enter image description here

It's fairly evident, using symmetry, to find that there are 2 pairs of kite's edges (is geodesic the correct term?) which have equal length (blue and red above). Similarly two of the angles ($\beta$) are the same.

It's easy to find $P$ and $Q$ given $R$ and the square's edge-length, but how does one find the angles $\alpha$ and $\beta$ given $P$ and $Q$?

(I assume $\gamma=\frac{\pi}{4}$ because the square touches the sphere at the bottom right vertex).

This originated from a question about the red kite's area (easy to get is you know $\alpha$, $\beta$ and $\gamma$), but whilst I'm interested how to find $P$ and $Q$ now for its own sake, is there a more direct way that only involves $P$ and $Q$ to find the area (this is not the same as a formula that only involves $P$, $Q$ and the area but whose derivation requires $\alpha$, $\beta$ and $\gamma$)?

Apologies that the question is very basic, this is my first experimentation with spherical geometry.

Best Answer

Is there a more direct way that only involves $P$ and $Q$ to find the area (this is not the same as a formula that only involves $P$, $Q$ and the area but whose derivation requires $α$, $β$ and $γ$)?

In short, no.

You are using the gnomonic projection on the sphere. This projection has the great advantage that great circles gets mapped to straight lines and vice versa, which means that as you noted, all four of the curves shown that bounds your "kite" are geodesic segments.

For geodesic polygons on the sphere, a corollary of the Gauss-Bonnet Theorem is that

The angle surplus (the sum of the internal angles minus the total sum for the corresponding polygon in Euclidean space) is related to the area of the polygon via a factor of proportionality that depends only on the radius of the sphere.

See also Girard's theorem.

Now, by the properties of the gnomonic projection (which can be had by symmetry considerations; take four squares that join together at the tangent point) the angles $\beta$ and $\gamma$ are necessarily right angles (measure $\pi/2$). Hence: to find the area of the kite is exactly equivalent to finding the value of the angle $\alpha$.

Related Question