展开 微分方程构造辅助函数是万能的不等式吗