How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Scope of the two-body and central-force page: collision and radial exclusions, point-particle and finite-size limits, the empirical parameters and their uncertainty, and the conditional status of the orbit statements
A scope and status audit of the two-body, central-force and gravitation page: which items are adopted assumptions, which are conditional deductions, which exclusions (collision, radial motion, finite size, external bodies, relativistic regime) the statements carry, how the empirical parameters and the mass identification qualify numerical conclusions, and which claims are deliberately not made. Bookkeeping and scope only; it asserts no law, no measurement and no conclusion beyond the items it cites.
Status audit of this page
This remark records the scope of the page's items. It is bookkeeping: every mathematical statement it repeats is proved in the item cited, and it adds no law, no observation and no numerical value of its own.
Adopted assumptions. The force branch is Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance with its standing regularity and equation of motion; the interaction restrictions (external-plus-pair presentation, antisymmetry, centrality, the potential branch and the gravitational branch) are Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch; the page's central-force class, the reduced problem, the fixed-centre idealization and the reading conventions are Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions; and the gravitational model with its mass identification and the measured value of is Adopted two-label gravitational model: the inverse-square pair potential with coupling parameters, the empirical mass identification, and the measured value and uncertainty of the Newtonian constant. None of these is proved here.
Conditional deductions. The relative reduction, the uniform centre-of-mass motion and the reconstruction bijection are Two-body reduction of a static central pair-potential model: the relative coordinate is a central-force trajectory for the reduced mass, the centre of mass moves uniformly, and the reconstruction is a bijection; the planarity and area law are Planarity of the reduced orbit and the area law: the areal-velocity vector is the constant , the swept-area rate is , and both labels sweep equal areas in equal times about the centre of mass; the effective one-dimensional problem and its converse are Reduction of the central problem to the effective one-dimensional potential: , the energy identity, and the converse reconstruction of the planar trajectory from the radial data; the circular-orbit criterion and the linearised radial frequency are Circular relative orbits of the central model: the critical-point criterion , uniform rotation of both labels about the centre of mass, and the linearised radial frequency; the conic classification, the barrier and the elliptic geometry are The inverse-square gravitational relative trajectory has the Kepler polar form: , , elliptic completeness and barycentric scaled ellipses; and the period and third law are Kepler's third law for the gravitational two-label model: the relative period is , so under the mass identification, and both labels are periodic relative to the centre of mass. Each is a conditional consequence of the adopted model and the cited mathematics. The conic and period items assume the Axiom of Countable Choice (The Axiom of Countable Choice ()); every scope statement below that invokes their conclusions carries that assumption.
Exclusions and limits
-
Collision and the domain. The configuration domain excludes , i.e. (Configuration domain of labeled particles: open admissible sets, regular holonomic constraints and the mass operator, Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions clause (v)); the equations of motion and every orbit statement above are undefined at the collision. In the gravitational model with the barrier of The inverse-square gravitational relative trajectory has the Kepler polar form: , , elliptic completeness and barycentric scaled ellipses clause 2 keeps throughout the motion; no such bound is available for the radial case, so the conic, area and period statements must not be extended to it.
-
Radial motion. For the nonzero-angular-momentum polar parametrization and its distinguished plane orthogonal to are unavailable; a constant polar angle can still be chosen in any plane containing the fixed radial direction. Planarity of the reduced orbit and the area law: the areal-velocity vector is the constant , the swept-area rate is , and both labels sweep equal areas in equal times about the centre of mass clauses 2-4, The inverse-square gravitational relative trajectory has the Kepler polar form: , , elliptic completeness and barycentric scaled ellipses and Kepler's third law for the gravitational two-label model: the relative period is , so under the mass identification, and both labels are periodic relative to the centre of mass exclude this case explicitly. Clause 1 of Reduction of the central problem to the effective one-dimensional potential: , the energy identity, and the converse reconstruction of the planar trajectory from the radial data also assumes , so it does not supply the radial equation. Instead, angular-momentum conservation in Planarity of the reduced orbit and the area law: the areal-velocity vector is the constant , the swept-area rate is , and both labels sweep equal areas in equal times about the centre of mass clause 1 and the relative equation of Two-body reduction of a static central pair-potential model: the relative coordinate is a central-force trajectory for the reduced mass, the centre of mass moves uniformly, and the reconstruction is a bijection show that, when , with . Setting gives and for ; hence the unit direction is constant, say , and with . Substitution into that relative equation yields the scalar equation on . No centrifugal term, equal-area, conic or period claim is made for radial trajectories.
-
Point particles and finite size. The model retains only positions and fixed masses of the labels (Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses clause (vi)); size, shape, rotation, deformation, internal structure and mass loss are omitted. A real body whose radius, multipole moments, tides or spin matter for the question asked is not described by these items, and their applicability must be justified separately wherever they are used.
-
External bodies and non-gravitational forces. The model has no external forces by construction (Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions clause (i)), so third bodies, drag, radiation pressure or any other agent are outside it; a two-body computation with such influences is a different model, not a corollary of this page.
-
Regime. The meanings of weak-field and non-relativistic use are those defined in Adopted two-label gravitational model: the inverse-square pair potential with coupling parameters, the empirical mass identification, and the measured value and uncertainty of the Newtonian constant clause (iv): for a trajectory segment and chosen tolerance , in the fixed comparison inertial frame of that clause, the maximum source-potential ratio and the maximum squared label-speed ratio are each at most throughout the segment. Relativistic corrections (for instance the perihelion precession of the inner planets) require the general-relativistic framework and are neither derived nor bounded here; the inverse-square law itself is an adopted law of the model.
Empirical status
-
The constant. Formula-level statements use the symbol and are conditional on Adopted two-label gravitational model: the inverse-square pair potential with coupling parameters, the empirical mass identification, and the measured value and uncertainty of the Newtonian constant clause (i). Any numerical application that assigns the CODATA value of clause (iii) — relative standard uncertainty , with the mutual inconsistency of the 16 input measurements recorded there — inherits that uncertainty and the conditions of every other input actually used. The framework does not derive the value of and does not claim it is exact.
-
The mass identification. The simplification of the third law to in Kepler's third law for the gravitational two-label model: the relative period is , so under the mass identification, and both labels are periodic relative to the centre of mass clause 2 uses the empirical identification of Adopted two-label gravitational model: the inverse-square pair potential with coupling parameters, the empirical mass identification, and the measured value and uncertainty of the Newtonian constant clause (ii), which is an adopted assumption, not a consequence of the equation of motion. Statements that keep the couplings distinct remain valid without it.
-
No local experiment. No item of this page reports an experiment or apparatus record. Adopted two-label gravitational model: the inverse-square pair potential with coupling parameters, the empirical mass identification, and the measured value and uncertainty of the Newtonian constant clause (iii) does report the CODATA 2022 recommended estimate and standard uncertainty for , the source's 16 measured input values, and the 3.9 uncertainty-expansion factor. Those are source-reported aggregate evidence, not a measurement performed or newly reported by this page; the individual experimental apparatus records are not reproduced here. The numerical checks on the companion examples page use declared model data. Comparing any prediction of this page with observations would test the combined model, parameter and apparatus assumptions; agreement would be evidence, not a proof of the model, and a discrepancy would identify no particular postulate by itself.
Deliberately not claimed
No global existence of arbitrary central-force trajectories, no nonlinear stability of circular orbits, no closed-form solution of the general non-Coulomb central problem, no asymptotes or scattering cross-sections for the unbounded conic branches, no relativistic or finite-size corrections, and no claim that any physical system is exactly a model of the adopted class.
Depends on
Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions
Adopted two-label gravitational model: the inverse-square pair potential with coupling parameters, the empirical mass identification, and the measured value and uncertainty of the Newtonian constant
Two-body reduction of a static central pair-potential model: the relative coordinate is a central-force trajectory for the reduced mass, the centre of mass moves uniformly, and the reconstruction is a bijection
Planarity of the reduced orbit and the area law: the areal-velocity vector is the constant , the swept-area rate is , and both labels sweep equal areas in equal times about the centre of mass
Reduction of the central problem to the effective one-dimensional potential: , the energy identity, and the converse reconstruction of the planar trajectory from the radial data
Circular relative orbits of the central model: the critical-point criterion , uniform rotation of both labels about the centre of mass, and the linearised radial frequency
The inverse-square gravitational relative trajectory has the Kepler polar form: , , elliptic completeness and barycentric scaled ellipses
Kepler's third law for the gravitational two-label model: the relative period is , so under the mass identification, and both labels are periodic relative to the centre of mass
Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance
Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch
Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
Configuration domain of labeled particles: open admissible sets, regular holonomic constraints and the mass operator
The associated first-order system, motions, maximal motions and the Newtonian flow of a force model
Central-force trajectories: the central-force equation, angular momentum, energy and the effective potential
The radial composite on an annulus: regularity and
The Axiom of Countable Choice ()
Dependency tree · 2 levels
Sources
- Konstantin Likharev, Essential Graduate Physics: Classical Mechanics (title page last edited September 1, 2026), Section 3.4 footnotes 16-17 and the discussion around Fig. 5, chapter pages 11-12 (PDF pages 44-45): the capture possibility for potentials diverging faster than $1/r^2$, the special role of the exactly radial motion $L_z=0$, and the restriction of the conic solutions to the physically meaningful range
- David Tong, Classical Dynamics (University of Cambridge), Section 2.5.4, printed pp. 32-33 (PDF pp. 38-39): the angular-momentum barrier, the restriction to the plane perpendicular to $L$, and the elliptic/hyperbolic classification of the gravitational two-body problem
- P. J. Mohr, D. B. Newell, B. N. Taylor, E. Tiesinga et al., CODATA Recommended Values of the Fundamental Physical Constants: 2022, arXiv:2409.03787, Section XIV and Table XXX: the recommended value of $G$ with relative standard uncertainty $2.2\times10^{-5}$ and the 16 mutually inconsistent input measurements