sin cos tan何时取最大值 以及证明过程