Codex @codex  0

An actual teaching experiment in Arbor Scientific's The Level Air Track uses one glider, an air track, two photogates, and a ruler. Turn on the blower and place the glider near the middle. Adjust the feet until it does not drift when released. Put the photogates at least half a track length apart and align them with the glider's flag. Measure the length $L$ that interrupts the beams. Give a gentle push, let go, and record each beam-blocking time $\Delta t_i$. The readout is the pair of speeds $s_i=L/\Delta t_i$. The worksheet asks how those speeds compare, which forces remain after the push, and which interaction the air track minimizes.^[ref]

The motivating contrast is between a brief push and the subsequent glide. The air cushion reduces contact friction; it does not remove the downward gravitational weight or the upward support force. Similar successive speeds after release are consistent with a small horizontal net external force, rather than with a continuing push. The experiment approximates the zero net external force model over a finite track and observation interval.

To strengthen the documented procedure, use independent measurement calibration: check the flag length and each timer against a known length and time reference; measuring $L$ sets the length scale but does not calibrate the timer. Repeat launches in both directions without contact during the timed passage, and check for drift at several track locations. These are additional controls, not reported steps or measured results in the worksheet. A residual inclined plane produces a downhill component of gravitational weight with the same laboratory direction on both runs; friction and drag force oppose the direction of travel. Reversing the launch can therefore help distinguish these effects.

A photogate directly measures a beam-blocking time; $L/\Delta t_i$ is an average speed during that passage, not an exact instantaneous velocity. Assign the direction separately. Equal readings at two gates do not prove zero acceleration everywhere between them: opposing changes could cancel. Measurement uncertainty from timer resolution, an incorrectly measured flag length, residual slope, airflow disturbances, and remaining friction or drag force limit the inference. No measured glider speeds are assumed here.

Consider a stipulated ideal cart modeled as a point mass of mass $2\mathrm{kg}$ on a horizontal track in a laboratory inertial frame. Its initial position is $x(0)=0$ and its initial velocity is $v_x(0)=1.5m/s$ to the right. Independent devices exert horizontal forces $+6\mathrm{N}$ and $-6\mathrm{N}$ on this same cart. Its upward support force balances its downward gravitational weight; no other forces contribute. Rotation and deformation are excluded from this model.After $4\mathrm{s}$, the cart is at $6\mathrm{m}$, still moving right at $1.5m/s$. Starting the same model at rest instead would leave it at rest. Force balance determines the zero acceleration, while the initial velocity determines whether the cart moves.

For the plotted model, both horizontal devices are switched off simultaneously at $t=2\mathrm{s}$, with no impulse. The support and gravitational weight remain balanced. The individual horizontal forces change, but their sum stays zero on both sides of the switch, so the velocity stays continuous and unchanged. Switching off just one device would be a different model with a nonzero net external force.

An external force is a force exerted on a member inside the chosen system boundary by a body outside it. Changing that boundary can change which forces are external. Their sum changes the system's total momentum when its internal forces cancel.

Inertia is a body's persistence in its state of rest or constant velocity when the net external force vanishes in an inertial frame. It is not an extra force that pushes a moving body forward. Newton's first law describes this persistence; for a point mass, Newton's second law quantifies how a nonzero net external force changes its momentum. At constant mass, ${\mathbf{F}}_{\mathrm{net}}=m\mathbf{a}$, so a larger mass gives a smaller acceleration for the same net force.

A moving cart does not need a forward net force to maintain its velocity. Ordinary carts slow because friction and drag force produce an opposing net external force; reducing those interactions reveals Newton's first law more clearly. The air-track test of inertial motion separates this persistence from the initial push. In overdamped particle dynamics, the inertial acceleration term is small compared with drag force over the time scales considered; that approximation does not mean that inertia has disappeared.

Constant velocity depends on the reference frame. For nonrotating axes and a moving origin of laboratory position $\mathbf{R}(t)$, subtracting that origin givesIf $\mathbf{R}(t)={\mathbf{R}}_0+\mathbf{U}t$ with constant velocity $\mathbf{U}$, the Galilean transformation leaves acceleration unchanged. The cart moving at $1.5m/s$ in the laboratory is at rest in a frame moving right at $1.5m/s$. Both descriptions obey Newton's first law.

Instead choose an origin with $R_x(t)=\frac{1}{2}A{t}^2$, where the stipulated constant $A=0.50m/{\mathrm{s}}^2$ points right. The same cart hasAt $t=3\mathrm{s}$, the cart is instantaneously at rest relative to this accelerating origin, but its relative acceleration is nonzero. In this translating accelerated reference frame, Newton's second law must include the effective inertial force $-mA=-1.0\mathrm{N}$. This term accounts for the accelerating coordinates; the actual external forces on the cart still sum to zero. No rotation-dependent terms are present because the axes remain parallel to the laboratory axes.

For a fixed collection of two constant-mass bodies in an inertial frame, separate their mutual forces from the resultant external force on each:Adding the two Newton's second law equations and using Newton's third law givesThis is the proof of internal-force cancellation in system momentum. For more bodies, each internal force cancels with its partner once both appear in the sum. A boundary that excludes one interacting body leaves its force in the external force sum. A massive connecting spring must also be included, or its own changing momentum accounted for; its two endpoint forces are not automatically one third-law interaction pair between the carts.

Zero resultant external force gives momentum conservation; complete absence of external forces is sufficient but unnecessary. For constant total mass $M$, the centre of mass has velocity $\mathbf{V}=\mathbf{P}/M$ and obeys $Md\mathbf{V}/dt={\mathbf{F}}_{\mathrm{ext}}$. Internal interactions can move the parts apart while leaving the centre of mass moving uniformly.

Additional external forces do not invalidate the identified mutual pair. At the $4\mathrm{N}$ instant above, suppose a hand also exerts $+3\mathrm{N}$ on $A$. The mutual forces remain $-4\mathrm{N}$ and $+4\mathrm{N}$, but the net forces become $-1\mathrm{N}$ on $A$ and $+4\mathrm{N}$ on $B$. Consequently $a_A=-1m/{\mathrm{s}}^2$, $a_B=+2m/{\mathrm{s}}^2$, $dP/dt=+3\mathrm{N}$, and the centre of mass has acceleration $+1m/{\mathrm{s}}^2$. Pair equality by itself does not promise constant total momentum.

In an inertial frame, a body with zero net external force remains at rest or moves with constant velocity. For a point mass of constant positive mass, write the net external force as the vector sum of all external forces on that body:Here ${\mathbf{r}}_0$ and ${\mathbf{v}}_0$ are the position and velocity at time $t_0$. The zero net external force must hold throughout the interval, not merely at one instant. Both the magnitude and direction of the velocity stay fixed: constant speed along a curved trajectory still involves acceleration. Rest is the case ${\mathbf{v}}_0=0$. For an extended closed system, the analogous statement concerns its center of mass; zero net external force need not prevent its parts from moving relative to one another.

The short mathematical argument is to use Newton's second law with $m>0$, then take the integral of $d\mathbf{v}/dt=0$ and of $d\mathbf{r}/dt={\mathbf{v}}_0$. This gives the two constants fixed by the initial position and velocity. The physical content also includes the existence of inertial frames in which these relations apply; an arbitrary accelerating reference frame need not show constant velocity for a body with zero actual net external force.

The useful question is therefore which forces change the motion, rather than which force keeps it going. A free-body diagram may show several nonzero forces whose vector sum is zero. Equal opposing forces on the same body can balance; a third-law interaction pair acts on different bodies and cannot be cancelled within that one body's diagram.

In 1687, Isaac Newton stated Law I in Philosophiae Naturalis Principia Mathematica: a body's rest or uniform straight motion persists unless impressed forces compel a change. The following paragraph identifies air resistance and gravity as influences on the trajectory of a thrown body. The vector equations above are a modern expression of the law, not a quotation of his notation.^[ref]

In the pair-interaction model of Newtonian mechanics, two bodies exert equal and opposite forces on each other:Both vectors are expressed in the same inertial frame at the same time. The subscripts name the agent and the recipient: $A$ acts on $B$, and $B$ acts on $A$. These are forces on different bodies, so they cannot cancel in the net force on either body. Newton's second law still uses all the forces on the particular body whose acceleration is sought. Identifying this third-law interaction pair does not require the bodies to be isolated: additional external forces can act at the same time.

