The Mazur-Ulam theorem says that any surjective isometry of normed vector spaces is affine. This argument doesn't seem to apply to Minkowski space (of special relativity) since the metric is indefinite. How would one show that the Poincaré group consists of affine maps? This seems really standard but I can't seem to find it anywhere.