cos'x=(cos(x+dx)-cosx)/dx
=(cosxcosdx-sinxsindx-cosx)/dx ---三角公式
dx趋于0时,
cosdx=1,sindx=dx,
所以
cos'x=-sinx