Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adapted
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.

A declared-data Rutherford check: α=1, θ=π/2, (dσ/dΩ)=4×10−24 m2, the band values πb(θ1)2 and the growth of the truncated total as θ1↓0

Physical scope

Assuming countable choice for the scattering measures and vocabulary, A numerical check of the repulsive-Coulomb model prediction on declared model data in SI units: reduced mass 2×10−26 kg, energy 10−18 J, angular momentum 4×10−34 kg m2 s−1 and coupling κ=4×10−30 J m give v∞=104 m s−1, b=2×10−12 m, α=1, scattering angle π/2 and density 4×10−24 m2; the angular band values π(b(θ1)2−b(θ2)2) and the small-angle growth ≈(16π×10−24 m2)/θ12 are checked. All numbers are declared model data fed into the model formulas; the example asserts no measurement, no uncertainty budget and no comparison with any experiment.

Example

Assume ACω (The Axiom of Countable Choice (ACω)) for the cited scattering measures and vocabulary.

Declared model data. For a central scattering model of Repulsive Coulomb scattering in the model class: global non-colliding motion, the deflection map θ=2arctan⁡(κ/(2Eb)), the Rutherford density (κ/4E)2csc⁡4(θ/2), finite angular cutoffs and the divergent ideal total declare the repulsive Coulomb coupling and the reduced data μ=2×10−26 kg,E=10−18 J,J=4×10−34 kg m2 s−1,κ=4×10−30 J m, all read as model data, not as measured values of any physical pair. Abbreviate κ4:=κ/(4E)=10−12 m and κ2:=κ/(2E)=2×10−12 m.

Assertions to check. The model quantities of Repulsive Coulomb scattering in the model class: global non-colliding motion, the deflection map θ=2arctan⁡(κ/(2Eb)), the Rutherford density (κ/4E)2csc⁡4(θ/2), finite angular cutoffs and the divergent ideal total take the values v∞=104 m s−1,b=2×10−12 m,α:=κ2Eb=1,θ=π2, the branch density at θ=π/2 is (dσ/dΩ)(π/2)=κ42csc⁡4(π/4)=4×10−24 m2, the angular band (θ1,θ2) carries the truncated total σ=π(b(θ1)2−b(θ2)2) with b(θ)=κ2cot⁡(θ/2), and as θ1↓0 the band value πb(θ1)2 grows like (16π×10−24 m2)/θ12, so no finite ideal total is assigned.

Facts & Assumptions

[L1]

Coulomb model predictions (Repulsive Coulomb scattering in the model class: global non-colliding motion, the deflection map θ=2arctan⁡(κ/(2Eb)), the Rutherford density (κ/4E)2csc⁡4(θ/2), finite angular cutoffs and the divergent ideal total clauses 2-4, The Rutherford deflection map, its inverse, the cross-section density (κ/4E)2csc⁡4(θ/2) and the divergence of the total cross-section clauses 1-3): for the repulsive κ/r potential, v∞=2E/μ, b=J/2μE, Δ=π/2−arctan⁡(κ/(2Eb)), θ=π−2Δ=2arctan⁡(κ/(2Eb)), b(θ)=(κ/2E)cot⁡(θ/2), dσdΩ(θ)=(κ/(4E))2csc⁡4(θ/2), σ((θ1,θ2))=π(b(θ1)2−b(θ2)2), and the truncated integral over (0,θ0) diverges.

[L2]

Trigonometric algebra (The principal inverse tangent arctan⁡:R→(−π/2,π/2), Tangent, cotangent, secant, and cosecant on their exact natural domains, Pythagorean and parity identities for all six trigonometric functions on their natural domains, The addition formulas for sine and cosine, The zero sets of sine and cosine and the least positive common period 2 pi, Signs, monotonicity intervals, and ranges of sine and cosine): sin⁡2x+cos⁡2x=1, the addition and parity formulas hold, cos⁡(π/2)=0, and sine and cosine are positive on (0,π/2). Cotangent is cos⁡/sin⁡ and cosecant is 1/sin⁡ on their nonzero-denominator domains; the principal arctangent inverts tangent on (−π/2,π/2). The special values used below are derived in step 1.2.

Verification

technique · direct
1.1givenL1L2algebra

