The geometry of figures drawn on the surface of a sphere with the round metric, where geodesics are great circles, triangles have angle sums greater than Euclidean values, and curvature is constant and positive.

Principle

The organizing idea is positive curvature: geodesics initially diverge but eventually reconverge, producing closed geodesics (great circles), spherical excess for triangle area, and finite total area for compact spheres.

Demonstration

On the unit 2-sphere, the area of a geodesic triangle equals its spherical excess (sum of angles minus π). Great circles are geodesics and any two distinct great circles meet at two antipodal points; the cut locus of a point is its antipodal point.

Misapplication

Treating great circles as straight lines in Euclidean sense or applying planar trigonometric area formulas yields errors; for instance, using base·height/2 for spherical triangle area is invalid, and assuming parallel lines exist leads to contradictions.

Consequence

Properly applied, spherical geometry yields concrete formulas relating curvature, area and angle excess, explains phenomena like antipodality and closed geodesics, and provides models for elliptic geometry when antipodal points are identified.

Reversal

The reversal is to consider negative curvature settings (hyperbolic geometry) where geodesics diverge exponentially and triangles have angle sums below Euclidean values, reversing many qualitative features of spherical spaces.

Boundary

Applies to the standard sphere S^n with its round metric and to manifolds of constant positive curvature; many spherical intuitions fail on surfaces with variable curvature or noncompact positive curvature models.

Semantic Tension

Tension exists between spherical geometry and elliptic geometry: both have positive curvature locally, but elliptic geometry identifies antipodal points producing different global incidence properties; there is also tension with planar approximations used in navigation and cartography.

Synthesis

Spherical geometry packages constant positive curvature into a distinct set of rules: great circles as straightest paths, triangle excess controlling area, reconverging geodesics and finite total area, with immediate consequences for topology and global incidence relations.