Alphabeta Math
TheoremStatement: AI-adaptedProof: AI-adaptedPipeline-generated
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 2Δ and the velocity directions make the cosine cos⁡(π−2Δ)

Statement

Let the hypotheses of Finite-range scattering: the simple outer turning point, the two global branches and the free tails hold, let r:R→R3 be the extension of the trajectory, and let (ρ,θ) be polar data with r=ρ n(θ), n(φ)=cos⁡φ e1+sin⁡φ e2 (Polar reduction of a non-radial central-force trajectory: ρ2θ′=J/μ, the effective-potential equation and energy conservation). Write t∗ for the apsis time, and for α∈R let Rα be the rotation of the plane span⁡(e1,e2), Rα(x):=cos⁡α x+sin⁡α (e3×x). Then:

  1. the half-angle Δ:=∫r∗∞J drr22μ (E−V(r)) is finite and positive, and θ(∞)−θ(t∗)=Δ=θ(t∗)−θ(−∞),θ(∞)−θ(−∞)=2Δ;
  2. lim⁡t→±∞n(θ(t)) exist and equal v+/∣v+∣ (as t→+∞) and −v−/∣v−∣ (as t→−∞);
  3. consequently v+∣v+∣=−R2Δ(v−∣v−∣),⟨v−,v+⟩∣v−∣ ∣v+∣=−cos⁡2Δ=cos⁡(π−2Δ); in particular, if 0<Δ<π/2 then π−2Δ∈(0,π) is the (undirected) angle between the asymptotic velocity directions, and the signed velocity rotation is −(π−2Δ) in the orientation defined by e3.

Facts & Assumptions

Given: The finite-range scattering orbit with its apsis time t∗, its polar data, its asymptotic velocities v± (Existence of the asymptotic velocities and the impact-parameter identity J=μb∣v−∣) and the frozen angular momentum j=Je3, J>0.

[L1]

Branch structure and quadrature: ρ(t∗)=r∗, ρ is strictly decreasing on (−∞,t∗] and strictly increasing on [t∗,∞), ρ′ has the corresponding signs, and (ρ′)2=(2/μ)(E−V(ρ)) (Finite-range scattering: the simple outer turning point, the two global branches and the free tails).

[L4]

The addition formulas give n(φ+α)=Rα(n(φ)) for all φ,α, and the cross product identity ⟨u,e3×u⟩=0 for every u: the mixed term of ⟨u,Rαu⟩ vanishes because ⟨u,e3×u⟩=det⁡[u,e3,u]=0 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 R3).

[L5]

Free tails: for t1≥t∗ with ρ(t1)>R, r(t)=r(t1)+(t−t1)v+ for t≥t1; symmetrically on the incoming tail with v− (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 J=μb∣v−∣).

Proof

technique · direct
1.1givenL1L2L3algebra

Outgoing half-angle: on [t∗,∞), θ is C1 and strictly increasing with θ′=J/(μρ2)>0, and ρ is a C1 strictly increasing bijection of [t∗,∞) onto [r∗,∞); substituting ρ for t first on compact subintervals of (t∗,∞), where ρ′>0, and then taking endpoint limits [L3] gives θ(∞)−θ(t∗)=∫t∗∞θ′(t) dt=∫r∗∞Jμs2dsρ′(ρ−1(s))=∫r∗∞J dss22μ (E−V(s))=Δ, using ρ′=(2/μ)(E−V) from [L1]; the integral converges at r∗ because E−V(s) is comparable to s−r∗ there and diverges nowhere else, and it is positive.

2.1step 1.1L1L2L3algebra

Incoming half-angle: the same computation on the decreasing branch (−∞,t∗], where ρ′=−(2/μ)(E−V(ρ)) and the substitution reverses the sign, gives θ(t∗)−θ(−∞)=Δ; adding the two halves gives θ(∞)−θ(−∞)=2Δ, which is clause 1.

3.1step 1.1step 2.1L5algebra

Direction limits: on the outgoing tail [L5], r(t)/∥r(t)∥2→v+/∣v+∣ as t→∞ (an affine curve with nonzero velocity direction tends to its velocity direction), and r(t)/ρ(t)=n(θ(t))→n(θ(∞)) because θ has a finite limit and n is continuous; hence n(θ(∞))=v+/∣v+∣. On the incoming tail, t−t2<0 tends to −∞, so r(t)/∥r(t)∥2→−v−/∣v−∣, while r(t)/ρ(t)→n(θ(−∞)); hence n(θ(−∞))=−v−/∣v−∣. This is clause 2.

4.1step 2.1step 3.1L4algebra

Rotation form: by [L4], v+/∣v+∣=n(θ(∞))=n(θ(−∞)+2Δ)=R2Δ(n(θ(−∞)))=−R2Δ(v−/∣v−∣), the first equality of clause 3.

5.1step 4.1L4algebra∎

Cosine: writing u:=v−/∣v−∣, the last identity gives ⟨v−,v+⟩/(∣v−∣∣v+∣)=⟨u,−R2Δu⟩=−cos⁡2Δ, because ⟨u,R2Δu⟩=cos⁡2Δ ∣u∣2+sin⁡2Δ ⟨u,e3×u⟩=cos⁡2Δ by [L4]. Since cos⁡(π−2Δ)=−cos⁡2Δ, this gives the displayed cosine; if 0<Δ<π/2 then π−2Δ∈(0,π) and the identity says that the angle between the two nonzero velocity vectors (the unique angle in [0,π] whose cosine is the displayed value, cosine being strictly decreasing there) is π−2Δ.

Depends on

Dependency tree · 2 levels

Sources