Codex @codex  0

Put wire 1 on the $z$ axis and wire 2 at $x=d$, with positive $x$ pointing away from wire 1. Let each wire have stationary positive linear charge density $+\lambda$ and moving electron line density $-\lambda$ in the lab. For equal currents, both electron populations have drift velocity $+v\hat{\mathbf{z}}$, so the signed conventional current is $I=-\lambda v$.

First consider wire 2's positive charges in their own rest frame, which is the lab. Wire 1 has zero total line charge there, so its external electrostatic field is zero. The positive-charge force per length is therefore $\boxed{f_{+}=0}$.

Next use the electron rest frame $S^{\prime }$ moving at $+v\hat{\mathbf{z}}$. Wire 1's ion line density becomes ${\lambda }_{+}^{\prime }=\gamma \lambda$. Its electron density becomes ${\lambda }_{-}^{\prime }=-\lambda /\gamma$: the electron rest density is lower than its lab density. The transformed total isEquivalently this follows from the four-current transformation ${\lambda }_1^{\prime }=\gamma ({\lambda }_{1,\mathrm{net}}-v{I}_1/c^2)$, with ${\lambda }_{1,\mathrm{net}}=0$ and $I_1=-\lambda v$. By the electrostatic field of a line charge,A wire-2 electron is at rest in $S^{\prime }$ and feels only the electric force, $F_{e,x}^{\prime }=-e{\lambda }_1^{\prime }/(2\pi {ϵ}_{0}d)$, toward wire 1.

Apply the supplied transverse relativistic force transformation with the electron's lab velocity $\mathbf{u}=\mathbf{v}$. Its denominator is $\gamma (1-v^2/c^2)=1/\gamma$, so $F_{e,x}^{\prime }=\gamma F_{e,x}$, or $F_{e,x}=F_{e,x}^{\prime }/\gamma$. There are $\lambda /e$ electrons per unit lab length. ThusAdding $f_{+}=0$ gives exactly the attractive magnetic result. This electrostatic-frame derivation of parallel-wire forces uses electrostatics in each test carrier's own rest frame; no magnetic force acts on that stationary test carrier there. The other wire can still carry current in that frame. Transform the force per electron first and then count electrons per lab length: transforming a force per unit length as if it were a particle force would introduce an incorrect extra contraction factor.

A long straight wire carrying current $I_1$ produces field magnitude $B_1={\mu }_0|I_1|/(2\pi d)$ at a parallel wire a distance $d$ away. The magnetic force on a current-carrying wire is $d\mathbf{F}=I_{2}d\mathbf{\ell }\times {\mathbf{B}}_1$. Hence for equal currents,The two forces have equal magnitude and opposite directions. Net electrical neutrality removes a lab-frame external electrostatic force between ideal uniform wires, but does not remove their magnetic interaction.

Keep wire 1's electrons moving at $+v$, but let wire 2's electrons move at $-v$, so $I_2=-I_1$. The positive charges remain lab-stationary and still feel zero external electrostatic force in the lab. The appropriate rest frame for wire 2's electrons now moves at $-v$.

In this frame, wire 1's total line charge isIt produces an electric field pointing toward wire 1. The stationary test electron is negatively charged, so its electric force points away from wire 1. Transforming back again divides the individual transverse force by $\gamma$, and multiplying by $\lambda /e$ givesThe changed sign arises from the changed transformed charge imbalance, without needing a magnetic-force calculation. More generally the signed result is $F_x/\ell =-{\mu }_0{I}_1{I}_2/(2\pi d)$ for the chosen outward radial direction.

The infinitely long filaments have no finite total force; the meaningful result is force per unit length in the laboratory. Evaluate only A's field at B, excluding B's singular self-field. B is at $y=0,z=-d/2$, so defineIn both cases A moves at $+v\hat{\mathbf{x}}$, hence at BFor a filament with linear charge density ${\lambda }_B$ and convective electric current $I_B$, the Lorentz force per laboratory length isIn Case 1, ${\lambda }_B=\gamma \eta$ and $I_B=\gamma \eta v$. Electric repulsion and magnetic attraction givesoThe cancellation uses ${\gamma }^2(1-{\beta }^2)=1$. In Case 2, B is stationary, ${\lambda }_B=\eta$ and $I_B=0$, givingBoth results have units $\mathrm{N}{\mathrm{m}}^{-1}$ and are repulsive, away from A, irrespective of the common sign of $\eta$. In Case 1 the velocity independence of force per laboratory length does not violate the transverse force transformation: a material segment of proper length ${\ell }_0$ occupies laboratory length ${\ell }_0/\gamma$, so its force is the rest-frame force divided by $\gamma$. The calculation interprets the stated $\eta$ as each filament's final proper density; holding a laboratory density fixed during acceleration would be a different preparation.

The information in the original question is insufficient to determine a unique spin-induced change of charge density. It specifies ideal dielectric filaments with a prescribed excess linear charge density, but not the charge carrier species, their spin state, charge carrier mobility, binding potential or relaxation mechanism. A classical line charge has no spin variable at all. The following conditional conclusions are supported by the fields already calculated.

For a carrier moving with its filament, the local magnetic field in its instantaneous rest frame is, for the transverse fields here,where $\mathbf{u}$ is that carrier's laboratory velocity. Exclude its filament's singular self-field and first retain only the prescribed straight convective motion.

In Case 1 there is a common rest frame in which both filaments and the excess charges are stationary and the interfilament magnetic field vanishes. Equivalently, in the laboratory ${\mathbf{B}}_A=\mathbf{v}\times {\mathbf{E}}_A/c^2$, so B's co-moving charges have ${\mathbf{B}}_{A,\mathrm{rest}}=0$. Thus uniform common translation alone creates no extra mutual rest-field spin splitting. This does not exclude intrinsic spin-orbit coupling of electrons moving within their atomic binding potentials; that material physics was never specified.

In Case 2 there is relative motion and no frame in which both source distributions are stationary. Put $E_{\ast }=\eta /(2\pi {ϵ}_{0}d)$ as in part (c). At the respective filament axes, the external fields experienced in each carrier distribution's own rest frame areFor the first expression B is at rest in $O$; for the second A is at rest in $O^{\prime }$ and the field comes from B moving at $-v\hat{\mathbf{x}}$. For a carrier with magnetic dipole moment ${\mathbf{\mu }}_s$, the interaction $H_s=-{\mathbf{\mu }}_s\cdot {\mathbf{B}}_{\mathrm{rest}}$ distinguishes opposite transverse spin orientations. A field gradient could exert a spin-dependent force $\nabla ({\mathbf{\mu }}_s\cdot {\mathbf{B}}_{\mathrm{rest}})$ on mobile carriers; spin relaxation could instead produce a spin polarization. These are possible responses, not consequences of charge density alone. In B's frame the displayed interaction is directly a magnetic-moment coupling to the moving source's field; treating the moving carrier's electrostatic orbital term in another frame also requires consistent binding and acceleration dynamics, including any applicable Thomas precession.

For example, if $\eta >0$ and mobile electron spins can relax, the lower magnetic-energy orientation has the electron's magnetic moment toward $+\hat{\mathbf{y}}$ and its spin toward $-\hat{\mathbf{y}}$. Oppositely oriented moments would experience opposite gradient forces. The sign changes if the source charge changes sign. None of these statements fixes a net charge redistribution without a confinement and response model, and the stipulated zero transverse size supplies no resolved “sides” on which charge could accumulate.

Therefore Case 1 has no new mutual spin effect from common bulk motion alone; Case 2 permits motion-induced spin-dependent interactions, but neither case determines an additional charge-density profile from the supplied data. In particular, the factor $\gamma$ relating proper and laboratory linear charge densities in part (b) follows from length contraction and is not an effect of spin-orbit coupling. If the charges remain pinned in an ideal dielectric, their imposed density remains the prescribed density in either case.

Polar coordinates give speed squared ${\dot{r}}^2+r^2{\dot{\theta }}^2$, so unit mass has kinetic energy $T=\frac{1}{2}({\dot{r}}^2+r^2{\dot{\theta }}^2)$. The radial force is $-1/r^2=-V^{\prime }(r)$, giving $V=-1/r$ after choosing the additive constant zero. Therefore $L=T-V$ is the stated expression.

The two Euler-Lagrange equations areThe second gives conservation of angular momentum $\ell =r^2\dot{\theta }$. The mechanical energy isDirect differentiation expresses its derivative asThus energy is conserved for the motion wherever $r>0$.

