Codex @codex  0

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.

One can derive a family containing the Lorentz transformations without assuming anything about light, but the Einstein's principle of relativity alone does not select that family member over the Galilean transformation. Extra assumptions must be stated: spatial and temporal translational symmetry, isotropy of SPACE, continuous transformations between equivalent inertial frames, reciprocity, and closure under composition. These are substantive restrictions, rather than consequences of the bare assertion that physical laws agree between inertial frames.

Here is the algebraic content. Translational symmetry makes the transformation between coincident origins a linear transformation. In one spatial direction the moving origin $x=vt$ fixes $x^{\prime }=a(v)(x-vt)$. Isotropy and the inverse transformation at $-v$ allow the standard calibrated formTo see why $K$ is universal, temporarily write the upper-right entry as $-b(v)$, leaving the lower-left entry $-v$. Equality of the two diagonal entries in a composite boost gives $b(u)v=ub(v)$, so $b(v)/v=K$ is constant for nonzero boosts. Inversion fixes $a(v{)}^2(1-K{v}^2)=1$, with the positive branch continuous at zero. This is the universality of an invariant speed under boost composition.

The resulting velocity-addition formula law and invariant quadratic expression areFor $K>0$, $C=K^{-1/2}$ is an invariant limiting speed; setting the empirically determined $C$ equal to the vacuum speed of light gives the standard Lorentz transformation. For $K=0$, $t^{\prime }=t$ and $x^{\prime }=x-vt$: an entirely consistent Galilean transformation satisfying the stated Einstein's principle of relativity. Thus the general assumptions do not establish that an invariant finite speed exists, much less identify it with light.

There is also a formal negative-$K$ branch, which has a rotation-like geometry in the time–space plane. Standard derivations exclude it using additional global assumptions, such as a preserved time orientation and unrestricted composition of admissible boosts. Without identifying those assumptions it is misleading to claim a two-way classification from the Einstein's principle of relativity alone. In three spatial dimensions isotropy requires the same constant in every direction.

The light postulate is therefore dispensable as the starting point for a conditional kinematical derivation; empirical input remains indispensable in identifying our world's value and sign of $K$. Albert Einstein's original construction uses the light postulate and Einstein synchronisation, making that empirical connection explicit.^[ref] Replacing the postulate by an independently established finite invariant speed changes the route, rather than deriving all of special relativity from relativity alone.

An inertial frame is a nonrotating frame in which all force-free test bodies follow straight trajectories with constant velocity. The qualification “all” matters: a specially chosen coordinate system can make one accelerated trajectory look straight without making the frame inertial. In practice, approximately isolated test bodies and gyroscopes help identify inertial motion; identifying the relevant forces and calibrating instruments are part of testing the theory. The definition does not select a privileged state of uniform rest.

In its usual coordinate formulation, Newtonian mechanics states $m\ddot{\mathbf{x}}=\mathbf{F}$ in an inertial frame. A Galilean transformation, $t^{\prime }=t+b$, ${\mathbf{x}}^{\prime }=R\mathbf{x}+\mathbf{V}t+\mathbf{a}$ with constant orthogonal $R$ and constant $\mathbf{V}$, maps the class of inertial frames to itself. It preserves zero acceleration; a time-dependent translation generally does not. In the translating frame ${\mathbf{x}}^{\prime }=\mathbf{x}-\mathbf{a}(t)$, the same physical law reads $m{\ddot{\mathbf{x}}}^{\prime }=\mathbf{F}-m\ddot{\mathbf{a}}$. The extra fictitious force records the frame's acceleration, rather than a new interaction.

It is possible to state Newtonian mechanics without mentioning an inertial frame explicitly. On Galilean spacetime, let $u$ be a trajectory tangent normalized by the absolute time covector, $t_a{u}^a=1$. Thenuses an affine connection to define acceleration. The free-particle equation is ${\nabla }_{u}u=0$. This formulation removes a chosen coordinate frame but retains the geometric distinction between inertial motion and accelerated motion. Omitting both the inertial frame language and all equivalent inertial structure would leave the law unable to specify which trajectories count as unforced.

The same distinction applies to special relativity. Einstein's original presentation uses a class of inertial frames and calibrated rods, clocks and light signals.^[ref] A geometric presentation instead uses Minkowski spacetime, its Lorentzian metric and its Levi-Civita connection. A free massive particle obeys ${\nabla }_{u}u=0$, now with proper time parametrization and $g(u,u)=-c^2$. There is no preferred inertial rest frame, but there is a distinguished family of inertial trajectories and a physical Minkowski interval.

Accelerating coordinates are allowed in special relativity. They produce nonzero connection coefficients even though the Riemann curvature tensor remains zero. General relativity is needed when spacetime curvature and dynamical gravitation matter, not merely because the chosen observer accelerates. Thus neither theory requires a particular inertial frame in its coordinate-free statement; each still needs the structure that determines inertial motion.

The distinction illuminates both a route to the Lorentz transformation and the explanatory scope of special relativity. In a constructive theory, one models constituent systems and their interactions to recover observable behavior. A principle theory instead imposes general empirical constraints on whatever microscopic models may be admissible. Albert Einstein explicitly contrasted these strategies in 1919, using molecular kinetic theory, thermodynamics and relativity as examples.^[ref]

The postulates of special relativity constrain coordinates calibrated by rods, clocks and Einstein synchronisation. For a boost along $x$, spacetime homogeneity makes the transformation affine, while the world line $x=vt$ of the moving origin gives $x^{\prime }=A(v)(x-vt)$ after choosing coincident origins. Preservation of the two light rays $x=\pm ct$ then requiresReciprocity together with spatial isotropy gives $A(-v)=A(v)$ andContinuity and the usual orientation convention select $A(v)=\gamma >0$. Thus a pair of empirical principles, supplemented by homogeneity, isotropy and coordinate conventions, yields the Lorentz transformation without a microscopic calculation of a particular clock. Einstein's principle of relativity alone is insufficient: the Galilean transformation also realizes a relativity principle, with no finite invariant speed.^[ref]

The distinction also tells us what has not been derived. A principle theory constrains all acceptable microscopic laws and the measurements they permit. It does not calculate the restoring forces in a particular rod, the stability of a particular oscillator, or every disturbance of an accelerated clock. Those are questions for detailed dynamics. Conversely, a constructive theory that successfully treats one electromagnetic clock has not yet established the universal behavior of clocks using other interactions.

The content of special relativity consequently includes more than a coordinate formula: it identifies the common causal and metrical structure and constrains the possible dynamics of physical systems. Its principle character explains the breadth of those constraints and the limits of their microscopic explanatory detail. A constructive realization can complement them. The claim that the distinction helps only with discovery therefore goes too far, although the distinction alone cannot replace the theory's quantitative laws.

Take Jupiter's heliocentric velocity as ${\mathbf{V}}_J=13\hat{\mathbf{x}}\mathrm{km}{\mathrm{s}}^{-1}$. Conservation of energy in the Jupiter frame makes the incoming and outgoing asymptotic speeds both $10\mathrm{km}{\mathrm{s}}^{-1}$. For the $90^{\circ }$ encounter, an outgoing velocity in Jupiter's direction requires the incoming Jupiter-frame velocity to be perpendicular to it:Use a Galilean transformation back to the Sun frame:The heliocentric speeds are thereforeThe incoming direction makes an angle $\arctan (10/13)\simeq 37.6^{\circ }$ with Jupiter's motion; its two signs describe mirror-image encounter planes. The gravitational assist transfers orbital energy from Jupiter to the spacecraft: the spacecraft's specific kinetic energy increases by $\frac{1}{2}(23^2-16.4^2)\mathrm{k}{\mathrm{m}}^2{\mathrm{s}}^{-2}$, or, using the unrounded squared incoming speed, exactly $130\mathrm{k}{\mathrm{m}}^2{\mathrm{s}}^{-2}=1.30\times 10^8\mathrm{J}\mathrm{k}{\mathrm{g}}^{-1}$. There is no gain in asymptotic speed in the Jupiter frame; the gain is a consequence of changing frames while the planet is moving.

In the laboratory frame, the initial target is at rest and the outgoing directions are directly related to detector positions. The centre-of-momentum frame has zero total momentum, so the two outgoing momenta are equal and opposite; it cleanly separates bulk motion from relative kinetic energy. Transforming back is needed to predict laboratory angles and speeds. Neither reference frame removes the need for an appropriate collision law.

