Teorema : Toda isometria T : Rn −→ Rn é composta de uma trans-
formação ortogonal com uma translação. D) Sejam T (x) = Ax +v uma isometria, com A matriz ortogonal e v ∈ Rn um vetor fixo, isto pelo teorema anterior. Seja α : I −→ Rn uma curva regular. Definamos β : I −→ Rn dada por β(s) = T (α(s)) = Aα(s) + v. Isto implica, β 0 (s) = Aα 0 (s). Logo, o comprimento de arco da função β é dada por Zt Zt Zt sβ (t) = | β 0 (s) | dt = | Aα 0 (s) | dt = | α 0 (s) | dt = sα (t) t0 t0 t0
Assim, o comprimento de arco permanece invariante por isometria
Por outro lado, notemos que β 00 (t) = Aα 00 (t) Então, kβ = |β 00 (t)| = |Aα 00 (t)| = |α 00 (t)| = kα Por tanto, a curvatura da função também permanece invariante pela isometria.