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.
Planarity of the reduced orbit and the area law: the areal-velocity vector is the constant , the swept-area rate is , and both labels sweep equal areas in equal times about the centre of mass
The planar character of the reduced two-body orbit and the areal law, conditional on the adopted central-force model class: the attached angular-momentum vector is constant and orthogonal to the trajectory; for non-zero angular momentum the areal-velocity vector equals the constant and the swept-area function grows linearly; and each label sweeps a constant areal rate about the centre of mass with the mass-ratio factor . The result is a conditional deduction from the adopted model; it reports no observation, no measured value and no conservation beyond the conserved angular momentum of the central model.
Statement
Adopt the central-force model of Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions clause (i): masses , , reduced mass , static central pair potential , and a motion on a time interval with nonempty interior; let be its centre of mass, its relative coordinate, and the attached angular-momentum vector (Two-body reduction of a static central pair-potential model: the relative coordinate is a central-force trajectory for the reduced mass, the centre of mass moves uniformly, and the reconstruction is a bijection, Central-force trajectories: the central-force equation, angular momentum, energy and the effective potential). Then:
- (Plane.) is constant on , and and for every ; if , the relative trajectory is contained in the fixed plane through the force centre with normal .
- (Areal velocity.) Suppose and write . Let be polar data for in an oriented orthonormal triad with (Polar reduction of a non-radial central-force trajectory: , the effective-potential equation and energy conservation). Then , and the areal-velocity vector is constant and equal to ; in particular for all .
- (Equal areas in equal times.) With as in clause 2 and , the swept-area function is of class with ; hence for all in one has .
- (Both labels about the centre of mass.) With as in clause 2, for every , so each label's areal-velocity vector about the centre of mass is constant; their magnitudes are in the ratio .
Facts & Assumptions
Given: The central-force model of class (i) with masses , the motion on the time interval , its centre of mass , relative coordinate , and attached angular momentum ; where clause 2 or 3 is used, and is polar data in an oriented orthonormal triad with , .
Model and reduction (Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions clauses (i)-(ii), Two-body reduction of a static central pair-potential model: the relative coordinate is a central-force trajectory for the reduced mass, the centre of mass moves uniformly, and the reconstruction is a bijection clauses 1-4, Central-force trajectories: the central-force equation, angular momentum, energy and the effective potential): the relative coordinate is a central-force trajectory for with attached angular momentum and energy ; is affine with constant , and , on .
Angular momentum (Conservation of the angular momentum vector along a central-force trajectory and its orthogonality to position and velocity): along a central-force trajectory, is differentiable with on , hence constant, and for all .
Polar reduction (Polar reduction of a non-radial central-force trajectory: , the effective-potential equation and energy conservation, Oriented orthonormal triads in : existence over any unit vector, and the orthonormal expansion with no fourth orthogonal direction): if with , then there are twice differentiable and with and ; the polar coordinates are those of the cited item.
Cross-product and derivative rules (The cross product in , The cross product is bilinear, alternating, and orthogonal to both factors, Differentiation of sums, scalar multiples, inner products, cross products and squared norms of differentiable curves in , The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral): the cross product is bilinear with ; sums, scalar multiples and differences of differentiable curves differentiate componentwise, so and are computed by bilinearity and the product rule.
Calculus of the integral (Every continuous function on an interval has a primitive; two primitives differ by a constant; and for any primitive , Newton–Leibniz needs only continuity on , differentiability on , and a Riemann-integrable extension of the interior derivative, Sums, scalar multiples, products, absolute values, maxima, minima and quotients with nonvanishing denominator of continuous functions are continuous, as are constants, the identity and every polynomial function, Intervals of : the nine order-convex forms, nondegeneracy, and length): a continuous function on an interval has a primitive, differentiable with that derivative; and if is continuous on , differentiable on with integrable derivative, then .
Proof
Clause 1: by [L1] the curve is a central-force trajectory for , so [L2] gives on , hence constant, and for every . If this says exactly that every value lies in the plane through the origin of the relative coordinate with normal .
Clause 2: assume , . By [L3] there are polar data with and , the right side being positive, so the displayed rate identity holds. Since by definition, ; multiplying by gives , a constant vector, and taking norms gives .
Clause 3: the integrand is continuous on (products of continuous functions, [L5]); its primitive has by step 2.1, so is . For in , [L5] gives .
Clause 4: by [L1], and ; differentiating with [L4] gives and . By bilinearity of the cross product and from step 2.1, and similarly with the sign removed by the two sign changes in the second factor, giving ; both vectors are constant because is. Their norms are and , whose ratio is .
Remarks
-
Reading of the area law. is the polar sector integral of the reduced orbit; for a simple closed orbit traversed once in the positive polar orientation it is the area enclosed by the trajectory, and clause 3's increment is the standard statement that the radius vector to the force centre sweeps equal areas in equal times. The geometric identification of with an ordinary plane area for a general (possibly self-intersecting) orbit is not asserted here.
-
Non-zero angular momentum only. Clauses 2-4 require : for a radial relative motion the nonzero-angular-momentum parametrization is unavailable; a plane containing its constant radial direction and a constant polar angle may still be chosen, the areal-velocity vector vanishes identically, and the equal-area statement is vacuous. The radial case is treated in the scope remark of this page.
-
Frame and interpretation. The statement is read in one inertial frame; the plane and the constant are properties of the reduced model in that frame, and neither an observation nor an empirical claim is made.
Depends on
Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions
Two-body reduction of a static central pair-potential model: the relative coordinate is a central-force trajectory for the reduced mass, the centre of mass moves uniformly, and the reconstruction is a bijection
Central-force trajectories: the central-force equation, angular momentum, energy and the effective potential
Conservation of the angular momentum vector along a central-force trajectory and its orthogonality to position and velocity
Polar reduction of a non-radial central-force trajectory: , the effective-potential equation and energy conservation
Oriented orthonormal triads in : existence over any unit vector, and the orthonormal expansion with no fourth orthogonal direction
The cross product in
The cross product is bilinear, alternating, and orthogonal to both factors
Differentiation of sums, scalar multiples, inner products, cross products and squared norms of differentiable curves in
The Euclidean inner product on
The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral
Intervals of : the nine order-convex forms, nondegeneracy, and length
Every continuous function on an interval has a primitive; two primitives differ by a constant; and for any primitive
Newton–Leibniz needs only continuity on , differentiability on , and a Riemann-integrable extension of the interior derivative
Sums, scalar multiples, products, absolute values, maxima, minima and quotients with nonvanishing denominator of continuous functions are continuous, as are constants, the identity and every polynomial function
Dependency tree · 2 levels
Sources
- Konstantin Likharev, Essential Graduate Physics: Classical Mechanics (title page last edited September 1, 2026), Section 3.4, Eqs. (3.39)-(3.40), chapter page 9 (PDF page 42): the conserved $L_z=mr^2\dot\varphi$ and the derivation of Kepler's second law $\mathrm dA/\mathrm dt=L_z/(2m)$ from the area differential $\mathrm dA=\frac12r\,r\,\mathrm d\varphi$
- David Tong, Classical Dynamics (University of Cambridge), Section 2.5.4, printed pp. 31-32 (PDF pp. 37-38), Eqs. (2.83)-(2.84): the motion of the separation lies in the plane perpendicular to the conserved angular momentum $L=r_{12}\times p_{12}$, with the conserved $J=\mu r^2\dot\phi$
- Iain Stewart, Advanced Classical Mechanics (MIT 8.09/8.309 Fall 2014 course text), Section 4.5, printed page 79 (PDF page 82), Eq. (4.150): for any central potential the motion of the relative coordinate lies in the plane perpendicular to the conserved $L$ and $p_\psi=mr^2\dot\psi$ is constant