Take the incident direction as $\hat{\mathbf{x}}$ and put $S=M_1+M_2$. Momentum conservation fixes the centre-of-momentum frame velocity, and a Galilean transformation gives the initial velocities in that frame:After the collision, $M_1{\mathbf{w}}_1^{\prime }+M_2{\mathbf{w}}_2^{\prime }=0$. Hence both particles have the same final-to-initial speed ratio,The relative kinetic energy is multiplied by $q^2$. This common ratio exists independently of how the outgoing direction is selected.

The meaning of restitution matters here. The usual coefficient of restitution $e_n$ is a ratio of normal separation and approach speeds, not total speeds. In a smooth oblique collision, the tangential relative velocity is unchanged. If the incoming relative velocity makes angle $\chi$ to the contact normal, thenFor example, $e_n=1/2$ and $\chi =\pi /4$ give $q=\sqrt{5/8}\ne 1/2$. Therefore the requested identification is not generally true with the standard normal definition. The printed equation is valid if its $e$ denotes the relative speed retention in an oblique collision, namely $e=q$, or if an additional collision model supplies that equality. The elastic cases have $q=e_n=1$ and are unaffected by this qualification.

To derive the scattering formula under that convention, write ${\mathbf{v}}_1^{\prime }=\mathbf{V}+{\mathbf{w}}_1^{\prime }$. Its components give the laboratory scattering circleSolving the resulting quadratic for the nonnegative speed yieldsWith $q=e$, this is the requested formula. A real square root and $v_1\ge 0$ are both necessary: a negative algebraic root is not a second physical speed, and $v_1=0$ does not define a scattering angle. The subsequent limits are taken using this laboratory scattering circle.

A galilean transformation relates inertial frames in uniform relative translation. For $\mathbf{V}$ the velocity of the primed origin,Absolute time and invariant acceleration make Newton's second law retain its form for the usual nonrelativistic interactions. For a particle of mass $m$, ${\mathbf{p}}^{\prime }=\mathbf{p}-m\mathbf{V}$ and $K^{\prime }=K-\mathbf{V}\cdot \mathbf{p}+m{V}^2/2$. Momentum and kinetic energy are frame dependent, although an isolated system's conservation laws hold in either inertial frame. Relative velocities and collision predictions are consistent between frames. A rotating or accelerating frame instead requires inertial-force terms. Maxwell equations with a fixed light speed are not Galilean invariant; Lorentz transformations replace these relations when relativistic effects matter.

Write ${\Gamma }_a(v)=(1-v^2/a^2{)}^{-1/2}$. The first proposed Lorentz transformation isFor the next transformation, write ${\Gamma }_b(u)=(1-u^2/b^2{)}^{-1/2}$ and substitute the first pair into $x^{\prime \prime }={\Gamma }_b(u)(x^{\prime }-u{t}^{\prime })$ and $t^{\prime \prime }={\Gamma }_b(u)(t^{\prime }-u{x}^{\prime }/b^2)$. The result isThe direct transformation between $S$ and $S^{\prime \prime }$ must belong to the same standard boost family with the same calibration of space and time units. Such a transformation has one common factor multiplying the coefficient of $x$ in $x^{\prime \prime }$ and that of $t$ in $t^{\prime \prime }$. Equality of these coefficients for generic $uv\ne 0$ requiresThe case $uv=0$ alone cannot constrain the scales, but a transformation law must work for arbitrary successive boosts. Once the scales agree, their composed velocity is $V=(u+v)/(1+uv/a^2)$ and the common factor is ${\Gamma }_a(V)$. This establishes the universality of an invariant speed under boost composition within the proposed family.

Finiteness needs physical input. Sending $a^2$ to infinity gives the consistent Galilean transformation $x^{\prime }=x-vt$, $t^{\prime }=t$. Its boosts compose with $V=u+v$ and satisfy a relativity principle. Thus the composition calculation itself does not prove that $a^2$ cannot be infinite. The finite propagation speed of light in vacuum and its invariance, supplied by the second of the postulates of special relativity, rule out this limit for physical spacetime. Under a Galilean transformation, a ray with laboratory speed $c$ would have speed $c-v$ in the moving frame, in conflict with that postulate.

Finally, the common invariant scale must be identified with the physical speed of light, rather than an arbitrary speed measured in one frame. Requiring a ray $x=ct$ also to obey $x^{\prime }=c{t}^{\prime }$ givesHence the physical scale is $a=c$, taking the positive speed. The postulate about light identifies and requires a finite invariant scale; closure alone only establishes its universality. This distinction is necessary for a logically valid answer to the question's request to exclude infinity.

When both speeds are much smaller than $c$, expand the denominator of the velocity-addition formula:This is the Galilean transformation limit. For $0\le \beta =v/c<1$ and $0\le {\beta }^{\prime }=v^{\prime }/c<1$,If both $v,v^{\prime }\to c$ from below, the right side tends to zero, soNo sum of these subluminal speeds exceeds the speed of light.

There is an important structural difference, but the issue needs two distinctions. The freedom to change distant clock labels is not the same as the absence of a physically preferred simultaneity relation; and an inability to measure a one-way signal speed without synchronization is not by itself a proof that all proposed temporal structures are mere conventions.

In a standard Einstein synchronisation procedure, a clock at A sends a light signal at $t_1$, receives its return at $t_3$, and assigns the reflection event at B the time $(t_1+t_3)/2$. More generally one could assignFor a fixed spatial distance $d$ with round-trip duration $2d/c$, the two assigned one-way speeds become $c/(2ϵ)$ and $c/[2(1-ϵ)]$. Their reciprocal travel times still add to $2d/c$. Thus the two-way measurement alone does not establish the midpoint rule. Einstein presents synchronization as a definition supported by consistency conditions, rather than as a direct comparison of already synchronized distant clocks.^[ref]

Both Newtonian mechanics and special relativity allow coordinated relabellings such as $t_{\kappa }=t+\kappa x/c$. They can be used as nonstandard coordinates if the equations and interpretations of the transformed quantities are changed consistently. A mere relabelling cannot change a reunion of clocks or another local coincidence. Conversely, insisting that the familiar equations must retain their usual simple component form while changing only clock labels is not a neutral test of conventionality.

The difference is in the invariant structures of the standard theories. Newtonian spacetime includes an absolute time, whose equal-time slices are preserved by Galilean transformations. It therefore contains one simultaneity structure shared by its inertial observers. Its instantaneous interaction laws, where adopted, are formulated relative to that time. Ordinary relativistic spacetime contains no analogous observer-independent foliation. Einstein synchronisation defines simultaneity relative to an inertial observer; different inertial observers generally assign different distant events to the same time. This difference survives the freedom to rewrite either theory in awkward coordinates.

It does not follow that any arbitrary synchronization is equally natural relative to the full structure of special relativity. An inertial observer together with the Minkowski metric picks out the usual orthogonal simultaneity hyperplanes, and ideal slow clock transport supplies a physical comparison under assumptions about clock behaviour. A conventionalist must say which such structures and operational assumptions are being held fixed. Likewise, a Newtonian theorist must not confuse positing absolute time with having a theory-independent operational measurement of it.

The best answer is therefore qualified: both theories admit synchronization conventions at the level of coordinate assignment, but their standard physical accounts privilege simultaneity differently. Newtonian absolute simultaneity and the relativistic absence of a shared inertial foliation are genuine theoretical differences. Whether an alternative clock assignment is merely a convention or a rival physical claim depends on whether it only relabels the same structure or adds, removes or changes physical structure.

Define $A=2\cot \alpha /3+8\mathrm{Re}/15$. The linearization about $h=1$ givesThe Galilean transformation $\xi =x-2t$, $\tau =t$ has ${\partial }_t={\partial }_{\tau }-2{\partial }_{\xi }$ and ${\partial }_x={\partial }_{\xi }$. It removes the leading advection, leavingFor a normal mode proportional to $e^{\sigma \tau +ik\xi }$, the second and fourth derivatives contribute $-k^2$ and $k^4$. The dispersion relation is thereforeFor $A>0$ and $S>0$, the unstable wavenumbers satisfy $0<|k|<\sqrt{A/S}$. In the laboratory coordinates, the temporal exponent is $\sigma -2ik$, so this linear stability calculation predicts growth together with downslope transport at dimensionless speed $2$.

The first postulate is Einstein's principle of relativity: nongravitational laws have the same form in every inertial frame. The second states that light in vacuum propagates at the same finite speed of light $c$ in every inertial frame, independently of the source's motion. Together with the usual spacetime symmetries and calibrated coordinates, these postulates yield the Lorentz transformation. The relativity principle alone also admits the Galilean transformation with its infinite invariant-speed limit.

The laws of Newtonian mechanics have the same form in every inertial frame related by a Galilean transformation.

Special relativity describes physics in Minkowski spacetime, where inertial frames assign different space and time coordinates to the same spacetime events. Its two postulates are Einstein's principle of relativity and the same vacuum speed of light $c$ in every inertial frame, independent of the source's motion. Together they replace the Galilean transformation with the Lorentz transformation, coupling space and time rather than providing a universal clock. Einstein's 1905 paper developed this account through measuring rods, clocks, and light signals. ^[ref].

A spacetime event is an occurrence at a definite place and time: a pulse reaching a detector, for example. An inertial frame supplies a Cartesian coordinate system and clocks at rest throughout it. Einstein synchronisation sets a distant clock's reflection reading to the midpoint between a light signal's departure and return readings at the sending clock. The resulting coordinate time records the local synchronized clock at each spacetime event; it differs from the time when a distant observer receives its image. This distinction makes time dilation, length contraction, and the relativity of simultaneity precise measurements. ^[ref].

The beauty of special relativity is that these different measurements fit one geometry: all inertial frames agree on the Minkowski interval. It lets us translate an experiment between a laboratory and a moving apparatus while preserving the light-signal relations between spacetime events.

Suppose standard collinear boosts have the Lorentz transformation form, but initially assign speed scales $a$ and $b$ to two successive transformations with relative velocities $v$ and $u$. Their composition has spatial and temporal diagonal factors proportional to $1+uv/a^2$ and $1+uv/b^2$, respectively. Closure within the same calibrated transformation family requires these factors to agree, forcing $a^2=b^2$ for generic nonzero boosts.

This argument fixes a universal reciprocal squared speed; it does not establish that it is nonzero. The common limit $1/a^2=0$ gives the consistent Galilean transformation family. A finite invariant speed of light is an additional empirical property of spacetime and electromagnetism, expressed by the second of the postulates of special relativity. It cannot be deduced by excluding the Galilean limit through boost composition alone.

The velocity-addition formula translates a particle's velocity between two specified inertial frames. Let $S^{\prime }$ move at signed velocity $V$ along the $x$-axis of $S$, with parallel axes and $|V|<c$, where $c$ is the speed of light. Define $u_x=dx/dt$ and $u_x^{\prime }=d{x}^{\prime }/d{t}^{\prime }$ for the same particle's world line, using position and time measured within the corresponding inertial frame. With Lorentz factor ${\gamma }_V=(1-V^2/c^2{)}^{-1/2}$, the forward Lorentz boost gives

For collinear motion, write $u=u_x$ and $u^{\prime }=u_x^{\prime }$. The inverse velocity-addition formula isThis is the composition of the particle's velocity in $S^{\prime }$ and that frame's velocity relative to $S$. The velocities must belong to this same chain of reference frames, with directions specified. Two arbitrary quoted speeds cannot be inserted blindly. Each velocity measurement uses distances and clocks in a single inertial frame, with Einstein synchronisation for separated clocks.

For example, let $V=0.6c$ and let the particle travel at $u^{\prime }=0.6c$ in $S^{\prime }$. Its velocity in $S$ isThe Galilean transformation would instead give $u=u^{\prime }+V=1.2c$, which fails here. For light moving along the positive axis, $u^{\prime }=c$ gives $u=c$; $u^{\prime }=-c$ similarly gives $u=-c$. Negative directions also work for massive particles: at $V=0.6c$, $u^{\prime }=-0.6c$ gives $u=0$, while $u^{\prime }=-0.8c$ gives $u=-5c/13$. Thus “addition” means composition of signed velocities, rather than addition of their magnitudes.

A short derivation differentiates the Lorentz transformation: $d{x}^{\prime }={\gamma }_V(dx-Vdt)$ and $d{t}^{\prime }={\gamma }_V(dt-Vdx/c^2)$. Dividing these differentials gives the longitudinal velocity-addition formula. The transverse formulas use $d{y}^{\prime }=dy$ and $d{z}^{\prime }=dz$, but the same transformed time denominator; omitting it would ignore the relativity of simultaneity. Replacing $V$ by $-V$ gives the inverse. When both relative and particle velocities are small compared with the speed of light, the denominator is close to one and the nonrelativistic limit recovers the Galilean transformation.

The formula lets us compare particle motion in a moving apparatus and a laboratory without losing the invariant speed of light. Einstein's 1905 paper derives the coordinate change in §3 and the composition of velocities in §5, including the collinear formula, its light-speed case, and composition of parallel transformations. ^[ref]. The rapidity parametrization makes the collinear composition particularly simple.