Pith. sign in

REVIEW 3 major objections 4 minor 22 references

Constructive Euclidean Proofs of the Equivalence Between Keplerian Orbits and Newton's Inverse-Square Law

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper claims that the equivalence between elliptical equal-area motion and an inverse-square centripetal force can be proven entirely by straightedge-and-compass constructions in both directions.

desk verdict The inverse-problem half is a solid, readable geometric treatment; the forward-problem half has a load-bearing gap—Proposition 6.1 assumes the conic polar form and then derives it back out. read the letter →

arxiv 2608.02676 v1 pith:IK3ZW2A2 submitted 2026-08-02 physics.class-ph

Changchun Shi This is my paper · ORCID
classification physics.class-ph PACS 45.50.Pk
keywords equal-arealawinverse-squareforcegeometricproofstraightedge-and-compassconstructionhodographconicsectionsspecificangularmomentumcelestialmechanics
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper claims that the equivalence between elliptical equal-area motion and an inverse-square centripetal force can be proven entirely by straightedge-and-compass constructions, in both directions. On the orbit-to-force side, it shows that a local drop ratio on the conic—the normal departure from the tangent relative to the transverse chord—has the constant limit $1/(2p)$, where $p$ is the semi-latus rectum, and that the area-law lemma converts this ratio into an acceleration of the form $\mu/r^2$ with $\mu = L^2/p$. On the force-to-orbit side, it starts from the circular hodograph of the velocity vector and reconstructs the orbit as a conic $r = p/(1-e\cos\alpha)$, classifying ellipse, parabola, and hyperbola by whether the velocity origin lies inside, on, or outside that circle. The interest of the claim is that differential equations are not used: the argument is meant to be carried out with ruler and compass, in the spirit of the historical geometric approach. If correct, it supplies a unified, constructive route between orbital geometry and the inverse-square force law.

What carries the argument

Two geometric objects carry the proofs. First, the auxiliary circle of the conic (radius $a$, center $O$) together with the affine map that compresses lengths perpendicular to the major axis by $b/a$: this map transports circle tangents and sagitta to ellipse tangents and drops, making the local drop ratio computable as $1/(2p)$. Second, the circular hodograph in velocity space, with radius $u = \mu/L$, rotated and scaled into configuration space and then translated as a $\Delta t$-scaled moving circle; its pointwise decomposition $OM = BR + OR'$ encodes the conic polar form. The two local identities doing the work are the product identity $FH\cdot F'A' = b^2$ on the inverse side and the off

What would settle it

The forward direction stands or falls on the offset relation $OR' = e\,u\,\Delta t\,\cos\alpha$ in Proposition 6.1. A reader can settle it by drawing the translated, time-scaled hodograph polygon for a known hyperbolic or parabolic orbit and measuring, at several points, whether the constructed offset divided by $u\,\Delta t$ equals $e\cos\alpha$ without using the polar-form answer. If the construction's own compass steps produce a different offset, the conic conclusion does not follow. On the inverse side, the affine-transport argument can be tested by repeating the Section 3 tangent-drop con

Watch

Extended reading notes

Core claim

The paper gives a two-way constructive bridge between conic motion and inverse-square force, carried out with straightedge-and-compass constructions. On the orbit-to-force side, the normal drop from the tangent over a small step, divided by the square of the transverse intercept, is shown to converge to $1/(2p)$ for each conic; the area-law lemma converts this limit into $\mathbf{a}_F = -\mu \mathbf{r}/r^3$ with $\mu = L^2/p$. On the force-to-orbit side, starting from the circular hodograph of radius $u = \mu/L$, a translated, time-scaled hodograph circle produces the polar form $r = p/(1-e\cos\alpha)$, with eccentricity determined by whether the velocity origin lies inside, on, or outside t

Load-bearing premise

The forward-direction proof assumes the circular-hodograph fact as given—velocity vectors under an inverse-square central force trace a circle—and then assumes a specific offset relation for the shifted hodograph circle that encodes the conic polar form it is trying to derive; if either assumption is not constructively established, the advertised avoidance of differential equations fails.

