对通过商法则求导，并证明 (cot x)' = -csc^2 x 。