Seja `v` ∈ ℜ³:
Visualização 3D
Zoom
`v' = R v`
`|v'| = sqrt((:v',v':))` ` " (*)"`
`= sqrt((v')^T v') = sqrt((Rv)^T Rv)`
`= sqrt(v^T R^T Rv) = sqrt(v^T R^-1 Rv)` ` " (**)"`
`= sqrt(v^Tv) = sqrt((:v,v:)) = |v|`
Vídeo explicativo do canal Academia Zanella