Alphabeta Math
CounterexampleConstruction: AI-adaptedVerification: 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.

A coefficient of restitution above 1 manufactures kinetic energy: e=2 on m1=m2=1 kg with velocities ±1 m s−1 raises the kinetic energy by 3 J while the configuration is unchanged

Physical scope

A hypothetical extension of the adopted impact model, replacing only its restitution range by arbitrary real e; a refutation of the claim that every real coefficient of restitution is admissible in the adopted isolated-impact model: with the collinear restitution law and e=2 on declared data, the kinetic energy rises by 3 J across an impact while the configuration is instantaneously unchanged, so the total mechanical energy of a conservative two-label model is not conserved; values e>1 therefore signal an omitted internal energy reservoir and are excluded from the conservative contact model of this page, which restricts e to [0,1]. The witness uses declared model data and asserts no measurement.

Statement refuted

False statement. If the collinear reciprocal-impulse equations of Adopted impact and open-mass extensions of the force branch: the isolated reciprocal impulse model, the collinear restitution contact law and the open-body material accounting clause (i) are retained but its clause (ii) is hypothetically extended to allow every real restitution coefficient e, then momentum conservation and v2+−v1+=−e(v2−−v1−) guarantee conservation of total mechanical energy across the impact in a static central-potential model.

The adopted postulate restricts e to [0,1], as do the restitution and energy clauses of Consequences of the adopted impact and open-mass models: continuity of total momentum, the smooth-force exclusion, the restitution solution with ΔK=−1−e22μ∥v2−−v1−∥22, and the open-body and rocket laws and Isolated reciprocal impulse with full-vector restitution: momentum jumps ±J, conservation of total momentum, the restitution solution and the kinetic-energy change −1−e22μ∥v2−−v1−∥22. Those clauses are not applied at e=2 here. The extension is a separate hypothetical law, and the post-impact velocities and energy difference below are derived locally from its equations. Only the elastic case e=1 guarantees kinetic-energy conservation for nonzero relative velocity within the adopted range.

Facts & Assumptions

Given: A unit vector n∈R3; two labels with declared masses m1=m2=1 kg; incoming velocities v1−=n m s−1, v2−=−n m s−1; the hypothetical momentum and restitution equations m1v1++m2v2+=m1v1−+m2v2− and v2+−v1+=−e(v2−−v1−) with e=2; and continuous positions across the contact. Take a static central pair potential u≡0, so U(x)=u(∣x1−x2∣)=0 and free motions away from the impact have constant mechanical energy. This is declared model data, not a measured collision.

[L1]

For positive masses and M=m1+m2, μ=m1m2/M, the two-body kinetic identity is m1∣v1∣2+m2∣v2∣2=M∣V∣2+μ∣v2−v1∣2 with V=(m1v1+m2v2)/M. This is an algebraic identity for all real vectors, independent of any restitution range. (Centre of mass, the identity ∑imiρi=0, and the splitting of the kinetic sum ∑imi∥xi′∥22 into centre-of-mass and relative parts (with the two-body reduced-mass case), The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn, Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame)

Counterexample

technique · direct
1.1givenL1algebra

In numerical SI coordinates, M=2, μ=1/2, V=0, d−:=v2−−v1−=−2n, and ∣d−∣2=4, since ∣n∣=1. The incoming kinetic energy is K−=(∣n∣2+∣−n∣2)/2=1 J.

2.1givenstep 1.1algebra

For any real e, put d+=−ed−. The momentum equation gives m1v1++m2v2+=MV and the restitution equation gives v2+=v1++d+. Substitution yields Mv1++m2d+=MV, hence v1+=V+(m2/M)ed− and v2+=V−(m1/M)ed−. These vectors satisfy both equations, so they are the unique outcome of the hypothetical law. At e=2 they are v1+=−2n and v2+=2n in metres per second; their total momentum is zero, and J=m1(v1+−v1−)=−3n=−m2(v2+−v2−) in kilogram metres per second.

3.1step 1.1step 2.1L1algebra

Directly K+=(4∣n∣2+4∣n∣2)/2=4 J, so ΔK=3 J. More generally, [L1] for the incoming and outgoing pairs and the equations of step 2.1 give ΔK=μ(∣d+∣2−∣d−∣2)/2=μ(e2−1)∣d−∣2/2 for every real e: the common center-of-mass term cancels and ∣ed−∣2=e2∣d−∣2 by the Euclidean coordinate formula. This is a local derivation, not an application of a restricted impact theorem outside its hypotheses.

4.1givenstep 2.1step 3.1L2algebra

The declared potential is identically zero, hence unchanged across the continuous configuration. Consequently Δ(K+U)=3 J>0, which refutes the universal across-impact conservation assertion. To realize the endpoint data by free paths, in numerical metres and seconds take t∗=0, I=(−1/4,1/4), x1(t)=tn for t<0 and x1(t)=−2tn for t≥0, and x2(t)=(1−t)n for t<0 and x2(t)=(1+2t)n for t≥0. Both positions are continuous, their derivatives are the stated velocities, their accelerations vanish off zero, and the separation is 1−2t>0 before zero and 1+4t>0 after zero. Thus the zero-potential free dynamics away from the impulse are consistent with the hypothetical endpoint law on a collision-excluded domain.

5.1step 1.1step 3.1step 4.1algebra∎

For the adopted range 0≤e≤1, the locally derived formula in step 3.1 is nonpositive and vanishes precisely when e=1 or d−=0. At e=2, it is strictly positive for the nonzero incoming relative velocity of step 1.1. Therefore allowing every real e does not give a conservative contact law for the two-label mechanical-energy account; it requires an additional energy input if conservation of an enlarged account is imposed. The example asserts no empirical energy reservoir or measured restitution coefficient.

Remarks

The hypothetical extension preserves the reciprocal momentum account but changes the adopted restitution range. Its energy gain comes from an explicit local computation. It does not claim that the adopted postulate admits e>1, or apply its restricted theorems at such values.

Depends on

Dependency tree · 2 levels

Sources