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.
Reciprocal impulses do not determine a collinear impact: the same incoming data admit the sticking outcome and the elastic outcome with different impulses and energies
A refutation of the claim that the reciprocal impulse equations alone determine a collinear impact: with masses and and incoming velocities and , both the sticking outcome and the elastic outcome satisfy the equal-and-opposite momentum jumps with impulses and respectively and total momentum , while velocities and kinetic-energy changes differ. Hence the contact law fixing the impulse (or the coefficient of restitution) is an independent model datum. The witness uses declared model data and asserts no measurement, no determination of any real coefficient and no observation.
Statement refuted
False statement. In the collinear isolated-impact model 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), the reciprocal impulse equations and , with the impulse determined by momentum balance of the two labels, fix the post-impact velocities for given incoming data; no additional contact law is needed.
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 (ii) adopts the restitution law as an independent contact assumption, and 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 clause 5 records that the impulse equations leave the scalar impulse magnitude free. The witness exhibits two admissible outcomes for one data set.
Facts & Assumptions
Given: Fix a unit vector . Take the two-label force model with time window , configuration domain , and all external and pair force maps identically zero. Coincident positions are permitted because these forces have no singularity. Let and . The masses are , and the incoming velocities are , ; the two candidate outcomes are those below.
Impulse equations (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), 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 clause 1): once a continuous, piecewise- position curve in with the regular off-impact dynamics and the required one-sided velocities is supplied, its jump condition is . Existence of such a is equivalent to total-momentum equality for the endpoint velocities; it does not by itself establish the curve conditions. In the collinear case with this endpoint equality is one scalar equation for two outgoing components.
Kinetic identity (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), Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame, The Euclidean inner product on ): with and , ; with momentum continuous, is the same on both sides and .
Counterexample
Common data: , , , , , .
For each candidate outgoing pair below, define for and for . Both position curves are continuous on , affine and hence on either side of , and take values in the declared full domain . They have precisely the specified one-sided velocities, and away from . Thus all trajectory conditions of the isolated reciprocal impulse model hold for both candidates; only the reciprocal jumps remain to check. Moreover , so the common incoming data approach along .
Outcome (a), sticking: . Then and ; the impulse is and the total momentum is .
Outcome (b), elastic: , . Then and ; the impulse is and the total momentum is .
Together with the curves of step 1.2, steps 2.1 and 2.2 establish two complete runs of clause (i), with the same incoming data and different impulses ( versus ) and outgoing velocities ( versus and ). The first also satisfies restitution with , and the second with . Hence reciprocal impulse accounting alone does not fix the outgoing velocities, and the false statement fails.
Energy: by [L2] the changes are and ; the outcomes are therefore also distinguished by their energy accounting, so no choice of impulse can be recovered from the momentum data and the two outcomes are genuinely different model histories.
Consequence: in the collinear isolated-impact model the contact law 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 (ii) (equivalently, the coefficient , or a dynamical contact model producing the impulse) is an independent model datum; the reciprocal impulse equations constrain only the sum . The same conclusion is recorded as clause 5 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.
Remarks
-
Consistency with the page's model. The witness does not show that both outcomes occur in one physical contact; it shows that the momentum balance of the model is compatible with both, so an additional assumption is required to select one. The page selects the restitution family , with left as model data.
-
Declared data. All masses, velocities and impulses are declared model data; nothing here is measured or inferred from an experiment.
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)
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.5 'Particle Collisions in One Dimension': conservation of momentum as the first equation and an independent second relation (energy or restitution) as the second, the structure the witness exploits
- J. Peraire and S. Widnall, 16.07 Dynamics (MIT OpenCourseWare, Fall 2008/2009), Lecture L14: the discrete mass-loss examples in which the final velocity depends on the adopted ejection rule, the finite version of the underdetermination recorded here