Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicable
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

Physical scope

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 J0=(0,∞), Q={x=(x1,x2):x1≠x2}, masses m1,m2>0 in the equation of motion, and the gravitational pair potential U(x1,x2)=−GN m1gm2g∣x1−x2∣, where GN>0 is the Newtonian constant of gravitation, a constant of dimension ℓ3μ−1τ−2 read in m3 kg−1 s−2, and m1g,m2g>0 are the gravitational coupling parameters of the labels, primitive model data distinct from the inertial masses m1,m2 (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 u(ρ)=−κ/ρ with κ:=GN m1gm2g>0,dimension μℓ3τ−2; it is of class C∞ on (0,∞), 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 mig=mi(i=1,2) 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, κ=GNm1m2, 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 m1g,m2g.

(iii) The measured value of the constant. When a model of this page is used quantitatively, GN may be assigned the CODATA 2022 recommended value GN=6.674 30(15)×10−11 m3 kg−1 s−2, with standard uncertainty 0.000 15×10−11 in the same unit and relative standard uncertainty 2.2×10−5: 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 3.9, 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 GN 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 c:=299792458 m s−1 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 x=(x1,x2)∈Q with ρ(x):=∣x1−x2∣>0, define the source potentials per unit gravitational coupling as scalar functions Φ1,Φ2:Q→R by Φ1(x):=−GNm2gρ(x),Φ2(x):=−GNm1gρ(x), each of dimension ℓ2τ−2. 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 v=(v1,v2)∈(R3)2, where vi is the coordinate velocity of label i in that frame, define the dimensionless parameters ϵΦ(x):=max⁡{∣Φ1(x)∣,∣Φ2(x)∣}c2,ϵv(v):=max⁡{∣v1∣2,∣v2∣2}c2. For a motion x:J→Q, a trajectory interval I⊆J and a dimensionless tolerance η∈(0,1) chosen small enough for the intended approximation, the weak-field, slow-motion regime in this comparison frame on that segment means ϵΦ(x(t))≤ηandϵv(x′(t))≤ηfor every t∈I. Small relative speed alone does not meet the speed condition: adding a common large velocity leaves v1−v2 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 GN 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 GN and the pair form are model data; the reduced mass μ=m1m2/(m1+m2) is derived from the inertial masses, and κ=GNm1gm2g (or GNm1m2 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. GN 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

Dependency tree · 2 levels

Sources