Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/ia/paper-4/4b/solution

Proper time satisfies and is invariant, so differentiating by it defines a four-vector. The path is timelike iff . Its next return occurs after coordinate time , so Bob ages
With ,
and for signature .

New to topics? Read the docs here!