There are two different issues: whether a law follows logically from the other laws, and whether an experiment can test it without assuming anything else. Newton's laws of motion have empirical content when combined with rules for identifying inertial frames, measuring mass and specifying forces. An experiment tests predictions of that combination. Calling every observed acceleration an otherwise unspecified force would remove the empirical constraint rather than verify Newton's second law. The distinction is central to the empirical testing of Newton's laws of motion.
Newton's first law contributes the claim that a common family of inertial frames exists: bodies with zero net external force have uniform straight motion in those frames. It is not enough to choose coordinates which straighten the trajectory of just one body; an admissible frame must accommodate many independent bodies and interactions. Once that frame and the ordinary constant-positive-mass form of Newton's second law are assumed,
This conditional deduction does not establish the existence of the required frame, or independently identify the physical circumstances in which the net force vanishes. Defining an inertial frame and then counting a straight trajectory as proof of the definition would not be a test.
Nevertheless, the law of inertia has testable implications in a network of assumptions. Consider low-friction motion along an air track: determine positions at measured times, reduce the known residual influences, and ask whether the remaining acceleration approaches zero in the same laboratory frame for different bodies. Rotating the frame changes the description through Coriolis forces and centrifugal forces; this dependence must be accounted for. No finite experiment establishes that every unmeasured influence is absent, but varying the apparatus can discriminate an interaction from a frame effect. A failed prediction is evidence against some part of the package, not automatically the isolated verbal statement of Newton's first law.
Newton's second law is more than a definition if the force law and mass assignments constrain predictions before the new acceleration is measured. For instance, independently characterize a spring's reproducible extension response, specify the same interaction in several configurations, and compare the resulting accelerations for different bodies. If its strength and every mass are freely refitted to each outcome, agreement is empty. If they are fixed by an independently checked model and calibration, the law predicts held-out trajectories. Such a test remains conditional on the spring model, initial conditions and frame identification; this is an instance of the Duhem problem, not a reason to deny all empirical content.
Newton's third law supplies a different constraint. For two bodies exchanging forces, Newton's second law gives
when there is no net external force. Equal-and-opposite interaction forces imply conservation of momentum for the pair. The two second-law equations alone do not require that cancellation: assigning and is algebraically consistent with both second-law equations while violating the third law. This is a logical countermodel, not a proposed isolated physical interaction. Measuring paired impulses or checking the pair's total momentum therefore tests an additional constraint, conditional on the assumed absence of momentum exchange with anything else.
The system boundary matters. In electromagnetism, matter can exchange momentum with the electromagnetic field. Instantaneous mechanical forces between two particles need not satisfy the simple pairwise statement, although total matter-plus-field momentum is conserved under the appropriate closed-system conditions. Likewise, Noether theorem can derive conservation of momentum from a translationally invariant action; that uses an extra symmetry assumption and does not derive the third law from the second alone.
Thus the first law is not an additional differential consequence once the full second-law framework is fixed, and the third law is not a consequence of that framework. All three can contribute to empirical tests, but none is tested in total isolation from frame, interaction and measurement assumptions. This preserves the difference between logical dependence and experimental testability.[ref]
For constant-area capture of stationary dust, let at cloud entry, , , and define with fixed collecting area . Every swept volume adds stationary mass, so
There is no external longitudinal force, and the incoming dust has zero momentum in the cloud frame. The variable-mass system therefore satisfies , rather than . Using gives
Hence
The kinetic energy decreases during sticking: . The lost energy becomes internal energy. Radiation, gravity, sputtering and changes in area are excluded by the ideal complete-collection model. The zero-density limit recovers , and .
A cyclic coordinate is absent explicitly from the Lagrangian: , even though may occur. The Euler-Lagrange equation then gives
Thus a continuous coordinate-translation symmetry gives a conserved conjugate momentum. The conserved quantity need not be ordinary linear momentum: an absent azimuthal angle can give conserved angular momentum. The derivative is taken holding the other coordinates and velocities fixed.
For the relativistic head-on elastic collision with a stationary target, use as stipulated, so masses are measured in energy units. The incoming momentum is and the invariant squared total four-momentum is
The centre-of-mass frame moves at , with . In this frame the incident particle has
A nontrivial head-on elastic collision reverses and preserves . Boosting back to the laboratory frame gives
The no-interaction forward branch instead leaves ; the requested formula describes the actual one-dimensional encounter and recoil.
Let and . Incoming material has zero horizontal momentum, while incorporation requires horizontal momentum . Thus the engine supplies force , and its power is
No duration or loading distance is given, so a single total work cannot be assigned. Over an interval in seconds,
The remaining becomes internal energy in the inelastic collision that brings the falling material to the wagon's horizontal velocity. Vertical falling kinetic energy, if any, is a separate contribution to dissipation; it does not alter this horizontal work balance. The source alternates between stone and coal; the calculation depends only on the given loading rate.
Let be the outgoing velocities. In the nonrelativistic elastic collision, equal masses give
by conservation of momentum and conservation of energy. Squaring the first relation and comparing with the second yields
If both particles move, their paths are perpendicular. If either velocity vanishes, its direction is undefined and the other particle carries all the incident momentum and kinetic energy. This conclusion depends on the stated approximation.
Let be the incident momentum and the outgoing magnitudes in the laboratory frame. Transverse conservation of momentum gives . For the nondegenerate symmetric scattering, , and the two outgoing energies are equal, . Then
Combining these mass shell relations yields
Here includes the incident electron's rest energy. As the limiting angle is , consistent with the nonrelativistic equal-mass elastic collision; at large the outgoing tracks become forward directed.
The incident particle obeys the energy–momentum relation . The stationary target contributes energy and zero momentum. A single product inherits the total four-momentum, so its invariant mass satisfies
Hence
Here is the incident total energy, including rest energy. In a one-particle final state, exact production of a specified mass fixes the incident energy; there is no adjustable final relative motion to absorb excess energy. A resonance with a finite decay width relaxes that ideal exact equality over its line shape.
Treat the atmospheric proton as stationary in the Earth frame, the incident antiproton as vertically downward, and neglect atmospheric energy loss, scattering and the Earth's curvature initially. Take . Conservation of energy and equal outgoing energies give
Equal energies imply equal momentum magnitudes. Their transverse momenta cancel, so the two muons have equal downward components , where
Each muon therefore makes an angle with the downward vertical satisfying
The paths are not both vertical: replacing their path lengths by would miss this two-body kinematic correction. Since , the proper flight time over vertical height is
For equal-energy atmospheric muon-pair survival, independent exponential particle decays with mean proper muon lifetime , both survive with probability
Equivalently each travels about , with proper flight time about , and survives with probability about . The result is decay-only survival to an ideal surface, not a prediction including air interactions or detector efficiency. For a spherical Earth of radius , the exact path length is ; inserting gives a small curvature correction.
Use nonrelativistic mechanics and let be the constant centre-of-mass velocity. In the centre-of-mass frame, conservation of momentum gives before and after the elastic collision. Thus , and the kinetic energy is
The decomposition and constant centre-of-mass velocity show that the elastic collision preserves , so the positive constant multiplying forces that speed to remain unchanged. The same momentum relation fixes the second speed:
Only their directions can change; the two velocities remain antiparallel in this frame. This derivation does not require a head-on collision.
Let be the transferred fuel mass. Before any engine reversal, rocket A has mass and velocity
For exhaust collection by a second rocket, under the stipulated eventual capture of all exhaust, final conservation of momentum for the complete initially stationary system gives . Thus
Capture is inelastic: no kinetic energy conservation for B is assumed. Finite exhaust flight time changes the intermediate sharing of momentum but not this endpoint balance if the stated complete capture actually occurs.
The ballistic exhaust interception condition is a physical restriction on that idealization. For purely ballistic exhaust to reach a receding collector to the rear, its laboratory velocity must be more negative than B's while interception occurs. In the negligible-flight-time approximation this requires . Very large fuel ratios need not meet that condition throughout a complete burn; the boxed endpoint formula is conditional on the prompt's complete-collection stipulation, not an unconditional prediction for every ballistic two-rocket geometry.
Neglecting exhaust flight time, no momentum is stored in transit and
Since the velocities have opposite signs, equal nonzero speeds imply equality of the instantaneous masses. For and , this occurs at , or . Therefore
The common-speed event occurs after of A's original fuel has been transferred, rather than when either rocket has its final mass. At this event the rearward exhaust still overtakes B: . Thus the interception restriction in b does not invalidate this event even though extending complete ballistic capture over the much later burn would need separate checking.
Put and . At reversal the transferred mass is , leaving A with and, after capture of that exhaust, B with . The first burn gives
After reversal A emits its remaining exhaust away from B, so B receives no further fuel and eventually coasts at this velocity. Applying the rocket equation with reversed thrust to A gives
Both now move toward negative x, but A moves faster in that direction. The asymptotic closing speed is
This conclusion does not require a burn rate or an initial separation: after a finite burn, the positive eventual closing speed closes any finite remaining gap. Those additional inputs would be required to calculate the meeting time. Any pre-reversal exhaust still in transit affects the timing, not B's eventual momentum after collecting that fixed amount.
Figure 1.
Signed velocities during exhaust collection and thrust reversal
. Original Newtonian calculations versus the fraction of original fuel consumed. Left: the equal-speed event in the ideal negligible-flight-time collection model; the later dashed extension is conditional on collection and can violate ballistic interception. Right: reversing thrust at 45 percent produces a small positive eventual closing speed. Details.
Four-momentum conservation fixes the outgoing system's invariant mass to the same . In the rest frame of particle 3, let particle 4 have energy and momentum . Each outgoing particle has rest mass , so
Consequently
Here is the total energy, including rest energy. At the production threshold , it reduces to , as it should. Production is kinematically possible only for . The initial rest mass drops out because the conserved total centre-of-mass energy, rather than the identity of the incoming particles, determines this outgoing relative motion.
When the block is free, becomes a dynamical generalized coordinate and its kinetic energy must be included. Expanding to quadratic order about the downward stationary state and dropping a constant gives
The coordinate is cyclic. Its conserved canonical momentum is the total horizontal momentum,
The two linear Euler-Lagrange equations are
Eliminating gives
Thus the pendulum with a freely sliding support has a zero-frequency translational mode and an oscillatory mode. With four independent constants , the general solution is
Here and is the horizontal centre of mass coordinate to first order, since . The oscillation is faster than that of a pendulum with a fixed pivot; the limit restores .
The photon propagates along in the tunnel frame and has energy and momentum . A Lorentz transformation into the approaching runner's frame gives
Since , the approaching-source relativistic Doppler effect is
It is a blueshift. With , solving gives
This shift depends on the relative velocity along the light ray, not on the tunnel length or the location of detection.
Take as the constant mass of the sled and rider when snow is immediately removed. Assume the falling snow has zero horizontal velocity in the ice frame, and its arrival rate is the specified constant mass flux onto the sled. In a snow-collecting sled, horizontal momentum flux, including the departing snow, determines the change in sled momentum.
Snow leaves perpendicular to the motion in the rider's frame, so its outgoing horizontal velocity in the ice frame is . During , incoming snow brings zero horizontal momentum and outgoing snow carries . Thus
Although the sled does not retain snow, it must continually supply the snow's departing horizontal momentum.
Snow now leaves with zero horizontal velocity in the ice frame, the same as its incoming horizontal velocity. The net horizontal momentum flux is zero:
Any forward momentum given to the snow on capture is returned to the sled while sweeping it off. “Perpendicular” specifies a different outgoing velocity here than in case A; changing the reference frame without transforming that velocity would miss this difference.
The snow remains aboard, so the moving mass grows as . Incoming snow contributes no horizontal momentum, and there is no horizontal external force. Therefore
The combined sled–snow system follows a variable-mass system balance; setting would omit the incoming mass term.