Speed and impact parameter: 2E/μ=2×10−18/(2×10−26)=108 m2 s−2, so v∞=108=104 m s−1; then b=J/(μv∞)=4×10−34/(2×10−26⋅104)=2×10−12 m.

1.2L2L3algebra

Special values: at x=π/4, the double-angle identity gives 0=cos⁡(π/2)=cos⁡2x−sin⁡2x; positivity and the Pythagorean identity yield sin⁡x=cos⁡x=1/2, hence cot⁡x=1, csc⁡4x=4 and arctan⁡1=π/4. At x=π/6, the addition formulas give 0=cos⁡(3x)=4cos⁡3x−3cos⁡x. Since cos⁡x>0, cos⁡x=3/2 and sin⁡x=1/2, so cot⁡x=3. Applying the difference formulas to π/12=π/4−π/6 now gives cot⁡(π/12)=(6+2)/(6−2)=2+3. Finally continuity and positivity give sin⁡(π/2)=1; thus cot⁡(θ/2)→0 as θ↑π.

2.1step 1.2step 1.1L1L2algebra

Angle: α=κ/(2Eb)=4×10−30/(2×10−18⋅2×10−12)=1, so arctan⁡α=π/4 and Δ=π/2−π/4=π/4, giving θ=2arctan⁡1=π/2∈(0,π), consistent with b(θ)∣θ=π/2=κ2cot⁡(π/4)=2×10−12 m=b.

2.2step 1.2step 1.1L1L2algebra

Band values: using b(θ)=κ2cot⁡(θ/2) and the endpoint limit lim⁡θ↑πb(θ)=0, for the band (π/2,π) the value is σ=π(b(π/2)2−02)=π(2×10−12)2=4π×10−24≈1.257×10−23 m2; for (π/3,π), b(π/3)=2×10−123, so σ=12π×10−24≈3.770×10−23 m2; for (π/6,π), b(π/6)=2×10−12(2+3), so σ=π⋅4×10−24(2+3)2≈1.750×10−22 m2. These are exact expressions in π and 3 evaluated to four significant digits; all are finite.

3.1step 1.2step 2.1L1L2algebra

Density at π/2: κ4=κ/(4E)=10−12 m and csc⁡4(π/4)=(2)4=4, so dσdΩ(π/2)=κ42⋅4=4×10−24 m2, with dimension ℓ2 (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework).

3.2step 2.2L1L2L3algebra

Small-angle growth: the derivative definition and [L3] give sin⁡x/x=(sin⁡x−sin⁡0)/(x−0)→sin⁡′(0)=1 as x↓0, and continuity gives cos⁡x→1. Since sin⁡x>0 on (0,π/2), quotient limits yield xcot⁡x=cos⁡x/(sin⁡x/x)→1. With x=θ1/2, this proves cot⁡(θ1/2)∼2/θ1, so πb(θ1)2=πκ22cot⁡2(θ1/2)∼4πκ22/θ12=16π×10−24/θ12 in m2. At θ1=10−2 rad, b(θ1)=2×10−12cot⁡(5×10−3)≈4.000×10−10 m and σ≈5.026×10−19 m2. The positive asymptotic coefficient implies unbounded band values as θ1↓0, agreeing with Repulsive Coulomb scattering in the model class: global non-colliding motion, the deflection map θ=2arctan⁡(κ/(2Eb)), the Rutherford density (κ/4E)2csc⁡4(θ/2), finite angular cutoffs and the divergent ideal total clause 4.

4.1givenL1L2∎

Reading: every number above was obtained by substituting the declared model data into the model formulas; no measurement, uncertainty, detector acceptance or sampling model is supplied, so the computation is a check of the model's arithmetic and not a comparison with nature. In particular the divergence of the truncated total at forward angles is a feature of the declared idealisation, and any empirical statement would require a separate experiment item with measured inputs and uncertainties.

Remarks

  • Why the data are round. The values were chosen so that α=1 and θ=π/2 exactly, making the check arithmetic rather than numerical; this is a declared convenience of the model computation and carries no empirical meaning.

  • Units. [κ]=Mℓ3τ−2 (here J m), [κ/(2E)]=ℓ, [b]=ℓ; the displayed σ values have dimension ℓ2 (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework).

Depends on

Dependency tree · 2 levels

Sources