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 outward flux of the inverse-square field through a sphere centred at the origin is
Example
Let on , and let with . Then the outward flux of through is , independent of .
Facts & Assumptions
Given: A radius , the spherical parametrization on , and the inverse-square field on .
For a regular parametrized surface patch, the flux in the orientation induced by is (Unit normal fields, orientations, and flux through a regular surface patch).
A regular patch may degenerate on its parameter boundary, but on the parameter interior its cross product is nonzero and no interior parameter point shares its image with a distinct parameter point (Regular parametrized surface patches on compact Jordan parameter regions).
For a finite patch presentation, the total flux is the sum of the patch fluxes (Finitely patched regular surfaces, their area, scalar integrals, and flux).
The cross product is that of The cross product in .
Sine is positive on , cosine is strictly decreasing on , , , and is injective on (Signs, monotonicity intervals, and ranges of sine and cosine, Quarter-turn values and shifts by pi/2 and pi, is a bijection from onto the real unit circle).
Jordan Fubini computes a multiple integral by iterated section integrals (Fubini over a bounded Jordan set when all but a content-zero family of sections are integrable).
If , is differentiable on , and is integrable there, then (The second fundamental theorem: if is differentiable on with and is integrable, then ).
The divergence theorem for an elementary solid region assumes a field on an open set containing the solid (The divergence theorem on an elementary solid region).
Verification
On the parameter interior and , equality of two spherical images first forces equality of because cosine is strictly decreasing on , and then equality of by the injectivity of the unit-circle parametrization in [L5]. The cross product is nonzero there because by [L5]; any degeneracy or repeated image occurs only on the parameter boundary. Thus [F2] makes it a regular patch. Differentiating and using [F4], [L1], [L2], and [F5] gives , while , so the flux integrand is .
By [L3], [L4], [L5], and the identity from [L1], the flux is , independent of .
The divergence theorem is not being applied here: the field is undefined at the origin, so it is not on any open set containing the closed ball bounded by , and [F6] names exactly that missing hypothesis.
Remarks
- The independence of is the point-source phenomenon behind the later false statement: moving the sphere without enclosing the origin changes the answer to , but changing only the radius does not.
Depends on
- Unit normal fields, orientations, and flux through a regular surface patch
- Regular parametrized surface patches on compact Jordan parameter regions
- Finitely patched regular surfaces, their area, scalar integrals, and flux
- The cross product in $\mathbb R^3$
- The derivatives of sine and cosine are cosine and minus sine
- Parity and the Pythagorean identity for sine and cosine
- Signs, monotonicity intervals, and ranges of sine and cosine
- $t\mapsto(\cos t,\sin t)$ is a bijection from $[0,2\pi)$ onto the real unit circle
- Fubini over a bounded Jordan set when all but a content-zero family of sections are integrable
- The second fundamental theorem: if $G$ is differentiable on $[a,b]$ with $G' = f$ and $f$ is integrable, then $\int_a^b f = G(b)-G(a)$
- The Euclidean inner product $\langle x,y\rangle = \sum_{k<n} x_k y_k$ on $\mathbb{R}^n$
- The divergence theorem on an elementary solid region
- Quarter-turn values and shifts by pi/2 and pi
Used by
Dependency tree · two levels
66 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- G. Strang and E. Herman, Calculus Volume 3, Theorem 6.21 (standard reference, not scraped)
- J. Feldman, A. Rechnitzer and E. Yeager, CLP-4 Vector Calculus, Example 4.4.8 (standard reference, not scraped)