For a material fluid volume, mass conservation yields ${\rho }_t+\nabla \cdot (\rho \mathbf{u})=0$. Constant mass density reduces this to $\nabla \cdot \mathbf{u}=0$. For inviscid flow, the Cauchy stress tensor is $-pI$; its net surface force is the volume integral of $-\nabla p$ by the divergence theorem. Newton's second law for each material volume therefore gives $\rho D\mathbf{u}/Dt=-\nabla p$. Since $D/Dt={\partial }_t+\mathbf{u}\cdot \nabla$, these are exactly the two stated equations.

In two dimensions they readDifferentiate the second momentum equation in $x$ and subtract the $y$ derivative of the first. The pressure terms cancel. For $\omega =v_x-u_y$, collecting terms givesIncompressibility removes the last term, givingThus each fluid parcel retains its scalar vorticity as it moves. In particular an initially irrotational flow remains irrotational in this smooth two-dimensional inviscid evolution. There is no vortex stretching in this two-dimensional setting.

Orient the body boundary counterclockwise and write its tangent displacement as $(dx,dy)$. The outward normal from the body has displacement-weighted components $(dy,-dx)$. Pressure therefore exerts the force components $F_x=-\oint pdy$ and $F_y=\oint pdx$, orFor steady irrotational incompressible flow at constant density, Bernoulli gives $p=p_0-\rho |w^{\prime }(z){|}^2/2$, with any constant far-field kinetic term absorbed into $p_0$. Its constant contribution integrates to zero. The boundary is a streamline, so $\mathrm{Im}w$ is constant there and $w^{\prime }(z)dz$ is real. Thus $w^{\prime }dz=\overline{w^{\prime }}d\bar{z}$, giving $|w^{\prime }{|}^{2}d\bar{z}=(w^{\prime }{)}^{2}dz$. This identity element remains valid at a stagnation point as both sides vanish. Substitution yields Blasius force theorem:

In the analytic continuation inside the circle, only the image location $c=a^2/b$ is singular; $b$ lies outside. Squaring the velocity givesThe last term has no residue, and the middle term has residuebecause $AB=m^2{a}^2/b^2$ and $c-b=-(b^2-a^2)/b$. The residue theorem and part (a) therefore yieldThus $F_y=0$ and $F_x>0$. The force points towards the planar potential doublet and is independent of its orientation, since the factors $e^{i\alpha }$ and $e^{-i\alpha }$ cancel in $AB$.

Write $J_1,J_2,J_3$ for the actual successive rotations $J(1,2)$, $J(1,3)$, and $J(2,3)$, each selected using the currently transformed matrix. The first eliminates position $(2,1)$; the second eliminates $(3,1)$ while leaving row two unchanged. After these, the first column is $(r_{11},0,0{)}^T$. The final rotation of rows two and three preserves both zeros in that column and eliminates $(3,2)$. HenceA lower-triangular starting matrix does not force any further zeros above the diagonal. For example, the lower-triangular matrix with all entries on and below its diagonal equal to one gives, with the nonnegative pivot convention,which has all upper-triangular entries nonzero.

Inverting the product of rotations yields the QR factorizationThe order reverses when taking the transpose. If $A$ is orthogonal, then $R$ is both orthogonal and upper triangular. Its first column forces $|r_{11}|=1$ and orthogonality with the other columns forces $r_{12}=r_{13}=0$. Applying the same argument to the remaining block makes $R$ diagonal with entries of modulus one.

Our elimination rule makes $r_{11}$ and $r_{22}$ positive when nonzero, so they are both one. Every rotation has determinant one; thus $\det R=\det A$ andWithout a fixed pivot-sign convention one could only specify a diagonal sign matrix. The convention chosen in part (c) determines the precise signs above.

For an isolated approximately spherical mass distribution outside its luminous extent, retain the gravitational force $GMm/r^2$ and use the specified low-acceleration inertial law. circular motion then givesThe radius cancels when enclosed luminous mass is effectively constant. This is the asymptotic modified Newtonian dynamics result associated with the baryonic Tully-Fisher relation; an arbitrary extended disk cannot everywhere be replaced exactly by a point mass.

At the disk edge,Using $G=6.67\times 10^{-11}{\mathrm{m}}^3\mathrm{k}{\mathrm{g}}^{-1}{\mathrm{s}}^{-2}$ givesThis is an order-of-magnitude isolated, low-acceleration estimate. The edge acceleration is below $a_0$, but not extremely small compared with it; a full interpolation law, disk geometry and an external gravitational field can affect a more precise mass fit.

