Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adaptedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
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.

An exact turning ray and the critical Schwarzschild impact parameter

Physical scope

Exact Schwarzschild exterior geodesic example for the ideal-light model. It is not a finite-resolution image or measured lensing result.

Example

Use the SI Schwarzschild convention of the scattering model: s=2GNm∗/c2>0 and the areal radius r>s are lengths in metres, with m∗ in kilograms, GN in cubic metres per kilogram per squared second, and c in metres per second. The impact parameters b,bc are also lengths in metres; H(r)=(1−s/r)/r2 has units inverse square metres, so b2H(r) is dimensionless. No numerical mass or measured length is stipulated. Take the incoming equatorial future-null rays with E>0 and L≥0 of the scattering supplier, so b=L/E=∣L∣/E. The critical impact parameter is bc=33s/2. Choose b=22s>bc. The radial factor is 1−b2(1−s/r)/r2.

  1. At r=2s, this factor is 1−(8s2)(1/2)/(4s2)=0. Because 2s>3s/2 and H(r)=(1−s/r)/r2 is strictly decreasing for r>3s/2, r∗=2s is the unique outer turning point. The ideal incoming ray turns there and returns outward.

  2. At the critical value, direct factorization gives

    1−bc2H(r)=(2r−3s)2(r+3s)4r3.

    Thus the critical inward ray from infinity approaches r=3s/2 asymptotically, and the azimuthal integral diverges logarithmically; it does not complete a finite number of windings before reaching the circular orbit in affine parameter.

Facts & Assumptions

Given: Schwarzschild exterior with s>0, an ideal future-null ray, and the impact-parameter classification theorem.

[F1]

The critical impact parameter is bc=33s/2, H decreases for r>3s/2, and the radial first integral is r˙2=E2(1−b2H) (Null geodesic radial first integral in the Schwarzschild exterior).

[F2]

For b>bc the incoming ray turns at its unique outer root; for b=bc it approaches the photon sphere with logarithmically divergent affine and angular integrals (Schwarzschild null scattering and critical impact, with conditional Kruskal capture).

Verification

technique · evaluate the radial factor at the proposed turning radius, use monotonicity for uniqueness, and factor the critical radial polynomial
1.1givenF1F2algebra

Since (22s)2=8s2 and H(2s)=1/(8s2), the radial factor vanishes at 2s. Also 22s>33s/2 because 32>27, and H is strictly decreasing above 3s/2, so this is the unique outer root. The turning and return classification follows from [F2].

1.2F1F2algebra

Substituting bc2=27s2/4 and H=(r−s)/r3 and expanding the numerator verifies the displayed factorization. The double zero at r=3s/2 and the theorem's affine and angular quadratures then give the critical asymptote and logarithmic divergence.

2.1step 1.1step 1.2given∎

These are exact ideal-geodesic conclusions in the Schwarzschild model; no wave-optics or observational statement is added.

Depends on

Dependency tree · 2 levels

Sources