三角函数不等式基本结论归纳，高中数学重难点公式推导证明