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 manufactures kinetic energy: on with velocities raises the kinetic energy by while the configuration is unchanged
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 on declared data, the kinetic energy rises by across an impact while the configuration is instantaneously unchanged, so the total mechanical energy of a conservative two-label model is not conserved; values therefore signal an omitted internal energy reservoir and are excluded from the conservative contact model of this page, which restricts to . 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 , then momentum conservation and guarantee conservation of total mechanical energy across the impact in a static central-potential model.
The adopted postulate restricts to , 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 , and the open-body and rocket laws and Isolated reciprocal impulse with full-vector restitution: momentum jumps , conservation of total momentum, the restitution solution and the kinetic-energy change . Those clauses are not applied at 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 guarantees kinetic-energy conservation for nonzero relative velocity within the adopted range.
Facts & Assumptions
Given: A unit vector ; two labels with declared masses ; incoming velocities , ; the hypothetical momentum and restitution equations and with ; and continuous positions across the contact. Take a static central pair potential , so and free motions away from the impact have constant mechanical energy. This is declared model data, not a measured collision.
For positive masses and , , the two-body kinetic identity is with . This is an algebraic identity for all real vectors, independent of any restitution range. (Centre of mass, the identity , and the splitting of the kinetic sum into centre-of-mass and relative parts (with the two-body reduced-mass case), The Euclidean inner product on , Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame)
A static central pair model permits the declared smooth potential ; the units of velocity and energy are metres per second and joules, respectively. (Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions, Dimensions and SI unit conventions of the non-relativistic classical mechanics framework, Intervals of : the nine order-convex forms, nondegeneracy, and length)
Counterexample
In numerical SI coordinates, , , , , and , since . The incoming kinetic energy is .
For any real , put . The momentum equation gives and the restitution equation gives . Substitution yields , hence and . These vectors satisfy both equations, so they are the unique outcome of the hypothetical law. At they are and in metres per second; their total momentum is zero, and in kilogram metres per second.
Directly , so . More generally, [L1] for the incoming and outgoing pairs and the equations of step 2.1 give for every real : the common center-of-mass term cancels and by the Euclidean coordinate formula. This is a local derivation, not an application of a restricted impact theorem outside its hypotheses.
The declared potential is identically zero, hence unchanged across the continuous configuration. Consequently , which refutes the universal across-impact conservation assertion. To realize the endpoint data by free paths, in numerical metres and seconds take , , for and for , and for and for . Both positions are continuous, their derivatives are the stated velocities, their accelerations vanish off zero, and the separation is before zero and after zero. Thus the zero-potential free dynamics away from the impulse are consistent with the hypothetical endpoint law on a collision-excluded domain.
For the adopted range , the locally derived formula in step 3.1 is nonpositive and vanishes precisely when or . At , it is strictly positive for the nonzero incoming relative velocity of step 1.1. Therefore allowing every real 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 , or apply its restricted theorems at such values.
Depends on
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
Consequences of the adopted impact and open-mass models: continuity of total momentum, the smooth-force exclusion, the restitution solution with , and the open-body and rocket laws
Isolated reciprocal impulse with full-vector restitution: momentum jumps , conservation of total momentum, the restitution solution and the kinetic-energy change
Centre of mass, the identity , and the splitting of the kinetic sum into centre-of-mass and relative parts (with the two-body reduced-mass case)
Adopted central-force model class: static central pair potentials, the reduced one-label problem, the fixed-centre idealization, reading conventions and exclusions
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
Intervals of : the nine order-convex forms, nondegeneracy, and length
The Euclidean inner product on
Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame
Dependency tree · 2 levels
Sources
- Jacob Moore and Contributors, Mechanics Map (Pennsylvania State University, 2nd ed.), Engineering LibreTexts, §11.4: the coefficient of restitution between 0 and 1, with the remark that values above 1 would describe a superelastic collision in which additional stored energy is released
- Richard Fitzpatrick, Newtonian Dynamics (University of Texas at Austin), §6.5, Eqs. (368)-(396): the elastic two-body collision with kinetic energy preserved, the conservative case against which the superelastic witness is contrasted