关于积分不等式的一个证明

设 f(x) 是定义在闭区间 [0,1] 上的连续可微函数，且满足 f(0)=f(1)=0，现需证明如下不等式成立：

并且该不等式中的等号成立当且仅当 f(x)=Ax(1-x)，其中 A 为常数。

证明 根据 Newton-Leibniz 公式，

再结合分部积分法，

将上述两式相加后可得：

由此，根据 Cauchy-Schwarz 不等式可以得出：

进一步分析 Cauchy-Schwarz 不等式的等号成立条件可知，上述不等式中等号成立的充要条件是 f'(x)=A(1-2x)，即 f(x)=Ax(1-x)+C。又由于已知条件中 f(0)=0，因此可以推得常数项 C=0。综上所述，该不等式的等号成立当且仅当其中的函数形式为 f(x)=Ax(1-x)，其中 A 是任意常数。\quad \square

---

后记

与函数 f(x) 及其导数 f'(x) 相关的积分不等式通常需要借助 Newton-Leibniz 公式以及积分形式的 Cauchy-Schwarz 不等式进行处理。

最初面对这道题时，并未找到合适的思路来使最终结果中出现 \frac{1}{12} 这一数值，在反复思考几天之后仍未能取得进展。直到某天晚上突然想到 Cauchy-Schwarz 不等式的等号成立条件，并意识到要证