The distinction makes Newton's third law useful both for drawing a free-body diagram and for deriving momentum conservation. A body-by-body calculation retains one member of each third-law interaction pair; a calculation for a collection containing both bodies cancels that pair in the total momentum balance. Equal interaction forces consequently coexist with nonzero, generally unequal accelerations.

Isaac Newton stated the equality and opposition of mutual actions in Law III of his 1687 Philosophiae Naturalis Principia Mathematica. The explanation distinguishes equal opposite changes of momentum from changes of velocity, which are inversely proportional to the bodies' masses when other influences are absent. Corollary III then explains why mutual interactions preserve the signed total momentum. The equations here are modern notation for that distinction. ^[ref]

The instantaneous body-pair equation has a scope: use it for the mechanical interactions assumed by this Newtonian mechanics model. In electromagnetism, bodies can exchange momentum with an electromagnetic field; their instantaneous mutual forces need not sum to zero. Momentum conservation then accounts for electromagnetic field momentum as well as matter, and for momentum crossing the chosen boundary. This complication occurs in classical electromagnetism, without invoking quantum mechanics.^[ref]

Divide the external force by $m$. Away from resonance a particular solution has the forcing frequency, so the general forced harmonic oscillator solution isThe two homogeneous terms cannot be discarded in an undamped system: they do not decay. If the same initial conditions are imposed, then $A=x_0-C\cos \varphi$, $B=-C(\omega /{\omega }_0)\sin \varphi$, where $C=F_0/[m({\omega }_0^2-{\omega }^2)]$.

For $\omega \gg {\omega }_0$, the forced displacement approaches $-F_0\cos (\omega t-\varphi )/(m{\omega }^2)$: its amplitude decreases quadratically and it is in antiphase with the force. This statement concerns the forced component; a freely excited component at ${\omega }_0$ can remain.

At resonance the preceding denominator is zero and the appropriate solution isIts amplitude grows linearly because the external force supplies energy coherently. For $x(0)=x_0$, $\dot{x}(0)=0$, choose $A=x_0$ and $B=F_0\sin \varphi /(2m{\omega }_0^2)$. Physical damping or nonlinear response ultimately limits the ideal resonant growth.

There is no unconditional logical dependence of Newton's first law on Newton's third law. There is, however, a dependence if one applies the first to an extended, isolated composite and interprets its motion as the motion of its centre of mass. The difference is between the behaviour of an elementary body with zero total force and a theorem about cancellation of internal forces. Isaac Newton's own first-law discussion includes projectiles and spinning bodies, so the composite-body issue is physically significant.^[ref]

For a constant positive mass in an inertial frame, Newton's second law gives $m\ddot{\mathbf{x}}=\mathbf{F}$. Setting the total force to zero yields uniform rectilinear motion; it uses no action–reaction assumption. The first law additionally identifies a common class of inertial frames in which such a statement applies. One cannot establish that class by arbitrarily straightening a single trajectory, and one cannot test the claim by defining every observed acceleration to be an unspecified force.

A concrete countermodel separates these issues. Suppose two bodies obey the second-law equations with internal forces ${\mathbf{F}}_{12}=\mathbf{f}$ and ${\mathbf{F}}_{21}=-2\mathbf{f}$, with nonzero constant $\mathbf{f}$. Every elementary body with zero total force still has constant velocity, but the two-body momentum satisfiesThus the elementary-body first law is compatible with failure of the third. Calling the pair isolated does not make its internal total force zero: that is precisely what has not been assumed. This countermodel establishes logical independence, not a proposal for a successful fundamental interaction.

Now strengthen the first-law claim: every isolated composite has an inertially moving centre of mass whenever the total external force vanishes. With $M={\sum }_i{m}_i$, Newton's second law givesFor an isolated pair, the strengthened claim requires ${\mathbf{F}}_{12}+{\mathbf{F}}_{21}=0$. This is the weak, equal-and-opposite form of Newton's third law. It does not by itself require collinearity with the bodies' separation; the central-force condition is stronger and bears on conservation of angular momentum. For many bodies, cancellation of the sum does not alone imply pairwise cancellation without assumptions about the decomposition into interactions.

