Let $v$ be a vector of unit length in $\mathbb{R}^3$, and $A = I - 2vv^T$. Prove that $A$ is an isometry.
I need to prove that $A$ preserves dot products, i.e., $A x \cdot Ay = x \cdot y$ for any $x,y \in \mathbb{R}^3$, but I have no clue how to get started and how the assumption that $v$ has unit length plays a role.
Hint: One way to do this (assuming you are using the standard euclidean dot product) is to write $Ax \cdot Ay = (Ay)^TAx = y^TA^TAx$. Then you can show that $A^TA = I$ using the fact that $v$ is a vector of unit length (use that $v^Tv = 1$).
Then $Ax \cdot Ay = y^Tx = x \cdot y$.
Proof that $A^TA = I$: