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 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
Adoption of the two-label gravitational model inside the page's central-force class: the inverse-square static pair potential with the Newtonian constant and positive gravitational coupling parameters; the empirical identification of the coupling parameters with the inertial masses, adopted as an assumption of the page's applications; the measured value of the Newtonian constant with its uncertainty and the mutual inconsistency of its measurements; and the non-relativistic weak-field two-point-label applicability regime, specified by the source-potential and individual-speed inequalities in a specified comparison frame in clause (iv), with its exclusions. The item adopts model data and empirical premises; it asserts no law of nature, no proof of the identification, and no numerical prediction by itself.
Postulate
Adopt the following gravitational model and empirical premises for the two-body part of this page, 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 and the central-force class of Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions clause (i).
(i) The two-label gravitational model. A model of the gravitational branch is a model of class (i) of Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions with , , masses in the equation of motion, and the gravitational pair potential where is the Newtonian constant of gravitation, a constant of dimension read in , and are the gravitational coupling parameters of the labels, primitive model data distinct from the inertial masses (Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch clause (v), Dimensions and SI unit conventions of the non-relativistic classical mechanics framework). The corresponding central pair potential of class (i) is with it is of class on , the model has no external forces, and coincident configurations are excluded. The force is attractive, and its inverse-square form is an adopted law of this branch, not a consequence of the equation of motion.
(ii) The empirical mass identification. For the quantitative applications of this page, adopt in addition the identification of the gravitational coupling parameters with the inertial masses. This is an empirical assumption, not part of clause (i) and not a consequence of the equation of motion (Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch clause (vi)); it is the content of the weak equivalence principle for these labels, and it is adopted here only where a statement explicitly says so. When it is adopted, , and every conclusion that uses it inherits its empirical status; statements that never invoke clause (ii) remain conditional on clause (i) alone, with expressed through .
(iii) The measured value of the constant. When a model of this page is used quantitatively, may be assigned the CODATA 2022 recommended value with standard uncertainty in the same unit and relative standard uncertainty : a qualified empirical premise, not a definition and not an exact value. The recommendation is a least-squares value from 16 measurements whose mutual inconsistency led the CODATA Task Group to expand its uncertainty by a factor of , and the 2022 value agrees with the 2018 value because the input data were unchanged. Any numerical conclusion that uses this assignment inherits the uncertainty of together with the uncertainties and conditions of the other model data actually used; no such numerical conclusion is drawn by this postulate itself.
(iv) Scope and exclusions. The force equations in clause (i) define the formal Newtonian point-particle model. The words weak-field and non-relativistic specify when it is intended as an approximation to a relativistic gravitational description. Let be the speed of light in vacuum, used here only as an external comparison constant, not as a parameter in the Newtonian equations. For a configuration with , define the source potentials per unit gravitational coupling as scalar functions by each of dimension . Fix the inertial frame of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance clause (i), with its time and spatial coordinates, as the comparison frame for the intended relativistic approximation. For a state velocity , where is the coordinate velocity of label in that frame, define the dimensionless parameters For a motion , a trajectory interval and a dimensionless tolerance chosen small enough for the intended approximation, the weak-field, slow-motion regime in this comparison frame on that segment means Small relative speed alone does not meet the speed condition: adding a common large velocity leaves unchanged. The formal Newtonian equations retain their frame transformation rule, but this approximation criterion is assessed in the specified comparison coordinates, as in the cited Newtonian-limit discussion; it is not asserted in every boosted frame. The choice of is application-specific; these conditions are applicability criteria, not a proved sufficient condition for a relativistic error bound. This model supplies no relativistic correction estimate or error bound. When is assigned the value in clause (iii), these inequalities inherit its standard uncertainty and any uncertainty in the other inputs; no regime assessment is made here. The model treats the two labels as point particles with fixed masses, ignores external bodies, rotation, deformation, mass loss, radiation and any non-gravitational force, and excludes coincident configurations. It is not asserted that any physical system is exactly of this form; in particular, the identification of clause (ii) is not a framework-wide identification, and the inverse-square law is not derived from the balance laws of the framework.
(v) Status. Clauses (i), (ii) and (iii) are adopted assumptions of the model and its empirical inputs; this item contains no proof and no measurement of its own. The theorems of this page that invoke the model are conditional on these clauses, and agreement of their predictions with observations would test the combined model and apparatus assumptions rather than prove them.
Status and scope
-
What is primitive and what is derived. The inertial masses, the gravitational couplings, the constant and the pair form are model data; the reduced mass is derived from the inertial masses, and (or under clause (ii)) is the parameter that enters the central-force statements.
-
Why the identification is separated. Momentum, angular momentum and energy balances and the relative reduction use only the inertial masses and the potential; the equality of gravitational and inertial parameters enters only through clause (ii), so its empirical content is not silently absorbed into the mechanical theorems.
-
Why the constant is separated. is measured, not exact; a page that replaces it by a number must say so and must carry the uncertainty. The symbolic theorems of this page use the symbol; only explicitly numerical applications would use clause (iii).
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
Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
Dependency tree · 2 levels
Sources
- Konstantin Likharev, Essential Graduate Physics: Classical Mechanics (title page last edited September 1, 2026), Section 1.2, Eq. (1.15) and footnote 11, chapter page 4 (PDF page 8): Newton's gravity law with the gravitational constant and the weak-equivalence footnote recording the empirical support for identifying gravitational and inertial mass
- David Tong, Classical Dynamics (University of Cambridge), Sections 1.2.4 and 2.5.4, printed pages 4 and 31-33 (PDF pages 10 and 37-39): the gravitational force $F=-(GMm/r^2)\hat r$ from the potential $V=-GMm/r$, and two bodies interacting gravitationally with $V(r)=-Gm_1m_2/r$
- 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 [physics.atom-ph], Section XIV and Table XXX: the recommended value $G=6.674\,30(15)\times10^{-11}\,\mathrm{m^3\,kg^{-1}\,s^{-2}}$ with relative standard uncertainty $2.2\times10^{-5}$, unchanged from 2018, based on the 16 measurements of Table XXX with an expansion factor of 3.9
- Max Tegmark, General Relativity, MIT Course 8.033 lecture notes, Fall 2005 (revised 2006), pp. 3-4: the Newtonian potential of a point source, the dimensionless ratio $\Phi/c^2$, and the small-potential and slow-motion Newtonian regime
- P. J. Mohr, D. B. Newell, B. N. Taylor, E. Tiesinga et al., CODATA Recommended Values of the Fundamental Physical Constants: 2022, Table XXXIII: the speed of light in vacuum $c=299792458\,\mathrm{m\,s^{-1}}$ is exact in SI