\(3\int\limits^1_0\left[f'\left(x\right).f^2\left(x\right)+\frac{1}{9}\right]dx\le2\int\limits^1_0\sqrt{f'\left(x\right)}f\left(x\right)dx\) (1)
Ta lại có:
\(3f'\left(x\right).f^2\left(x\right)+\frac{1}{3}\ge2\sqrt{f'\left(x\right)}.f\left(x\right)\)
\(\Rightarrow3\int\limits^1_0\left[f'\left(x\right).f^2\left(x\right)+\frac{1}{9}\right]\ge2\int\limits^1_0\sqrt{f'\left(x\right)}.f\left(x\right)dx\) (2)
Từ (1); (2) \(\Rightarrow3\int\limits^1_0\left[f'\left(x\right).f^2\left(x\right)+\frac{1}{9}\right]dx=2\int\limits^1_0\sqrt{f'\left(x\right)}.f\left(x\right)dx\)
Dấu "=" xảy ra khi và chỉ khi:
\(3f'\left(x\right).f^2\left(x\right)=\frac{1}{3}\Rightarrow3\int f'\left(x\right).f^2\left(x\right)dx=\int\frac{1}{3}dx\)
\(\Rightarrow f^3\left(x\right)=\frac{x}{3}+C\)
Thay \(x=0\Rightarrow f^3\left(0\right)=C\Rightarrow C=1\)
\(\Rightarrow f^3\left(x\right)=\frac{x}{3}+1\Rightarrow\int\limits^1_0f^3\left(x\right)dx=\int\limits^1_0\left(\frac{x}{3}+1\right)dx=\frac{7}{6}\)