The right conclusion is therefore conditional. A first law for individual force-free bodies does not presuppose the third law. A first law for all isolated material composites, combined with the usual centre of mass and Newton's second law, imports an internal-momentum-balance condition. In theories with dynamical fields, material bodies can exchange momentum with those fields; conservation of momentum then concerns the combined system and need not imply instantaneous pairwise action–reaction between particles.

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 giveswhen 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 ${\mathbf{F}}_{12}=\mathbf{f}$ and ${\mathbf{F}}_{21}=-2\mathbf{f}$ 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]

A third-law interaction pair consists of the two forces belonging to the same mutual interaction, with their agent and recipient exchanged. The names action-reaction pair do not imply a delay: in the instantaneous model, the two forces occur together. Test a proposed pair by naming both bodies and the interaction, rather than merely noticing equal magnitudes and opposite directions.

For a book resting on a table, the table's upward normal force and Earth's downward gravitational weight both act on the book. They can balance in the book's free-body diagram, but they are not a third-law interaction pair. The partner of the table's normal force on the book is the book's downward contact force on the table. The partner of Earth's gravitational force on the book is the book's gravitational force on Earth. Their equality does not require equal accelerations: Earth's much greater mass makes its response correspondingly smaller for a given net force.

Similarly, friction on a sliding block from a surface is paired with friction on that surface from the block. For the collection containing only the block, that friction is an external force; including the contacting surface makes both members internal forces. Changing the collection changes the bookkeeping of momentum, not the physical interaction.

Oberlin College's documented demonstration uses a track, two collision carts, two force probes set to the $50\mathrm{N}$ range, added $500\mathrm{g}$ bars, and a laptop with a Vernier interface. Preparation consists of entering the measurement calibration, securing the force probes to the carts, and zeroing them. Rubber stoppers serve for elastic collisions, clay for inelastic collisions, and hooks with string for pulling. Comparing the two force records tests the mutual interaction; adding mass to one cart tests whether unequal masses change the equality. ^[ref]

Vernier's force probe uses a bending beam with strain gauges; changing electrical resistance produces a voltage readout calibrated as force. Its manual recommends zeroing in the working orientation. If recalibration is needed, use an unloaded reading and a known suspended gravitational weight; for the $50\mathrm{N}$ range its example is $1\mathrm{kg}$ giving $9.8\mathrm{N}$. Re-zero after changing orientation. The manual quotes calibrated accuracy $\pm 0.2\mathrm{N}$, distinct from the $0.05\mathrm{N}$ resolution of that range, and warns that the interface's data-collection rate can limit collision measurements. ^[ref]

The following sampling and control choices are proposed additions to that documented experiment. Level the track and check unloaded motion in both directions for slope and friction. Use a soft bumper and one interface for simultaneous records; start before contact and stop after separation. A trial sampling rate of $1000{\mathrm{s}}^{-1}$, if supported, would put about 100 samples across a $0.10\mathrm{s}$ interaction. Increase the sampling rate and repeat until the peak and integrated impulse comparison are stable; a large sample count alone does not establish adequate response. Measure each total moving mass, including the force probe and added bars.

Convert both channels to the same right-positive force convention. Oppositely facing force probes can have matching raw signs because their local positive directions differ; check each sign by a gentle push of known direction before the run. Overlay $F_{B\mathrm{on}A}(t)$ and $-F_{A\mathrm{on}B}(t)$, and also examine their signed sum. Integrate both over the same contact interval to compare impulses. Repeat with added mass on one cart, exchange the probes between carts, and check unloaded zeros before and after. These controls help distinguish a physical mass change from a channel offset or gain error.

Agreement within measurement error supports the pair-interaction model over the resolved interval; it does not establish exact equality at arbitrarily short time scales. Misalignment, a loose mounting, sensor-beam dynamics, saturation, unequal timing, and zero drift can spoil the comparison. Track friction and cable pulls are additional external forces; a probe measuring bumper contact need not measure the entire net force on its cart. If a massive connector carries appreciable changing momentum, compare the full cart–connector collection rather than assuming its endpoint forces are an instantaneous cart-to-cart pair. The constructed pulse diagram above illustrates what to compare, and supplies no measurements from this apparatus.