基本不等式+基本求导公式