一道积分不等式的证明

设 $f(x)$ 是闭区间 $[0,1]$ 上满足 $f(0)=f(1)=0$ 的连续可微函数，求证不等式

$$\left(\int_0^1 f(x)\mathrm{d}x \right)^2 \leq \frac{1}{12} \int_0^1 |f'(x)|^2 \mathrm{d}x,$$
并且等号成立当且仅当 $f(x)=Ax(1-x),$ 其中 $A$ 是常数。

证明 由 Newton-Leibniz 公式，

$$f(x)=\int_0^x f'(t)\mathrm{d}t,\quad f(x)=\int_1^x f'(t)\mathrm{d}t.$$
由分部积分公式

∫10f(