limit as x -> 0 of (cos(a+x) - cos a)/x 。(答: -sin a 。)