Definición analítica de la función coseno