Euclidean Metric on Real Number Space is Translation Invariant

Theorem
Let $\tau_{\mathbf t}: \R^2 \to \R^2$ denote the translation of the Euclidean plane by the vector $\mathbf t = \begin {pmatrix} a \\ b \end {pmatrix}$.

Let $d_2$ denote the Euclidean metric on $\R^2$.

Then $d_2$ is unchanged by application of $\tau$:


 * $\forall x, y \in \R^2: \map {d_2} {\map \tau x, \map \tau y} = \map {d_2} {x, y}$

Proof
Let $x = \tuple {x_1, x_2}$ and $y = \tuple {y_1, y_2}$ be arbitrary points in $\R^2$.

Then: