Dado un vector tridimensional formula_30 rerepsentable como un número cuaterniónico con parte real nula, y una rotación tridimensional dada por un giro formula_31 en torno al eje formula_32 se puede representar el vector girado resultante como: