[Paper Review] Cauchy's Arm Lemma on a Growing Sphere

Zachary Abel, D. G. Charlton+7 more|ArXiv.org|Apr 7, 2008

History and Theory of Mathematics3 citations

TL;DR

This paper proposes a spherical variant of Cauchy’s Arm Lemma, proving that when a convex chain is redrawn on a larger sphere with identical edge lengths and vertex angles, the distance between its endpoints strictly increases. The result is established through three distinct proofs—elementary geometry, Legendre’s Theorem, and Toponogov’s Comparison Theorem—demonstrating the equivalence and interplay of these approaches in spherical and Riemannian geometry contexts.

ABSTRACT

We propose a variant of Cauchy's Lemma, proving that when a convex chain on one sphere is redrawn (with the same lengths and angles) on a larger sphere, the distance between its endpoints increases. The main focus of this work is a comparison of three alternate proofs, to show the links between Toponogov's Comparison Theorem, Legendre's Theorem and Cauchy's Arm Lemma.

Motivation & Objective

• To establish a spherical analog of Cauchy’s Arm Lemma, showing that endpoint distance increases when a convex chain is redrawn on a larger sphere with fixed edge lengths and angles.
• To compare three distinct proof techniques—elementary spherical geometry, Legendre’s Theorem, and Toponogov’s Comparison Theorem—for the same geometric inequality.
• To demonstrate that the spherical excess decreases with increasing radius, leading to smaller angles in the planar limit, and to formalize the intuition that chains stretch on larger spheres.
• To generalize the result to complete Riemannian manifolds with positive sectional curvature using Toponogov’s Theorem, showing that curvature reduction leads to angle reduction in comparison triangles.
• To identify the class of surfaces for which Cauchy’s Arm Lemma holds, particularly in relation to curvature and geodesic behavior.

Proposed method

• Use elementary spherical geometry to prove that the midchord of a spherical triangle is longer than half the opposite side, implying that angles in spherical triangles are larger than in planar counterparts.
• Apply Legendre’s Theorem to show that angles in a spherical triangle are strictly greater than those in a comparison triangle of equal side lengths in the plane.
• Employ Toponogov’s Comparison Theorem to compare geodesic triangles on spheres of different radii (i.e., different curvatures), showing that angles decrease as curvature decreases (radius increases).
• Triangulate a convex chain on a sphere and transfer the triangulation to a larger sphere, preserving edge lengths and angles, then apply Cauchy’s Lemma on the sphere to infer endpoint distance increase.
• Use model spaces $M^2_ ho$ with constant curvature $ ho = 1/r^2$ to compare triangles on spheres of different radii, showing that angles in the higher-curvature (smaller radius) sphere are larger.
• Leverage the fact that the plane corresponds to a sphere of infinite radius (zero curvature), and use the limit of decreasing curvature to show that planar triangles have smaller angles than their spherical counterparts.

Experimental results

Research questions

• RQ1 Does the distance between the endpoints of a convex chain on a sphere increase when the chain is redrawn with the same edge lengths and angles on a larger sphere?
• RQ2 How do the three proof methods—elementary geometry, Legendre’s Theorem, and Toponogov’s Comparison Theorem—compare in their ability to establish the same geometric inequality?
• RQ3 What is the relationship between spherical excess, curvature, and the size of angles in geodesic triangles on spheres of varying radii?
• RQ4 Can Cauchy’s Arm Lemma be generalized to other Riemannian manifolds with positive sectional curvature, and under what conditions does the endpoint distance increase?
• RQ5 What class of surfaces supports a generalized version of Cauchy’s Arm Lemma, where endpoint distance increases under curvature reduction while preserving edge lengths and angles?

Key findings

• When a convex chain is redrawn on a larger sphere with the same edge lengths and vertex angles, the distance between its endpoints strictly increases.
• The angles of a spherical triangle are strictly larger than the corresponding angles in a planar triangle with the same side lengths, a result proven via elementary geometry and Legendre’s Theorem.
• Toponogov’s Comparison Theorem implies that for a given triangle on a sphere of curvature $ ho$, the corresponding triangle on a sphere of lower curvature $ ho' < ho$ has strictly smaller angles.
• The spherical excess (excess of angle sum over $/pi$) decreases as the sphere’s radius increases, approaching zero in the limit of infinite radius (the plane).
• The proof via elementary geometry avoids advanced Riemannian tools and provides a self-contained, accessible derivation of the angle comparison for spherical triangles.
• The result generalizes to any complete Riemannian manifold with sectional curvature $ ho o ho'$, where $ ho' < ho$, showing that angles in comparison triangles decrease with decreasing curvature.