Alphabeta Math
Physics theoremStatement: AI-adaptedProof: 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.

Planarity of the reduced orbit and the area law: the areal-velocity vector is the constant j/(2μ), the swept-area rate is J/(2μ), and both labels sweep equal areas in equal times about the centre of mass

Physical scope

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 j/(2μ) 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 (m2/m1)2. 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 m1,m2>0, M=m1+m2, reduced mass μ=m1m2/M, static central pair potential u∈C2(J0), and a motion x:I→Q on a time interval I with nonempty interior; let X be its centre of mass, r=x1−x2 its relative coordinate, and j:=μ r×r′ 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:

  1. (Plane.) j is constant on I, and ⟨r(t),j⟩=0 and ⟨r′(t),j⟩=0 for every t∈I; if j≠0, the relative trajectory is contained in the fixed plane {y∈R3:⟨y,j⟩=0} through the force centre with normal j.
  2. (Areal velocity.) Suppose j≠0 and write J:=∣j∣>0. Let (ρ,θ) be polar data for r in an oriented orthonormal triad with e3=j/J (Polar reduction of a non-radial central-force trajectory: ρ2θ′=J/μ, the effective-potential equation and energy conservation). Then ρ2θ′=J/μ>0, and the areal-velocity vector ω(t):=12 r(t)×r′(t) is constant and equal to j/(2μ); in particular ∣ω(t)∣=J/(2μ) for all t.
  3. (Equal areas in equal times.) With (ρ,θ) as in clause 2 and t0∈I, the swept-area function A(t):=12∫t0tρ(s)2θ′(s) ds(t∈I) is of class C1 with A′≡J/(2μ); hence for all t0<t1 in I one has A(t1)−A(t0)=(t1−t0)J/(2μ).
  4. (Both labels about the centre of mass.) With j≠0 as in clause 2, for every t∈I, 12(x1(t)−X(t))×(x1(t)−X(t))′=(m2M)2ω(t),12(x2(t)−X(t))×(x2(t)−X(t))′=(m1M)2ω(t), so each label's areal-velocity vector about the centre of mass is constant; their magnitudes are in the ratio (m2/m1)2.

Facts & Assumptions

Given: The central-force model of class (i) with masses m1,m2, the motion x:I→Q on the time interval I, its centre of mass X, relative coordinate r, and attached angular momentum j=μr×r′; where clause 2 or 3 is used, j≠0 and (ρ,θ) is polar data in an oriented orthonormal triad with e3=j/J, J=∣j∣.

[L2]

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, j is differentiable with j′(t)=0 on I, hence constant, and ⟨r(t),j(t)⟩=⟨r′(t),j(t)⟩=0 for all t.

[L3]

Polar reduction (Polar reduction of a non-radial central-force trajectory: ρ2θ′=J/μ, the effective-potential equation and energy conservation, Oriented orthonormal triads in R3: existence over any unit vector, and the orthonormal expansion with no fourth orthogonal direction): if j=Je3 with J>0, then there are twice differentiable ρ:I→(0,∞) and θ:I→R with r=ρ(cos⁡θ e1+sin⁡θ e2) and ρ2θ′=J/μ; the polar coordinates are those of the cited item.

[L4]

Cross-product and derivative rules (The cross product in R3, 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 R3, The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral): the cross product is bilinear with u×u=0; sums, scalar multiples and differences of differentiable curves differentiate componentwise, so j=μr×r′ and (xi−X)′=xi′−X′ are computed by bilinearity and the product rule.

Proof

technique · direct
1.1givenL1L2algebra

Clause 1: by [L1] the curve r is a central-force trajectory for (μ,u), so [L2] gives j′=0 on I, hence j constant, and ⟨r(t),j⟩=⟨r′(t),j⟩=0 for every t. If j≠0 this says exactly that every value r(t) lies in the plane through the origin of the relative coordinate with normal j.

2.1step 1.1L1L3L4algebra

Clause 2: assume j=Je3, J>0. By [L3] there are polar data (ρ,θ) with r=ρ(cos⁡θ e1+sin⁡θ e2) and ρ2θ′=J/μ, the right side being positive, so the displayed rate identity holds. Since j=μr×r′ by definition, r×r′=j/μ; multiplying by 12 gives ω=12r×r′=j/(2μ), a constant vector, and taking norms gives ∣ω∣=J/(2μ).

3.1step 2.1L3L5algebra

Clause 3: the integrand s↦ρ(s)2θ′(s) is continuous on I (products of continuous functions, [L5]); its primitive A has A′=12ρ2θ′=J/(2μ) by step 2.1, so A is C1. For t0<t1 in I, [L5] gives A(t1)−A(t0)=∫t0t1A′=(t1−t0)J/(2μ).

4.1step 2.1L1L4algebra∎

Clause 4: by [L1], x1−X=m2Mr and x2−X=−m1Mr; differentiating with [L4] gives (x1−X)′=m2Mr′ and (x2−X)′=−m1Mr′. By bilinearity of the cross product and 12r×r′=ω from step 2.1, 12(x1−X)×(x1−X)′=(m2M)212r×r′=(m2M)2ω, and similarly with the sign removed by the two sign changes in the second factor, giving (m1M)2ω; both vectors are constant because ω is. Their norms are (m2M)2J2μ and (m1M)2J2μ, whose ratio is (m2/m1)2.

Remarks

  • Reading of the area law. A 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 A 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 j≠0: 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 j are properties of the reduced model in that frame, and neither an observation nor an empirical claim is made.

Depends on

Dependency tree · 2 levels

Sources