公式是怎么推理出来的函数 不等式 三角函数 排列组合 还有 什么 概率的 数列的 我想知道的 是 系统性的 知识网 例如