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.
Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions
Adoption of the page's central-force model class inside the framework's force and interaction branches: two-label models presented by a static central pair potential on a collision-excluded annulus and free of external forces; the reduced one-label problem of mass ; the separate one-label fixed-centre idealization; the reading conventions for force centre, orbit and body labels; and the explicit exclusions (velocity- or time-dependent, non-central, non-potential, constrained, colliding, external-force and many-body models) together with the status of the model data. The item adopts a modelling class; it asserts no law of nature, no measured value and no conservation law.
Postulate
Adopt, as the central-force model for the two-body part of this page, the following restricted model class inside the force and interaction branches of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance and Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch.
(i) The two-label central model. A model of class (i) is a force model of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance with labels, fixed masses (Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses clause (v)), a time window , the collision-excluded configuration domain for an open interval (Configuration domain of labeled particles: open admissible sets, regular holonomic constraints and the mass operator), and the force map presented through the time-independent static central pair potential so that on the state domain (clauses (iii) and (iv) of Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch; is of class on the open by The radial composite on an annulus: regularity and ). In the external-plus-pair presentation of clause (i) of that postulate the model has : no external forces act on the labels of a model of class (i).
(ii) The reduced one-label problem. For a model of class (i) put of dimension (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework). The reduced problem of the model is the one-label problem of mass whose unknown is the relative coordinate and whose equation is by 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 relative coordinate of every motion of a model of class (i) solves this equation, and every pair of a uniform centre-of-mass motion and a solution of the reduced equation on a common interval reconstructs a motion of the model. Adopt the reduced problem as the object that the central-force statements of this page describe, and the central-force-trajectory vocabulary of Central-force trajectories: the central-force equation, angular momentum, energy and the effective potential (attached angular momentum and energy ) as the vocabulary in which those statements are phrased.
(iii) The one-label fixed-centre idealization. A one-label central model is a force model of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance with , mass , time window , a fixed centre , the configuration domain , and the external force map presented through the potential with the same function . This model is the fixed-centre idealization of the reduced problem: it drops the centre-of-mass degree of freedom and holds the force centre fixed. It is a separate adopted model class, not a consequence of class (i), and every use of it must state that the idealization is intended.
(iv) Reading conventions. In the statements of this page: the force centre of the reduced problem is the origin of the relative coordinate ; an orbit is the trajectory of the reduced problem (equivalently, by 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 trajectory of either label relative to the centre of mass, up to the mass ratio); "circular" and "elliptic" name properties of that trajectory; and the words "planet", "satellite", "central body" and "test particle" name labels of a model of class (i) or (iii). These words carry no empirical claim about nature.
(v) Exclusions and status. The class excludes: velocity-dependent and explicitly time-dependent central forces; non-central and non-potential forces; constraints and reaction forces; colliding configurations (equivalently ); external forces on the labels; and models with more than two labels. Finite-size, rotational, deformational, dissipative and relativistic effects are outside the class. The masses, the interval and the function (including any parameters it carries) are model data, not measured values (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework); quantitative empirical use requires separately stated measured inputs with their uncertainties, and no statement of this page asserts that any physical system is exactly a model of this class.
Status and scope
-
Why the class is adopted rather than derived. Centrality, the existence of a potential and the absence of external forces are restrictions of the force branch, and Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch records that an arbitrary force map need satisfy none of them. This postulate selects the subclass the page develops, and every theorem of the page remains conditional on it.
-
The reduction is a theorem, the class is not. The construction that turns a model of class (i) into the reduced problem is proved in 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; this postulate only names that object and fixes the vocabulary. The reader is not asked to accept the reduction as an assumption.
-
The idealization is labelled. The fixed-centre model of clause (iii) is the model actually used when one body is treated as immovable; the exact two-label statement always retains both bodies through the relative coordinate and the centre of mass.
Depends on
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
The associated first-order system, motions, maximal motions and the Newtonian flow of a force model
Configuration domain of labeled particles: open admissible sets, regular holonomic constraints and the mass operator
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
Central-force trajectories: the central-force equation, angular momentum, energy and the effective potential
The radial composite on an annulus: regularity and
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
Dependency tree · 2 levels
Sources
- David Tong, Classical Dynamics (University of Cambridge), Section 2.5.4, printed pp. 31-33 (PDF pp. 37-39): two bodies interacting through a central force, the separation $r_{12}$ and the reduced mass $\mu$, the planarity of the orbit under the conserved angular momentum, and the neglect of the centre-of-mass piece
- Konstantin Likharev, Essential Graduate Physics: Classical Mechanics (title page last edited September 1, 2026), Section 3.4, Eqs. (3.30)-(3.38), chapter pages 7-9 (PDF pages 40-42): two particles interacting via a conservative central force, the transfer to the relative vector and centre of mass, and the statement that the relative dynamics is identical to that of a single effective particle of mass $\mu$ in the central potential $U(r)$
- Iain Stewart, Advanced Classical Mechanics (MIT 8.09/8.309 Fall 2014 course text), Section 4.5, printed page 79 (PDF page 82): the Kepler problem of two masses in a central potential, treated with the centre-of-mass coordinate at the origin and the reduced mass