Editorial extensions

If this is right

  • Any conic orbit with the force center at a focus and equal areas in equal times must be produced by an inverse-square force with strength $\mu = L^2/p$.
  • Under an inverse-square central force, the only possible non-rectilinear orbits are conic sections: ellipse, parabola, or hyperbola, decided by the position of the velocity origin inside, on, or outside the circular hodograph.
  • The same straightedge-and-compass construction yields the conserved-energy relation $e^2 = 1 + 2EL^2/\mu^2$ and, for bound orbits, the period–size ratio $T^2/a^3 = 4\pi^2/\mu$.
  • The forward construction is pointwise: from one velocity vector and the constant $L$, one locates one orbital point, so repeated ruler-and-compass steps trace the whole orbit without solving differential equations.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial extension: The paper's admitted difficulty in extending the affine-transport proof to hyperbola and parabola suggests that the true invariant behind the inverse direction is local curvature rather than the circle-to-ellipse affine map; a uniform proof might replace that map by a focus–directrix construction for all three conics.
  • Editorial extension: The forward offset $OR' = e\,u\,\Delta t\,\cos\alpha$ is algebraically equivalent to the desired polar form, so a fully constructive forward proof needs an independent geometric derivation of that offset from the velocity polygon; a testable version would derive it separately for each conic regime directly from the circle tangents.
  • Editorial extension: Because the paper computes $\mu = L^2/p$ in all three conic regimes and recovers $e^2 = 1 + 2EL^2/\mu^2$, a natural numerical check is to simulate an inverse-square orbit, measure the local $BD/BR^2$ ratio, and see whether the inferred $\mu$ matches $L^2/p$ to the same accuracy in elliptic, parabolic, and hyperbolic cases.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper claims to give constructive Euclidean straightedge-and-compass proofs, in both directions, of the equivalence between Kepler's first two laws and the inverse-square central force law. Sections 2–5 handle the Kepler-to-inverse-square direction (the inverse problem): after deriving central-force direction from constant areal speed, the paper uses auxiliary-circle geometry, affine transport, and conic product identities to derive μ = L^2/p for ellipse, hyperbola, and parabola. Sections 6–7 handle the inverse-square-to-conic direction (the forward problem): Proof 1F is an infinitesimal translated/Δ-scaled hodograph construction, and Proof 2F is a pointwise construction using rotated/scaled auxiliary-circle proxies. The paper also provides a repository with LaTeX sources and GeoGebra construction files.

Significance. If the claims were fully established, the paper would be a useful contribution to the synthetic, Principia-style literature on the Kepler problem. The inverse-problem chain in Sections 2–5 is coherent, modular, and reproduces the standard result μ = L^2/p; it is presented with unusually explicit construction details and accompanied by reproducible figure/code files. However, the forward-problem half does not currently meet the stated standard. The key offset condition in Proposition 6.1 is assumed rather than derived, and the circular-hodograph input is imported from a differential-vector calculation, so the advertised fully geometric, differential-equation-free proof of both directions is not yet supported. The paper is therefore promising in one direction and instructive in its geometric organization, but the central equivalence claim requires substantial additional work in the forward direction.

major comments (3)
  1. [§6.2.1, Eq. (6.11)] Proposition 6.1 is the core of Proof 1F, but the proof postulates OR' = e u Δt cos α without derivation. Substituting (6.16), (6.17), and (6.11) into (6.18) and canceling Δt gives u = L/r + e u cos α, i.e. 1/r = (u/L)(1 − e cos α) = (μ/L^2)(1 − e cos α), which is exactly the target conic polar equation (6.12). The conic form is therefore not derived from the hodograph dynamics; it is loaded into the assumed offset. The classification (6.13) then only restates e as the offset-to-radius ratio. A derivation of (6.11) from the moving-circle geometry and initial data is needed.
  2. [§6.2 first paragraph; §6.1.2, Eqs. (6.3)–(6.5)] The paper says 'We take as given ... the hodograph-circle fact', while the only derivation supplied in the manuscript is the differential-vector calculation in §6.1.2 using dv/dθ = ... and integration. This contradicts the advertised goal of avoiding differential equations (Abstract, §1, §6.2). If the circular-hodograph theorem is imported as a black box, the forward proof is not self-contained; if the calculus derivation is accepted, the 'no differential equations' claim fails. The paper should either supply a fully discrete/geometric proof of the circular hodograph or explicitly revise the scope claim.
  3. [§7.4.2, Eqs. (7.7)–(7.9); §7.1 beta normalization] Proof 2F is not independent of the circular step. The parameter identification uses Eq. (6.12) (through p = L^2/μ and the polar expression r = p/(1 − e cos α)) to obtain e^2 = 1 + 2E L^2/μ^2 and hence the scale factors in (7.11)–(7.13). Since (6.12) rests on the unproved offset (6.11), the initial-data determination of the proxy scale inherits the gap. In addition, in §7.1 beta is set equal to a^2 − c^2 after a and c have been defined as radius and center offset of the scaled circle; this self-referential normalization requires a derivation from (μ, L, r0, d0) before the ellipse conclusion can be considered established.
minor comments (4)
  1. [§4.2 heading] The heading reads 'Iverse problem Proof 2 of the ellipse case'; 'Iverse' should be 'Inverse'.
  2. [§6.2.1, Eq. (6.11)] The eccentricity symbol e is used in (6.11) without prior definition. Define it explicitly as the ratio of the offset OR' to the hodograph-circle radius u Δt.
  3. [§7.4.1] The symbol 'shodo' appears without definition; presumably it denotes a scaled hodograph length such as s_hodo. Please define it and use consistent notation.
  4. [§5.3.2] Several displayed equations inside the proof are labeled (1), (2), (3) without being referenced; these local labels conflict with the global numbering style and should be removed or renumbered.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the apparent assumption of the conic form in Proposition 6.1 is a parameterization of the constant hodograph offset from Eq (6.5); the paper's real weaknesses are a missing explicit link and an unadvertised use of calculus, not a circular reduction.

full rationale

The derivation chain is essentially self-contained and not circular. The inverse-problem route (Sections 2–5) defines κ as the ultimate ratio BD/BR^2, computes κ = 1/(2p) from conic geometry, and obtains μ = 2κL^2 = L^2/p via Lemma 2.2. This is a genuine geometric computation from the input conic/area-law data, not a restatement of the target. The only plausible circularity is in Proposition 6.1, where Eq (6.11) is introduced as 'Assume OR′ = euΔt cos α' and substitution into (6.18) yields the conic polar form (6.12). Read in isolation, this looks like assuming the conclusion. However, Section 6.1.2 (Eq 6.5) already derived v = C + (μ/L) θ̂, so the Δt-scaled hodograph center is a fixed vector CΔt; the tangential component OR′ of that fixed offset can always be parameterized as e u Δt cos α with e = |C|/u and α the angle between C and the tangential direction. Thus Eq (6.11) is a representation of the constant offset, not an independent physical hypothesis. The paper should have explicitly tied Eq (6.11) back to Eq (6.5) rather than saying 'Assume,' and it should not claim to avoid differential equations while using Eqs (6.3)–(6.5); these are presentation/completeness gaps, not circular reductions. No fitted parameter is renamed as a prediction, and the only self-citation ([Shi26]) appears in the Acknowledgment and is not load-bearing. The forward proof is therefore recoverable as a legitimate derivation, though the written text would benefit from making the connection explicit.

Assumptions & free parameters 3 free parameters · 5 assumptions · 0 invented entities

The central claim rests on standard Newtonian area-law mechanics, the circular-hodograph theorem (derived in the paper via ODEs, then assumed), and classical conic geometry. The hand-chosen parameters in the proof constructions (beta and e) are normalization and framing choices, not empirical fits. No new physical entities are postulated. The main load-bearing borrowed result is the circular-hodograph fact, which is what makes the forward proofs calculus-dependent despite the abstract's claim.

free parameters (3)
  • beta (Proof 2F circle scale)
    Undetermined scale introduced in Section 7.1, then set to b^2 = a^2 - c^2 for ellipse and c^2 - a^2 for hyperbola; a normalization choice rather than a physical fit.
  • e (eccentricity in eq. 6.11)
    Introduced via the assumption OR' = e u Delta t cos alpha in Section 6.2.1; later identified as the conic eccentricity, not fitted to data.
  • kappa (limit BD/BR^2) = 1/(2p) for ellipse and hyperbola, 1/(4a) for parabola
    Defined in eq. (2.6) as the limit of a geometric ratio and computed in Sections 3-5; a geometric parameter, not empirically fitted.
assumptions (5)
  • domain assumption Areal law implies centripetal force and vice versa (Newton's Propositions I and II)
    Invoked in Section 2.1.1 and Lemma 2.2; taken from the Principia.
  • domain assumption Circular hodograph theorem: under inverse-square central force, the velocity vector traces a circle of radius mu/L with constant center offset
    Derived via differential calculus in Section 6.1.2 (eqs. 6.3-6.5), then assumed as the basis of Proofs 1F and 2F in Sections 6.2 and 7.
  • domain assumption Smoothness of motion so that ultimate-ratio expansions hold (errors are higher order in Delta t)
    Stated in Section 2: 'We assume the motion is smooth enough...'.
  • standard math Standard Euclidean and classical conic geometry (tangent bisects focal angle, power of a point, sagitta formula, affine map properties, gardener characterization)
    Used throughout Sections 3-7 without proof.
  • standard math ODE existence/uniqueness for the initial-value problem
    Mentioned in Sections 6.1.1 and 8 as the modern justification for the forward direction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Constructive Euclidean Proofs of the Equivalence Between Keplerian Orbits and Newton's Inverse-Square Law." pith.science (2026). https://pith.science/paper/IK3ZW2A2

@misc{pith2026260802676,
  author       = {Pith},
  title        = {Pith review of: Constructive Euclidean Proofs of the Equivalence Between Keplerian Orbits and Newton's Inverse-Square Law},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IK3ZW2A2}},
  note         = {Machine review of arXiv:2608.02676}
}
read the original abstract

Kepler's first two laws state that a planet moves on an ellipse with the Sun at a focus and sweeps out equal areas in equal times (constant areal speed). In the Principia, Newton showed how these laws connect to universal gravitation. Since then, the equivalence between orbital laws and force laws has remained a central topic in celestial mechanics. We present fully geometric proofs, built from explicit Euclidean straightedge-and-compass constructions, of this equivalence in both directions. The proof system combines finite-step constructions, tangent and triangle geometry, affine transport, local displacement ratios, conic invariants, and several hodograph realizations. Within this broader framework, one contribution is to use the auxiliary circle as the primary hodograph proxy in configuration space rather than the directrix-circle normalization of radius 2a. Our emphasis is a Principia-style argument that avoids differential equations while remaining close to Euclidean methods.

Figures

Figures reproduced from arXiv: 2608.02676 by the authors.

Figure 1
Figure 1. Newton’s area theorem construction, reproduced from [ [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Local construction used in Lemmas 2.1 and 2.2. [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Affine relation of motion between the auxiliary circle and the ellipse. [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figures from the paper (7 more)
Figure 4
Figure 4. Figure 4: Alternative auxiliary-circle construction used in Section 4.The angles [PITH_FULL_IMAGE:figures/full_fig_p011_4.png]
Figure 5
Figure 5. Figure 5: Auxiliary-circle construction for the hyperbola case. [PITH_FULL_IMAGE:figures/full_fig_p015_5.png]
Figure 6
Figure 6. Figure 6: Parabola construction used in Section 5.3 (parabola analogue of inverse problem Proof 2). [PITH_FULL_IMAGE:figures/full_fig_p017_6.png]
Figure 7
Figure 7. Figure 7: Forward-problem construction: previous/current/next velocities ( [PITH_FULL_IMAGE:figures/full_fig_p022_7.png]
Figure 8
Figure 8. Figure 8: Ellipse configuration for Forward Problem Proof 2F. [PITH_FULL_IMAGE:figures/full_fig_p024_8.png]
Figure 9
Figure 9. Figure 9: Hyperbola configuration for Forward Problem Proof 2F. [PITH_FULL_IMAGE:figures/full_fig_p027_9.png]
Figure 10
Figure 10. Figure 10: Parabola configuration for Forward Problem Proof 2F. [PITH_FULL_IMAGE:figures/full_fig_p029_10.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

  1. [1]

    1687 , note =

    Newton, Isaac , title =. 1687 , note =

    work page

  2. [2]

    1846 , note =

    Newton, Isaac , title =. 1846 , note =

    work page

  3. [3]

    1934 , url =

    Newton, Isaac , title =. 1934 , url =

    work page 1934

  4. [4]

    1995 , note =

    Chandrasekhar, Subrahmanyan , title =. 1995 , note =

    work page 1995

  5. [5]

    , title =

    Arnold, Vladimir I. , title =. 1990 , isbn =

    work page 1990

  6. [6]

    Expositiones Mathematicae , volume =

    Markowsky, George , title =. Expositiones Mathematicae , volume =. 2011 , doi =

    work page 2011

  7. [7]

    2021 , eprint =

    Simha, Akarsh , title =. 2021 , eprint =

    work page 2021

  8. [8]

    2008 , eprint =

    Provost, Jean and Bracco, Jean , title =. 2008 , eprint =

    work page 2008

Show all 22 references
  1. [9]

    and Goodstein, Judith R

    Goodstein, David L. and Goodstein, Judith R. , title =. 1996 , url =

    1996

  2. [10]

    The Mathematical Intelligencer , volume =

    van Haandel, Maris and Heckman, Gert , title =. The Mathematical Intelligencer , volume =. 2009 , doi =

    2009

  3. [11]

    2006 , note =

    Woan, Graham , title =. 2006 , note =

    2006

  4. [12]

    Historia Mathematica , volume =

    Nauenberg, Michael , title =. Historia Mathematica , volume =. 2003 , doi =

    2003

  5. [13]

    2012 , url =

    Ostermann, Alexander and Wanner, Gerhard , title =. 2012 , url =

    2012

  6. [14]

    Bruce and Newton, Isaac , title =

    Brackenridge, J. Bruce and Newton, Isaac , title =. 1995 , language =

    1995

  7. [15]

    1999 , doi =

    Guicciardini, Niccol\`o , title =. 1999 , doi =

    1999

  8. [16]

    1877 , url =

    Maxwell, James Clerk , title =. 1877 , url =

  9. [17]

    American Journal of Physics , volume =

    Derbes, David , title =. American Journal of Physics , volume =. 2001 , doi =

    2001

  10. [18]

    Proceedings of the Royal Irish Academy , volume =

    Hamilton, William Rowan , title =. Proceedings of the Royal Irish Academy , volume =. 1847 , note =

  11. [19]

    Cari\ nena, J. F. and Ra\ nada, M. F. and Santander, M. , title =. European Journal of Physics , volume =. 2016 , doi =

    2016

  12. [20]

    From Circular Paths to Elliptic Orbits: A Geometric Approach to

    Gonz. From Circular Paths to Elliptic Orbits: A Geometric Approach to. European Journal of Physics , volume =. 1998 , doi =

    1998

  13. [21]

    Stavek, Ji. Newton's Parabola Observed from Pappus' Directrix, Apollonius' Pedal Curve (Line), Newton's Evolute, Leibniz's Subtangent and Subnormal, Castillon's Cardioid, and Ptolemy's Circle (Hodograph) , journal =. 2019 , doi =

    2019

  14. [22]

    2026 , howpublished =

    Shi, Changchun , title =. 2026 , howpublished =

    2026

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.