Se acostumbra definir el ángulo de la rotación como el ángulo formula_293 tal que