Question

[Nguyễn Kiều Hạnh]

cho f(x) dương liên tục trên [0;1] f(0)=1. Biết \(3\int_0^1\left[f'\left(x\right)\left[f\left(x\right)\right]^2+\frac{1}{9}\right]dx\le2\int_0^1\sqrt{f'\left(x\right)}f\left(x\right)dx\) . Tính \(\int_0^1\left[f\left(x\right)\right]^3dx\)

Answer 1

[Nguyễn Việt Lâm]

\(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}\)