I have a group of vectors in $n$-dimensional space. Now I want to rotate all vectors around a specific vector, say $K$, so that:
- the angle between any vector and $K$ be equal by the angle between its rotation vector and $K$
- the angle between any vector and it's rotation be $\theta$
How can we get the rotation formula for this problem? Certainly it should be stated in matrix form so that can apply it to all vectors.