Compare curvature through triangle area

Try

A geodesic triangle on a sphere of radius three with angle excess π/6 has area 9π/6=3π/2. A curvature −1 hyperbolic triangle with angle defect π/6 has area π/6. The signs and scale factors matter: a bare number of degrees is not an area until the curvature normalization is specified.

The common mechanism is the geodesic triangle form of Gauss–Bonnet. This lesson states and applies that theorem with its hypotheses; it does not supply a proof of the general differential-geometric theorem.

Predict

Predict whether one triangle with angle sum π proves the whole surface is flat. It does not: the triangle may be very small, curvature can have mixed signs whose integrals cancel, or measurements can be approximate.

Predict whether scaling all lengths changes the angles. It does not, but it multiplies area by the scale squared and divides Gaussian curvature by the same factor. Their integral product is invariant.

Experiment

Compare constant-curvature formulas.

Curvature K	Triangle area S	Angle relation
0	Any admissible S	A+B+C=π
1/R²	R²(A+B+C−π)	Positive excess
−1/R²	R²(π−A−B−C)	Positive defect

Angles are in radians. These rows assume a simple triangle made of geodesic arcs bounding a disk region, with the intended interior angles. Long spherical arcs, self-intersections or different regions require a revised statement rather than automatic use of the table.

Understand

Gauss–Bonnet for a piecewise smooth disk region states that the integral of Gaussian curvature, the integral of boundary geodesic curvature, and the exterior turning angles sum to 2π. Along a geodesic side the boundary geodesic curvature vanishes. For a three-sided region, exterior turns are π−A, π−B and π−C.

Consequently ∫triangle K dA+3π−(A+B+C)=2π, so ∫triangle K dA=A+B+C−π. For constant K this becomes KS=A+B+C−π, giving the table. If K=−κ², area is defect divided by κ², with κ>0.

For variable curvature bounded between k₁ and k₂ throughout the region, integrate the inequalities to obtain k₁S≤A+B+C−π≤k₂S. This yields a rigorous estimate even when no single constant-curvature formula applies. It identifies the observable angle sum as an integral quantity, not the curvature at one arbitrarily chosen center.

Apply

Repair “The triangle is approximately Euclidean, therefore curvature is zero.” For a small region, the curvature integral can be small because its area is small. In a smooth surface near a point with curvature K₀, the leading excess is roughly K₀ times area, but that approximation requires a limiting argument and control of curvature variation.

To compare models experimentally, keep either area or side scale comparable and record the normalization. A screenshot with differently scaled drawings cannot show which triangle has greater intrinsic area. Exact formulas and numerical measurements have different evidential roles.

For optional depth, Gauss–Bonnet links local metric curvature to topology through the Euler characteristic. The disk value used here is the simplest case; surfaces with holes and closed surfaces need their own boundary and topological terms.

Continue

Produce an area calculation with a separate line listing the theorem hypotheses and curvature units. Continue to the model comparison portfolio to assemble the course’s algebraic, synthetic and metric evidence without conflating their scopes.