arxiv: 2605.07932 · v1 · submitted 2026-05-08 · 🧮 math.HO

Recognition: 2 theorem links

· Lean Theorem

Notes on Beltrami's Essay

Steven Rose

Pith reviewed 2026-05-11 03:06 UTC · model grok-4.3

classification 🧮 math.HO

keywords non-Euclidean geometryhyperbolic geometryBeltrami disc modelgeodesicsangle defectpseudosphere

0 comments

The pith

Beltrami's mapping of hyperbolic geometry to a disc can be made fully explicit through step-by-step derivations of its key formulas.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

These notes reconstruct the principal results from Beltrami's 1868 essay by supplying derivations for the hyperbolic distance on the disc, the proof that triangle angles sum to less than 180 degrees, and the equations describing circles, equidistants, and horocycles. The central idea is that a surface of constant negative curvature projects onto a Euclidean disc in such a way that straight lines become the shortest paths and the geometry obeys hyperbolic rules. A sympathetic reader sees how this turns the abstract properties of non-Euclidean space into concrete equations that can be checked with ordinary geometry. This matters because it provides a visual and calculable model without requiring the reader to accept the results on faith from the original paper.

Core claim

Beltrami published his seminal 'Essay on the Interpretation of Non-Euclidean Geometry' in 1868, where he showed that geodesics on a surface of constant negative curvature can be mapped as straight lines on a Euclidean disc. More importantly he showed that figures on the disc would satisfy the identities of hyperbolic geometry characteristic of a surface of negative curvature. These notes derive his formula for hyperbolic distance on the disc, his proof that the sum of the angles of a triangle on the disc is less than two right angles, and his equations for circles, equidistants and horocycles.

What carries the argument

The projection from the pseudosphere onto the disc that preserves the geodesic property and induces the hyperbolic metric.

If this is right

One can calculate the hyperbolic length between any two points in the disc using the provided distance formula.
Any triangle drawn with straight lines in the disc will have an angle sum strictly less than 180 degrees.
The loci of points at constant hyperbolic distance from a given point or line follow the derived equations for circles, equidistants, and horocycles.
The entire structure of hyperbolic geometry becomes accessible through Euclidean constructions inside the disc.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

These derivations could allow students to explore hyperbolic geometry using only high-school algebra and geometry without differential equations.
The same technique might be applied to other historical models to derive their metrics explicitly.
If the derivations are accurate, they confirm that Beltrami's model is equivalent to modern hyperbolic geometry in its predictions for distances and angles.

Load-bearing premise

The derivations supplied in the notes correctly reconstruct and complete the steps Beltrami left implicit without introducing modern reinterpretations or algebraic errors.

What would settle it

An independent calculation of the angle sum in a triangle using the derived equations that yields a sum of exactly 180 degrees or more would show that the model does not capture hyperbolic geometry.

read the original abstract

Eugenio Beltrami published his seminal 'Essay on the Interpretation of Non-Euclidean Geometry' in 1868, where he showed that geodesics on a surface of constant negative curvature can be mapped as straight lines on a Euclidean disc. More importantly he showed that figures on the disc would satisfy the identities of hyperbolic geometry characteristic of a surface of negative curvature. However Beltrami did not always give a full explanation of the equations which he used. These notes are an attempt to provide a derivation of some of his principal results, including his formula for hyperbolic distance on the disc, his proof that the sum of the (hyperbolic) angles of a triangle on the disc is less than two right angles and his equations for circles, equidistants and horocycles.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

These notes fill in the gaps in Beltrami's derivations for the disc model but add no new mathematics.

read the letter

These notes on Beltrami's 1868 essay are mainly useful for filling in the gaps in his derivations for the disc model of hyperbolic geometry. The author supplies step-by-step explanations for the hyperbolic distance formula on the disc, the demonstration that the angle sum in a triangle is less than two right angles, and the equations describing circles, equidistants, and horocycles. This is done without introducing modern reinterpretations, which keeps it true to the original work. That kind of careful reconstruction is what the paper does well. Nothing here is new mathematically. All the results come straight from Beltrami, and the paper is upfront about that. The contribution is in the explanations and the missing algebra. The soft spots are minor. Since it's expository, it won't interest people looking for original theorems. The derivations appear sound based on the approach described, but anyone using them should probably double-check against the original essay for any transcription issues. No load-bearing problems show up in the description. This is the sort of paper that helps students and researchers who are digging into the history of non-Euclidean geometry. A reader who wants to understand how Beltrami connected the disc to hyperbolic identities will get value from it. It deserves a serious referee because the work is focused and the claims are modest and checkable. I would send it to peer review in an appropriate venue like a history of mathematics journal. It's not going to change anyone's research program, but it makes the historical record a bit more accessible.

Referee Report

0 major / 3 minor

Summary. The manuscript offers notes that reconstruct and derive several principal results from Eugenio Beltrami's 1868 essay, including the formula for hyperbolic distance in the disc model, the demonstration that the sum of hyperbolic angles in a triangle is less than two right angles, and the differential equations describing circles, equidistants, and horocycles on the disc.

Significance. If the supplied derivations are faithful to Beltrami's implicit steps and remain within the differential-geometric techniques available in 1868, the notes would provide a valuable service to historians of mathematics and to readers seeking to follow the original argument without modern reinterpretations. The work does not introduce new theorems but clarifies how the Euclidean disc with appropriate metric satisfies the axioms and identities of hyperbolic geometry.

minor comments (3)

The abstract states that the notes derive 'his formula for hyperbolic distance on the disc' but does not specify the curvature radius or the precise form of the metric (e.g., ds = 2|dz|/(1-|z|^2) or an equivalent); adding this explicit statement would help readers locate the starting point of the derivations.
In the section deriving the angle-sum result, the transition from the metric to the defect formula relies on an integral over the triangle; a short sentence recalling the Gauss-Bonnet theorem in the form available to Beltrami would make the step self-contained.
The equations for horocycles are presented in polar coordinates centered at the disc origin; a brief remark on how these reduce to the Euclidean case when curvature tends to zero would strengthen the historical continuity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of our notes reconstructing Beltrami's derivations and for recommending minor revision. No specific major comments were provided in the report, so we have no point-by-point responses to address. We will incorporate any minor editorial or presentational improvements in the revised manuscript while preserving the historical focus and derivations.

Circularity Check

0 steps flagged

No significant circularity; derivations reconstruct external historical results

full rationale

The paper supplies explicit derivations for results stated (but left implicit) in Beltrami's 1868 essay. All load-bearing steps are grounded in standard differential-geometric identities and the original Beltrami text rather than in quantities defined inside the notes themselves. No self-citations, fitted parameters renamed as predictions, or ansatzes imported via the author's prior work appear. The central claim is therefore a reconstruction, not a closed loop.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The derivations rest on the standard axioms of Euclidean plane geometry together with the definition of a surface of constant negative curvature; no new free parameters or invented entities are introduced.

axioms (1)

standard math Euclidean plane geometry and the differential geometry of surfaces of constant curvature.
Invoked to map geodesics to straight lines on the disc and to obtain the hyperbolic identities.

pith-pipeline@v0.9.0 · 5414 in / 1208 out tokens · 58881 ms · 2026-05-11T03:06:47.617073+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
ds² = R² [(a²−v²)du² + 2uv du dv + (a²−u²)dv²] / (a²−u²−v²)²; ρ = R/2 log[(a+r)/(a−r)]; C = 2πR sinh(ρ/R); area = R²[π − (∠A+∠B+∠C)]
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Derivations of hyperbolic identities from pseudosphere metric and cross-ratio

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

[1]

Arcozzi, Beltrami’s Models of Non-Euclidean Geometry (2012), dm.unibo.it J

N. Arcozzi, Beltrami’s Models of Non-Euclidean Geometry (2012), dm.unibo.it J. F . Barrett, Minkowski Space-Time and Hyperbolic Geometry (2015), eprints.soton.uk E. Beltrami, Saggio di Interpretazione di Geometria Non-Euclidea (1868), Giornale di

work page 2012
[2]

Matematiche, VI, pp. 284-322 Roberto Bonola, Non-Euclidean Geometry (1906), reprinted by Dover (1955) Felix Klein, On the So-Called Non-Euclidean Geometry, (1871), translated in Stillwell (1996) John Stillwell, Sources of Hyperbolic Geometry (1996), American Mathematical Society 1 1 There are however at least three mathematical typos in John Stillwell’s e...

work page 1906