Plane Rotations Preserve the Dot Product
lemmaLinear Algebralem:plane-rotation-dot-product-2026aLet be a natural number with and let be a plane rotation of the Euclidean space . Then for all , with the dot product,
Consequently, every finite composition of plane rotations satisfies for all , and maps every orthonormal family to an orthonormal family.
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.