Por la definición de coseno, se tiene: