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 scattering and impulse items: model boundaries, branch and cutoff qualifications, and the claims deliberately not made
Assuming countable choice for the scattering measures and vocabulary, a scope remark recording which claims the page's scattering, impact and open-flow items make, which model assumptions they adopt, and which claims they deliberately do not make: no monotonicity or completeness of the deflection map, no counting or probability interpretation of the cross-section, no contact scattering as a smooth-potential theorem, no measured values or electromagnetic identification of the Coulomb parameter, no individual-label angular distribution without reconstructing the labels in a specified inertial chart, no attractive capture, screening, radiation, inelastic, relativistic or quantum modifications, and no constitutive or boundary law for the open flow. The remark adds no claim of its own beyond the qualifications it records.
Assume (The Axiom of Countable Choice ()) for the scattering measures.
This remark records the boundaries of the page's claims. It adds no statement of its own and no empirical content; each clause refers to the items that do.
What the scattering items assert
Finite-range central scattering in the model class: the scattering motion on all of time, the asymptotic velocities and impact parameter , the advance with principal deflection , and the cross-section of a deflection branch is a conditional deduction inside the two-label central model class of Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions with a finite-range potential and a simple outer turning point: the relative motion extends to all of time, its asymptotic velocities and impact parameter are computed, the half-angle advance is a quadrature, the asymptotic directions satisfy the deflection relation with angle when , and on a smooth deflection branch that records the model's deflections the outgoing angular measure has that branch's cross-section contribution . The differential and truncated total cross-sections of a deflection branch: densities, units, branch sums and the empirical qualifications of the uniform-incident reading sums contributions from disjoint incident intervals, including where their angular images overlap. Repulsive Coulomb scattering in the model class: global non-colliding motion, the deflection map , the Rutherford density , finite angular cutoffs and the divergent ideal total treats the separate long-range repulsive potential and adds the explicit deflection map, the Rutherford density, the finite truncated band values and the divergence of the ideal total.
What the scattering items do not assert
-
No monotonicity or completeness of the deflection map. Finite-range central scattering in the model class: the scattering motion on all of time, the asymptotic velocities and impact parameter , the advance with principal deflection , and the cross-section of a deflection branch clause 5 states explicitly that the map is not asserted to be decreasing, injective or free of stationary points, and that the branch images are not asserted to cover . The counterexample Smooth finite-range free scattering refutes global strict decrease; as a separate contact comparison, an attractive refracting shell with index has strictly increasing, with a jump down to at grazing incidence ↗ shows that global strict decrease fails even in the smooth finite-range class because the deflection has a constant free tail; its separate adopted contact comparison also has an increasing branch. The cross-section formula of The differential and truncated total cross-sections of a deflection branch: densities, units, branch sums and the empirical qualifications of the uniform-incident reading therefore applies to specified invertible branches rather than assuming a global inverse. For a finite family of branches with disjoint incident intervals, the total density at an angle is the sum of all branch contributions whose images contain that angle; this total is distinct from any one branch's density.
-
Cross-section and probability are distinct. The cross-section is a model quantity of the adopted uniform-incident preparation (Scattering data of the central model class: the scattering motion, the impact parameter, the asymptotic directions, the deflection conventions and the uniform-incident preparation clause (iv), The differential and truncated total cross-sections of a deflection branch: densities, units, branch sums and the empirical qualifications of the uniform-incident reading clause (iv)): it is not a count of detected events, not a probability per incident label, and not a property of any apparatus. For a specified branch and Borel angle window, the probability per incident label of an impact parameter in that branch's preimage is its incident preimage area within divided by , with fixed energy and ; this statement covers only the recorded branch portions. No experiment is authored on this page, and no measured rate, uncertainty or statistical claim about nature is made here. A comparison would require a specified apparatus, sampling model and analysis, as 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 requires of the collision claims of the preceding page.
-
Contact scattering uses separate example rules. The hard-sphere and refracting-shell models of the examples page adopt their fixed-wall and interface rules locally; neither full rule is supplied by Adopted impact and open-mass extensions of the force branch: the isolated reciprocal impulse model, the collinear restitution contact law and the open-body material accounting, whose restitution law covers a finite-mass collinear two-label contact. These contact trajectories are not instances of the finite-range hypothesis of Finite-range central scattering in the model class: the scattering motion on all of time, the asymptotic velocities and impact parameter , the advance with principal deflection , and the cross-section of a deflection branch. In particular the finite total cross-section of the hard-sphere contact model is computed from its locally defined uniform incident-area pushforward under the separately adopted reflection rule and does not contradict the forward divergence of the ideal Coulomb branch.
-
No electromagnetic, screening, radiative or quantum content. The Coulomb item treats as a parameter of the mechanical model and does not identify it with or any other electromagnetic quantity; it asserts no screening law for a medium of scatterers, no inelastic or radiative loss, and no relativistic or quantum modification. Attractive Coulomb capture, for which suitable data do allow capture, lies outside its statement.
-
Relative data do not give label angles. The scattering angles and cross-section densities are computed from the reduced relative coordinate and its asymptotic velocities, as defined by Scattering data of the central model class: the scattering motion, the impact parameter, the asymptotic directions, the deflection conventions and the uniform-incident preparation. The two-label reconstruction , shows that individual-label directions generally differ from the relative direction and from each other; this page asserts no individual-label angle.
What the impact and open-flow items assert and adopt
Adopted impact and open-mass extensions of the force branch: the isolated reciprocal impulse model, the collinear restitution contact law and the open-body material accounting adopts three extensions of the force branch: the isolated reciprocal impulse, the collinear restitution contact law with , and the open-body material accounting. Consequences of the adopted impact and open-mass models: continuity of total momentum, the smooth-force exclusion, the restitution solution with , and the open-body and rocket laws proves their conditional consequences — momentum continuity across the impulse, exclusion of a nonzero impulse for a candidate motion that also satisfies the smooth-force branch, the restitution velocities, the kinetic-energy change and the open-body and rocket laws — and records that momentum balance alone does not fix the outcome. The finite-regularity open-flow model: moving-control-region mass and momentum balances, their material and fixed special cases, and the inlet/outlet decomposition reproducing the open-body and rocket laws derives the moving-control-region identities from adopted material balances and identifies the lumped accounting of the impact postulate as their inlet/outlet specialisation.
These items assert no law of nature and no measured value: , the impulse, the contact direction and the mass rates and velocities are model data (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework for the dimensions). They exclude contacts outside , simultaneous or tangential contacts, friction, rotation and deformation modes, and — for the open flow — constitutive laws, boundary conditions and incompressibility, which are separate models. Their empirical reading (for instance that a particular pair of bodies has a particular coefficient) requires a separately specified experiment, sampling model and uncertainty analysis, and obtains evidence about the model-plus-apparatus assumptions rather than a proof of the model.
Depends on
Scattering data of the central model class: the scattering motion, the impact parameter, the asymptotic directions, the deflection conventions and the uniform-incident preparation
The differential and truncated total cross-sections of a deflection branch: densities, units, branch sums and the empirical qualifications of the uniform-incident reading
Finite-range central scattering in the model class: the scattering motion on all of time, the asymptotic velocities and impact parameter , the advance with principal deflection , and the cross-section of a deflection branch
Repulsive Coulomb scattering in the model class: global non-colliding motion, the deflection map , the Rutherford density , finite angular cutoffs and the divergent ideal total
Adopted impact and open-mass extensions of the force branch: the isolated reciprocal impulse model, the collinear restitution contact law and the open-body material accounting
Consequences of the adopted impact and open-mass models: continuity of total momentum, the smooth-force exclusion, the restitution solution with , and the open-body and rocket laws
The finite-regularity open-flow model: moving-control-region mass and momentum balances, their material and fixed special cases, and the inlet/outlet decomposition reproducing the open-body and rocket laws
Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions
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
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
The Axiom of Countable Choice ()
Dependency tree · 2 levels
Sources
- Konstantin Likharev, Essential Graduate Physics: Classical Mechanics (title page last edited September 1, 2026), §3.5, Eqs. (3.70)-(3.74) and the following discussion: the cross-section as a statistic of many incident particles with uniform-flux and analysis caveats, the Rutherford formula, the forward divergence and the warnings about inelastic and quantum scattering
- Richard Fitzpatrick, Newtonian Dynamics (University of Texas at Austin), §§6.4-6.5: the centre-of-mass scattering construction, the hard-sphere example, the Rutherford cross-section, the total-cross-section divergence, and the separate laboratory-frame treatment
- Jacob Moore and Contributors, Mechanics Map (Pennsylvania State University, 2nd ed.), Engineering LibreTexts, §§11.4-11.5: the coefficient of restitution as a pair property between 0 and 1 and the split of collisions into elastic, inelastic and semi-elastic cases
- J. Peraire and S. Widnall, 16.07 Dynamics (MIT OpenCourseWare, Fall 2008/2009), Lecture L14 'Variable Mass Systems: The Rocket Equation': the variable-mass accounting and its documented limitations