Demostración de la función cotangente