Algunas relaciones útiles para el "ángulo doble" son: