De la definición de coseno, se tiene formula_9 y por tanto: