cosx(1-cosx^2)怎么用导数求最大值?