Primeramente definimos un cuaternio que representa un giro de valor θ sobre un eje k como: