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.
The scattering angle advance and the deflection relation: the total polar advance is and the velocity directions make the cosine
Statement
Let the hypotheses of Finite-range scattering: the simple outer turning point, the two global branches and the free tails hold, let be the extension of the trajectory, and let be polar data with , (Polar reduction of a non-radial central-force trajectory: , the effective-potential equation and energy conservation). Write for the apsis time, and for let be the rotation of the plane , . Then:
- the half-angle is finite and positive, and
- exist and equal (as ) and (as );
- consequently in particular, if then is the (undirected) angle between the asymptotic velocity directions, and the signed velocity rotation is in the orientation defined by .
Facts & Assumptions
Given: The finite-range scattering orbit with its apsis time , its polar data, its asymptotic velocities (Existence of the asymptotic velocities and the impact-parameter identity ) and the frozen angular momentum , .
Branch structure and quadrature: , is strictly decreasing on and strictly increasing on , has the corresponding signs, and (Finite-range scattering: the simple outer turning point, the two global branches and the free tails).
and is strictly increasing (Polar reduction of a non-radial central-force trajectory: , the effective-potential equation and energy conservation).
Substitution on a strictly monotone branch and the conversion (Substitution: if is differentiable on with integrable and is continuous on an interval containing , then , Derivative of an inverse: if is continuous and injective on a nondegenerate interval and differentiable at with , then the inverse is differentiable at with ; and if then is not differentiable at , The chain rule, in one line from Carathéodory: if is differentiable at and is differentiable at , then is differentiable at with , Euclidean maps and diffeomorphisms, Intervals of : the nine order-convex forms, nondegeneracy, and length).
The addition formulas give for all , and the cross product identity for every : the mixed term of vanishes because under the determinant form of the scalar triple product (The addition formulas for sine and cosine, Parity and the Pythagorean identity for sine and cosine, The cross product is bilinear, alternating, and orthogonal to both factors, The cross product in ).
Free tails: for with , for ; symmetrically on the incoming tail with (Finite-range scattering: the simple outer turning point, the two global branches and the free tails, Existence of the asymptotic velocities and the impact-parameter identity ).
Proof
Outgoing half-angle: on , is and strictly increasing with , and is a strictly increasing bijection of onto ; substituting for first on compact subintervals of , where , and then taking endpoint limits [L3] gives using from [L1]; the integral converges at because is comparable to there and diverges nowhere else, and it is positive.
Incoming half-angle: the same computation on the decreasing branch , where and the substitution reverses the sign, gives ; adding the two halves gives , which is clause 1.
Direction limits: on the outgoing tail [L5], as (an affine curve with nonzero velocity direction tends to its velocity direction), and because has a finite limit and is continuous; hence . On the incoming tail, tends to , so , while ; hence . This is clause 2.
Rotation form: by [L4], , the first equality of clause 3.
Cosine: writing , the last identity gives , because by [L4]. Since , this gives the displayed cosine; if then and the identity says that the angle between the two nonzero velocity vectors (the unique angle in whose cosine is the displayed value, cosine being strictly decreasing there) is .
Depends on
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
Finite-range scattering: the simple outer turning point, the two global branches and the free tails
Existence of the asymptotic velocities and the impact-parameter identity
The Euclidean inner product on
The cross product in
The cross product is bilinear, alternating, and orthogonal to both factors
The addition formulas for sine and cosine
Parity and the Pythagorean identity for sine and cosine
Signs, monotonicity intervals, and ranges of sine and cosine
Derivative of an inverse: if is continuous and injective on a nondegenerate interval and differentiable at with , then the inverse is differentiable at with ; and if then is not differentiable at
Substitution: if is differentiable on with integrable and is continuous on an interval containing , then
The chain rule, in one line from Carathéodory: if is differentiable at and is differentiable at , then is differentiable at with
Sums, scalar multiples, products and quotients: , , , and when
Intervals of : the nine order-convex forms, nondegeneracy, and length
Euclidean maps and diffeomorphisms
Dependency tree · 2 levels
Sources
- Richard Fitzpatrick, Newtonian Dynamics (University of Texas at Austin), §6.4, Eqs. (346)-(351): the scattering-angle quadrature and the relation between the half-angle and the deflection
- Konstantin Likharev, Essential Graduate Physics: Classical Mechanics, §3.5, Eqs. (3.66)-(3.68): $\theta=\pi-2\varphi_0$ with the nearest-approach angle $\varphi_0$