Demostración del coseno de la suma de dos ángulos