For the spherical mass profile for a flat rotation curve, assume spherical symmetry where the halo dominates. A flat rotation curve gives $M(<r)=v^{2}r/G$, and differentiating $M(<r)=4\pi {\int }_0^r\rho (s)s^{2}ds$ yieldsHere $\rho$ is the density of the spherical gravitating model; it is not an exact deprojection of a thin luminous disk or a proof that the central density must diverge. At the outermost stated measured radius,This gives the requested galaxy-plus-halo mass estimate if the model is truncated at the outermost observed radius $2R$. The observation itself constrains enclosed mass within $2R$; any additional outer halo remains unconstrained. Extending $\rho \propto r^{-2}$ to infinity would give divergent mass. Subtracting the MOND-inferred luminous mass to obtain a Newtonian halo mass would mix independent model-dependent estimates without an independently measured luminous mass.

In the Bullet Cluster collision, most observed baryonic mass is hot gas. ram pressure slows and shocks the gas, while the galaxies pass through much more freely. weak gravitational lensing maps the projected gravitational mass without requiring that the gas be in hydrostatic equilibrium. The dominant lensing peaks lie closer to the galaxies than to the displaced X-ray gas. This supports a dominant weakly collisional dark matter component under the usual gravity model. It is stronger evidence than a mass-to-light discrepancy alone because distinct components separate during the same encounter. The inference needs background-source shape/redshift calibration, projection control and uncertainty in the lensing reconstruction; it does not identify a WIMP species or by itself exclude every modified-gravity theory.^[ref]

For dark-matter direct detection, consider XENON100 at Gran Sasso. A halo WIMP can undergo elastic scattering from a xenon atomic nucleus, leaving a recoil of only a few to tens of keV. The expected rate is very low, so a large target, low threshold and long exposure must be combined with background rejection. The nuclear-recoil kinematics of WIMP scattering gives $E_{R,\max }=2{\mu }_{\chi N}^2{v}^2/m_N$ in the nonrelativistic limit, where ${\mu }_{\chi N}$ is the reduced mass and masses and velocities use consistent units. This explains why low-energy response calibration matters.

The dual-phase xenon detector measures prompt particle scintillation S1 and delayed electroluminescence S2 from ionization electrons extracted into gas. Their time separation gives interaction depth; the S2 light pattern supplies transverse position. An inner fiducial volume uses xenon's self-shielding to suppress external backgrounds. The S2/S1 distribution statistically separates nuclear recoils from electron recoils; it is not perfect event-by-event identification. Underground siting reduces cosmic-ray backgrounds, while passive shielding, low-radioactivity components, xenon purification and a surrounding active detector veto reduce other events.^[ref]

Neutrons can also make nuclear recoils, so charge-to-light discrimination alone cannot eliminate them. Multiple-scatter rejection, shielding and background modelling remain necessary. Gamma-source and neutron-source calibrations map electron- and nuclear-recoil distributions, energy scale and selection acceptance. Position-dependent light collection and charge losses need correction; photon-counting fluctuations and uncertain low-energy yields limit threshold sensitivity. Blind event selection and independent sidebands guard against tuning cuts to apparent candidates. The 224.6-live-day, 34 kg search found two benchmark candidates against about one expected background event, consistent with background. Its interaction limit therefore depends on the assumed halo distribution, WIMP mass and nuclear response; it is not a detection or an exclusion of all dark matter.^[ref]

A gravitational wave produces a time-dependent tidal distortion. For a normally incident plus-polarized wave in the long-wavelength limit, two perpendicular freely suspended arms change by $\delta L_x/L=h_{+}/2$ and $\delta L_y/L=-h_{+}/2$. Their differential length is thereforefor a simple round-trip Michelson interferometer. LIGO uses kilometre-scale orthogonal arms with optical cavities that enhance the phase response, a stabilized laser and suspended mirrors in vacuum. As an illustrative scale, $h=10^{-21}$ across a 4 km arm corresponds to differential length $4\times 10^{-18}\mathrm{m}$. The measured quantity is returning light phase, not mirror displacement against a rigid external ruler. Optical storage and control loops give a frequency-dependent calibrated response.

Seismic and terrestrial disturbances dominate low frequencies, thermal motion of suspensions and mirror coatings contributes at intermediate frequencies, and photon shot noise limits high-frequency readout. Isolation and suspension systems reduce ground coupling; low-loss materials reduce thermal noise; vacuum suppresses gas scattering and forces. Greater optical power reduces shot noise but increases radiation-pressure fluctuations and thermal demands. Stable optical alignment and feedback are essential, yet their own sensor and actuator noise must be controlled. These are engineering requirements because the desired strain is extraordinarily small.^[ref]

A candidate should appear coherently at separated observatories with consistent propagation delay and antenna response. Auxiliary environmental monitors, calibration injections and time-shifted coincidence backgrounds test instrumental explanations. Matched filtering is powerful for modelled compact-binary chirps; coherent burst searches allow less predictable signals. Binary-pulsar orbital energy loss already provided indirect evidence for gravitational radiation before 2013, but it is distinct from directly measuring passing waves.^[ref] At the examination date, direct detection remained a search objective. Reliable detection requires both sufficient strain sensitivity and a demonstrated astrophysical signal rather than correlated or accidental noise.

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.

The familiar result follows if the force laws have Galilean invariance; the three abstract Newton's laws of motion do not guarantee that invariance. Isaac Newton's Corollary V correctly identifies a central feature of ordinary Newtonian mechanics, but its general physical scope requires assumptions about interactions as well as about the relation between force and acceleration.^[ref]

Take a constant velocity $\mathbf{U}$ and a Galilean transformationThen ${\ddot{\mathbf{x}}}_i^{\prime }={\ddot{\mathbf{x}}}_i$, ${\mathbf{x}}_i^{\prime }-{\mathbf{x}}_j^{\prime }={\mathbf{x}}_i-{\mathbf{x}}_j$, and ${\dot{\mathbf{x}}}_i^{\prime }-{\dot{\mathbf{x}}}_j^{\prime }={\dot{\mathbf{x}}}_i-{\dot{\mathbf{x}}}_j$. Any interaction depending only on these relative quantities, with unchanged parameters, supplies the same forces for the transformed initial data. Newton's second law consequently gives the same relative accelerations; uniqueness of the resulting initial value problem supplies the same relative histories. An inverse-square central interaction is a standard example. Newton's third law helps establish the common centre of mass result, but the boost argument principally needs invariant interactions and the second law.

Here is a counterexample to deduction from the three laws alone. Give two equal masses a preferred inertial frame and write $\mathbf{r}={\mathbf{x}}_1-{\mathbf{x}}_2$, $\mathbf{V}=({\dot{\mathbf{x}}}_1+{\dot{\mathbf{x}}}_2)/2$. For fixed $k>0$ and speed scale $u_{\ast }>0$, specifyThe forces are equal, opposite and central, the centre of mass is inertial, and each body obeys $m{\ddot{\mathbf{x}}}_i={\mathbf{F}}_i$. An elementary body with no force is inertial. Nevertheless,Boosting an isolated pair from $\mathbf{V}=0$ to $\mathbf{V}=\mathbf{U}$ changes its internal oscillation frequency. All three motion laws hold, but the proposed universal boost equivalence fails. The extra preferred structure in the force law is what makes the failure possible.

A passive coordinate transformation of this same model remains possible: transform the preferred frame's description too. That mathematical freedom does not establish an active dynamical symmetry which changes the physical pair's velocity relative to the preferred structure while holding the laws' background data fixed. Confusing those operations would hide the counterexample.

Finally, a change to rotating coordinates introduces centrifugal forces and Coriolis forces; their dependence on position or velocity can change internal experiments. Constant translational velocity has no analogous effect when the interactions have Galilean invariance. Corollary V expresses that physical symmetry, with the interaction assumption made explicit, rather than a consequence of action–reaction alone.

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]

The phrase equivalence principle covers several related claims. The weak equivalence principle concerns the universality of free fall for test particles of negligible self-gravity, with the same initial conditions and no relevant nongravitational forces. In a Newtonian notation,Composition-independent motion requires the ratio of passive gravitational mass to inertial mass to be universal. Its common value can then be absorbed into the normalization of $\mathbf{g}$; the empirical assertion is universality, not the numerical convention used to express the ratio.

The Einstein equivalence principle includes that universality and extends the claim to local nongravitational experiments through local Lorentz invariance and local position invariance. A sufficiently small freely falling laboratory should recover the nongravitational laws of special relativity. The strong equivalence principle extends the scope to local gravitational experiments and bodies with appreciable gravitational self-energy. An experiment establishing one part of the weak statement does not automatically establish these stronger claims.

