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.
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
Assuming countable choice for cross-section measures, the separate long-range Coulomb scattering theorem, as a model prediction: the repulsive potential has a unique simple outer turning point and every relative motion of the stated data extends to all of time without collision, with asymptotic velocities of speed and asymptotic impact distance ; the deflection map is the decreasing bijection with a single branch, the differential cross-section is the Rutherford density , every angular band has the finite truncated cross-section , and the ideal total cross-section diverges at forward angles. The parameter is a model datum of the mechanical model and is not identified with any electromagnetic quantity; the result reports no measurement, no screening law and no capture, radiation, relativistic or quantum modification.
Statement
Assume (The Axiom of Countable Choice ()) for the cross-section measures.
Adopt a central scattering model of 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 (i) with masses , reduced mass , and the repulsive Coulomb potential where is a model datum of the mechanical model (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework: ), so that Let the data satisfy , and put Then:
- (Turning data.) is strictly decreasing on , with as and as ; the equation has exactly one solution , it is simple (), one has for every and for every , and is of class with no other crossing of the level .
- (Global non-colliding scattering motion.) Let be a time interval with nonempty interior and be the relative coordinate of a motion of the model with attached angular momentum and energy , with for every and for some . Then extends uniquely to a central-force trajectory whose extension is the relative coordinate of a motion of the two-label model with its autonomous force law extended to time window ; satisfies (no collision), for , and is strictly decreasing on and strictly increasing on ; the asymptotic velocities exist with , and the asymptotic perpendicular distance of each branch to its limiting direction equals , so that . Unlike the finite-range case, there is no radius beyond which the motion is exactly free: the limits above are asymptotic.
- (Deflection and its single branch.) With polar data in a triad with , the half-angle of the motion is its scattering angle is and its signed velocity rotation is . For the family at fixed and varying , realised by the apsis initial data of Repulsive Coulomb scattering: the unique outer turning point, global non-colliding motion, the asymptotic impact distance and clause 4, the deflection map is and strictly decreasing, hence a bijection with inverse ; it is a single deflection branch of the model on with everywhere and no wrapping ( for every ).
- (Cross-section, angular cutoffs and divergence.) The differential cross-section of that branch is finite and positive; for the truncated total cross-section over the angular band is the finite number and by monotonicity the band has ; whereas the truncated integral over diverges for every , so the model has no finite ideal total cross-section. Every positive angular cutoff therefore yields a finite truncated ideal cross-section. Under the declared uniform-incident preparation with and flux , the cutoff cross-section satisfies for every Borel angular window , and the expected scattered rate is (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)). Thus ideal cross-section divergence does not imply an infinite rate under the finite incident cutoff; comparison with detected rates additionally requires a declared apparatus acceptance and its uncertainties.
- (Status of the parameter and exclusions.) The coupling is a parameter of the mechanical model. This item does not identify it with or with any electromagnetic quantity, states no measured value, and asserts no screening law for a medium of scatterers. Attractive Coulomb scattering (for which capture is possible for suitable data), inelastic, radiative, relativistic and quantum modifications are outside the adopted model and this statement.
Facts & Assumptions
Given: Countable choice for the measures, and the central scattering model with the repulsive Coulomb potential , the masses , the reduced mass , the data , , the numbers and , the effective potential , and the relative coordinate with its attached data.
Coulomb scattering theory (Repulsive Coulomb scattering: the unique outer turning point, global non-colliding motion, the asymptotic impact distance and clauses 1-4): under the displayed data, is strictly decreasing from to , the equation has the unique simple solution , every trajectory with attaining extends uniquely to all of with no collision, its two branches are monotone and its asymptotic velocities exist with and asymptotic perpendicular distance ; and the half-angle is .
Model and reduction (Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions clauses (i)-(ii), 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 clauses 2-4, Central-force trajectories: the central-force equation, angular momentum, energy and the effective potential): the model has no external forces, the relative coordinate is a central-force trajectory for , and an affine centre-of-mass curve together with a central-force trajectory with values in reconstructs a motion of the model on the same interval.
Deflection and branch calculus (Repulsive Coulomb scattering: the unique outer turning point, global non-colliding motion, the asymptotic impact distance and clause 4, The Rutherford deflection map, its inverse, the cross-section density and the divergence of the total cross-section clauses 1-3, Scattering data: the incident flux measure, the solid-angle element, deflection branches and the cross-section density as used by The differential and truncated total cross-sections of a deflection branch: densities, units, branch sums and the empirical qualifications of the uniform-incident reading): the asymptotic directions satisfy with the signed rotation , and the branch is with and cross-section density ; the truncated integral over diverges and the integral over a compact angular interval is finite.
Trigonometric calculus (The principal inverse tangent , Tangent, cotangent, secant, and cosecant on their exact natural domains, Derivatives and fundamental periods of tangent, cotangent, secant, and cosecant, Pythagorean and parity identities for all six trigonometric functions on their natural domains, The chain rule, in one line from Carathéodory: if is differentiable at and is differentiable at , then is differentiable at with , Continuity of at a point of and on : the - condition, its agreement with at a limit point, and continuity at an isolated point): , , is the inverse of the principal tangent with values in , and the composition rules for functions apply.
Integration (The second fundamental theorem: if is differentiable on with and is integrable, then , If on and both are integrable then ; and , Intervals of : the nine order-convex forms, nondegeneracy, and length): a continuous function on an interval has a primitive, differences of primitives give integrals, and a nonnegative integrand has a monotone truncated integral.
Proof
Clause 1: [L1] gives that is strictly decreasing from to and that the unique solution of is simple with for ; strict decrease also gives for . This is clause 1.
Clause 2, motion and asymptotics: by [L2] the relative coordinate is a central-force trajectory for with the attached data, so the trajectory hypotheses of [L1] hold; [L1] then gives the unique extension to all of with no collision, the monotone branches with unique apsis, and the existence of with and asymptotic perpendicular distance on both branches. The extension is the relative coordinate of a motion of the model with its autonomous force law extended to time window by [L2], since keeps the configuration admissible and the affine centre-of-mass extension is defined on all of . Because on any outer region, no exact free tail is asserted; this is clause 2.
Clause 3: [L1] gives with , so and ; [L3] then gives the scattering angle and the signed rotation ; substituting the arctangent expression gives . [L3] further gives that is and strictly decreasing with image and the stated inverse, and , so everywhere and the single branch covers . For each , [L1] supplies the apsis trajectory at and [L2] reconstructs it into a two-label motion with any affine centre of mass. Thus these are actual model motions throughout the claimed family. Since every gives , the branch never wraps. This is clause 3.
Clause 4, density: the cross-section density of the branch is by [L3], and substituting and and using and gives , finite and positive for ; this is the displayed density.
Clause 4, band computation: put . By [L4] and the chain rule, , while the solid-angle integrand is , using . Hence by the fundamental theorem [L5], for finite because is continuous on . Since the integrand is nonnegative, the truncated integral over increases as and tends to because ; this gives the band value. The divergence of the truncated integral over is the corresponding clause of [L3]. For the single branch, its incident preimage restricted to is a subset of the disc of incident area . Clause (iv) 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 gives and the finite expected rate for every Borel angular window, including . These are model expectations; a detected-rate comparison needs the separately specified apparatus and uncertainty. This is clause 4.
Clause 5: the statement records only the mechanical model's parameter , its conditional prediction and the explicit exclusions; no identification, measurement or additional model is used in steps 1.1-5.1, each of which cites only model data and the cited mathematical and physical suppliers. This completes the proof.
Remarks
-
Dimensions. , and dimensionless, ; the identity at a cutoff shows that the truncated total is the area of the disk of impact parameters feeding the accepted angles.
-
The divergence is a feature of the ideal model. The ideal Coulomb branch has no total cross-section because the full-azimuth angular density grows like (the solid-angle density grows like ). An angular cutoff gives the displayed truncated ideal value, while the declared finite incident cutoff gives finite predicted rates even for the entire angular interval. Comparing either prediction with observations requires the specified preparation and apparatus model; no experimental acceptance or rate is reported here.
-
What is not claimed. No attractive branch, no capture, no screening of a medium of scatterers, no radiation loss, no relativistic or quantum correction, and no identification of with an electromagnetic coupling; those require separate models and, for the identification, a cross-framework item.
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
Scattering data: the incident flux measure, the solid-angle element, deflection branches and the cross-section density
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: the unique outer turning point, global non-colliding motion, the asymptotic impact distance and
The Rutherford deflection map, its inverse, the cross-section density and the divergence of the total cross-section
Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions
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
Central-force trajectories: the central-force equation, angular momentum, energy and the effective potential
Polar reduction of a non-radial central-force trajectory: , the effective-potential equation and energy conservation
Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
Intervals of : the nine order-convex forms, nondegeneracy, and length
Euclidean maps and diffeomorphisms
Continuity of at a point of and on : the - condition, its agreement with at a limit point, and continuity at an isolated point
The Euclidean inner product on
The cross product in
The principal inverse tangent
Tangent, cotangent, secant, and cosecant on their exact natural domains
Derivatives and fundamental periods of tangent, cotangent, secant, and cosecant
Pythagorean and parity identities for all six trigonometric functions on their natural domains
The chain rule, in one line from Carathéodory: if is differentiable at and is differentiable at , then is differentiable at with
The second fundamental theorem: if is differentiable on with and is integrable, then
If on and both are integrable then ; and
The Axiom of Countable Choice ()
Dependency tree · 2 levels
Sources
- Richard Fitzpatrick, Newtonian Dynamics (University of Texas at Austin), §6.4, Eqs. (358)-(367): the inverse-square scattering integral, $\tan(\theta/2)=k/(2Eb)$, the Rutherford cross-section and the small-angle divergence of the total cross-section
- Konstantin Likharev, Essential Graduate Physics: Classical Mechanics (title page last edited September 1, 2026), §3.5, Eqs. (3.68)-(3.74): $\theta=\pi-2\varphi_0$ with the Coulomb half-angle, the Rutherford formula and the forward-angle divergence, with the caveats on inelastic and quantum scattering