Alphabeta Math
RemarkRemark: 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.

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

Physical scope

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 GN 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 GN 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 j/(2μ), the swept-area rate is J/(2μ), 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: μρ′′=−(UJeff)′(ρ), 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 u′(r0)=J2/(μr03), 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: ρ=p/(1+ecos⁡(θ−θ0)), E=(μκ2/2J2)(e2−1), 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 T=2πμab/J=2πμ/κ a3/2, so T2=4π2a3/(GNM) 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 (ACω)); every scope statement below that invokes their conclusions carries that assumption.

Exclusions and limits

Empirical status

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

Dependency tree · 2 levels

Sources