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
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: and the areal radius are lengths in metres, with in kilograms, in cubic metres per kilogram per squared second, and in metres per second. The impact parameters are also lengths in metres; has units inverse square metres, so is dimensionless. No numerical mass or measured length is stipulated. Take the incoming equatorial future-null rays with and of the scattering supplier, so . The critical impact parameter is . Choose . The radial factor is .
-
At , this factor is . Because and is strictly decreasing for , is the unique outer turning point. The ideal incoming ray turns there and returns outward.
-
At the critical value, direct factorization gives
Thus the critical inward ray from infinity approaches 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 , an ideal future-null ray, and the impact-parameter classification theorem.
The critical impact parameter is , decreases for , and the radial first integral is (Null geodesic radial first integral in the Schwarzschild exterior).
For the incoming ray turns at its unique outer root; for it approaches the photon sphere with logarithmically divergent affine and angular integrals (Schwarzschild null scattering and critical impact, with conditional Kruskal capture).
Verification
Since and , the radial factor vanishes at . Also because , and is strictly decreasing above , so this is the unique outer root. The turning and return classification follows from [F2].
Substituting and and expanding the numerator verifies the displayed factorization. The double zero at and the theorem's affine and angular quadratures then give the critical asymptote and logarithmic divergence.
These are exact ideal-geodesic conclusions in the Schwarzschild model; no wave-optics or observational statement is added.