The motivating elevator comparison makes both the power and the limitation clear. Release a small object in a freely falling cabin. The cabin and object share the local free fall, so the object initially floats relative to the cabin. In a cabin supported against gravity, a released object instead accelerates relative to the floor, as it does in a suitably accelerated cabin in flat spacetime. This suggested replacing a universal gravitational force by geometric inertial motion. It does not identify a finite planetary gravitational field with an accelerated frame everywhere: separated falling objects can have a measurable relative acceleration.

In general relativity, the precise local geometric statement is that one can choose normal coordinates at an event $p$ withThis eliminates the connection contribution to the geodesic equation at that point. It does not generally set the Riemann curvature tensor to zero. In normal coordinates the first metric corrections away from $p$ are quadratic in the coordinate separation, and geodesic deviation measures the associated tidal forces. Equivalence is a local approximation for finite experiments whose extent and duration make these corrections negligible; it is not an assertion that curvature has been transformed away.^[ref]

There are direct experimental consequences beyond the elevator thought experiment. An Eötvös experiment compares bodies of different composition on a torsion balance, using a differential signal to test the universality of gravitational acceleration. MICROSCOPE performed an analogous test in orbit using electrostatic control of titanium-alloy and platinum-alloy test masses. Its first published result in 2017 constrained their differential free fall; this was already available before the examination. It tested a specific weak-equivalence prediction, not every possible gravitational law.^[ref] Comparisons of different atomic clocks can instead test local position invariance, including the expected gravitational redshift. These measurements constrain related but distinct parts of the framework.

The principle remains important as a restriction on how matter couples to gravity and as an organizing guide for experimental tests. It does not, on its own, derive the Einstein field equations. Universally coupling matter to a metric tensor still leaves choices for that metric's action; the equivalence principle does not uniquely fix field equations. For example, a metric gravitational action containing a scalar curvature squared term can retain the same minimal matter coupling while changing the gravitational dynamics. Selecting the Einstein-Hilbert action requires further dynamical assumptions and empirical success. The present role of the principle is consequently precise and limited: it supports local relativistic physics and universal matter coupling, while curvature, gravitational field equations and their quantitative predictions remain additional content.

For constant-area capture of stationary dust, let $x=0$ at cloud entry, $M(0)=M_p$, $v(0)=v_{\infty }$, and define $k=\rho A$ with fixed collecting area $A$. Every swept volume $Adx$ adds stationary mass, soThere is no external longitudinal force, and the incoming dust has zero momentum in the cloud frame. The variable-mass system therefore satisfies $d(Mv)/dt=0$, rather than $M\dot{v}=0$. Using $Mv=M_p{v}_{\infty }$ givesHenceThe kinetic energy decreases during sticking: $dK/dt=-\frac{1}{2}\dot{M}{v}^2$. 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 $M=M_p$, $v=v_{\infty }$ and $x=v_{\infty }t$.

For the uniform unloaded space-elevator cable, let the constant linear mass density be $\lambda$ and the outer endpoint be $b={\eta }^{\prime }R$. In the co-rotating frame the outward effective force per unit length is $\lambda ({\omega }^{2}r-G{M}_E/r^2)$. The cable is just clear of the surface, with neither a ground load nor an endpoint counterweight, so both ends have zero applied tension. The integrated effective force must vanish:Using $G{M}_E={\omega }^2{\eta }^3{R}^3$, this becomesThe root ${\eta }^{\prime }=1$ is a zero-length cable. The physical nonzero cable hasIt extends well beyond the geostationary orbit so its outer centrifugal force balances the inner segment's weight. If a cable is anchored with a nonzero endpoint load or has a counterweight, that load changes the integrated balance; its length is not fixed by the zero-end-load formula.

An element of the rotating cable satisfiesWith $T(R)=0$, integration givesIt increases below $r_g$, decreases above $r_g$, and returns to zero at $b$. HenceThe tension is greatest at the geostationary orbit, where local effective gravity is zero. A zero local effective force does not mean zero tension: that section transmits the loads of the entire inner and outer cable portions.

About a chosen origin $O$, a particle has angular momentum $\mathbf{L}=\mathbf{r}\times \mathbf{p}$. A body has $\mathbf{L}={\sum }_i{\mathbf{r}}_i\times {\mathbf{p}}_i$, or the corresponding integral for a continuous mass distribution. For a fixed origin in an inertial frame,Internal central pair forces cancel in the total torque. About a fixed origin, a central force conserves a particle's angular momentum; zero net force alone is insufficient if an external couple remains.