4.6: Twin Paradox
- Page ID
- 58401
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)a kink in the path explains the difference
"Your whole plan depends on relativity," stresses James Fastlane, "but relativity is a swindle. You can see for yourself that it is self-contradictory. It says that the laws of physics are identical in all free-float frames. Very well, here's your rocket frame and here's Earth frame. You tell me that identical clocks, started near Earth at identical times, each in one of these free-float frames, will read very different time lapses. You go away and return only 40 years older, while we and our descendants age 202 years. But if there's any justice, if relativity makes any sense at all, it should be equally possible to regard you as the stay-at-home.1 Relative to you, we speed away in the opposite direction and return. Hence we should be younger than you when we meet again. In contrast, you say you will be younger than we are. This is a flat contradiction Nothing could show more conclusively that neither result can be right. Aging is aging It is impossible to live long enough to cover a distance of 99 light-years twice - going and coming. Forget the whole idea.
Which twin travels?
"Jim," we reply, "your description is the basis for the famous Twin Paradox, in which one twin stays on Earth while the other takes the kind of round trip we have been describing. Which twin is older when they come together again? I would like to leave this question for a minute and consider a similar trip across the United States.
"We all know, Jim, that every July you drive straight north on Interstate Highway 35 from Laredo, Texas, on the Mexican border, to Duluth, Minnesota, near the Canadian border. Your tires roll along a length of roadway equal to 2000 kilometers and the odometer on your car shows it.
Curved path in space is a longer path
"I too drive from Laredo to Duluth, but last year I had to make a stop in Cincinnati Ohio, on the way. I drove northeast as straight as I could from Laredo to Cincinnati 1400 kilometers, and northwest as straight as I could from Cincinnati to Duluth another 1400 kilometers. Altogether, my tires rolled out 2800 kilometers. When we left Laredo you could have said that my route was deviating from yours, and I could have said with equal justice that yours was deviating from mine. The great difference between our travels is this, that my course has a sharp turn in it. That's why my kilometerage is greater than yours in the ratio of 2800 to 2000."2
Fastlane interrupts: "Are you telling me that the turn in the rocket trajectory at Canopus explains the smaller aging of the rocket traveler? The turn in your trip to Duluth made your travel distance longer, not shorter." Which twin travels? Curved path in space is a longer path Astronaut who turns around ages less ...
Astronaut who turns around ages less . . .
"That is the difference between path length in Euclidean space geometry and wristwatch time in Lorentz spacetime geometry," we reply. "In Euclidean geometry the shortest path length between two points is achieved by the traveler who does not change direction. All indirect paths are longer than this minimum. In spacetime the greatest aging between two events is experienced by the traveler who does not change direction. For all travelers who change direction, the total proper time, the total wristwatch time, the total aging is less than this maximum.3
"The distinction between distance in Euclidean geometry and aging in spacetime comes directly from the contrast between plus sign in the expression for distance between two locations and minus sign in the expression for interval between two events. In going to Duluth by way of Cincinnati I use the plus sign:
\[\left(\begin{array}{c} \text { distance: } \\ \text { Laredo to } \\ \text { Cincinnati } \end{array}\right)^{2}=\left(\begin{array}{c} \text { northward } \\ \text { separation: } \\ \text { Laredo to } \\ \text { Cincinnati } \end{array}\right)^{2}+\left(\begin{array}{c} \text { eastward } \\ \text { separation: } \\ \text { Laredo to } \\ \text { Cincinnati } \end{array}\right)^{2} \nonumber\]
"Contrast this with motion in spacetime. In analyzing my trip to Canopus, I use the minus sign:4
\[\left(\begin{array}{c} \text { Proper time: } \\ \text { Earth to } \\ \text { Canopus } \end{array}\right)^{2}=\left(\begin{array}{c} \text { rocket time: } \\ \text { Earth to } \\ \text { Canopus } \end{array}\right)^{2}=\left(\begin{array}{c} \text { Earth time: } \\ \text { Earth to } \\ \text { Canopus } \end{array}\right)^{2}-\left(\begin{array}{c} \text { Earth distance: } \\ \text { Earth to } \\ \text { Canopus } \end{array}\right)^{2} \nonumber\]
"The contrast between a plus sign and a minus sign: This is the distinction between distance covered during travel in space and time elapsed - aging - during travel in spacetime."
1 Which twin travels?
2 Curved path in space is a longer path
3 Astronaut who turns around ages less...
4 ...because of a minus sign!