Câu 5. Cho $f(x)$ là hàm dương, liên tục trên đoạn $[0,1]$ và thỏa mãn điều kiện $ f(x)+f\left( \left( 1-\sqrt{x} \right)^2 \right) \le 1 $ với mọi $x \in [0,1]$. Chứng minh rằng
$$ \int_0^1 \sqrt{f(x)} \, dx \le \frac{\pi\sqrt5}{8}. $$
Do sự xuất hiện của $x$ và $(1-\sqrt{x})^2$ nên nghĩ ngay tới lượng giác hóa
Bằng đổi biến $x=\cos^4 t $, ta được
$$\int_0^1 \sqrt{f(x)}dx=4\int_0^{\frac{\pi}{2}} \sqrt{f(\cos^4 t)}\cos^3 t \sin t dt \le^{C-S} 4 \sqrt{\int_0^{\frac{\pi}{2}} f(\cos^4 x)dx}\sqrt{\int_0^{\frac{\pi}{2}} \cos^6 x \sin^2 x dx}$$
Bằng đổi biến $x=\sin^4 t $
$$\int_0^1 \sqrt{f(x)} dx =4\int_0^{\frac{\pi}{2}}\sqrt{f(\sin^4 t)} \sin^3t \cos t dt \le^{C-S}4 \sqrt{\int_0^{\frac{\pi}{2}} f(\sin^4 x)dx} \sqrt{\int_0^{\frac{\pi}{2}} \sin^6 x \cos^2 x dx} $$
Bằng đổi biến $x=\frac{\pi}{2}-t$
$$\int_0^{\frac{\pi}{2}} \cos^6 x \sin^2 x dx=\int_0^{\frac{\pi}{2}} \sin^6 x \cos^2 x dx$$
Vì vậy
$$2 \left( \int_0^1 \sqrt{f(x)}dx \right)^2 \le 16 \int_0^{\frac{\pi}{2}} \left( f(\cos^4x)+f(\sin^4x) \right)dx \int_0^{\frac{\pi}{2}} \sin^6x \cos^2xdx $$
Theo giả thiết, $f(\cos^4x)+f(\sin^4x) \le 1 $
$\int_0^{\frac{\pi}{2}} \sin^6x \cos^2xdx=\dfrac{5\pi}{256}$
Cho nên $$\left( \int_0^1 \sqrt{f(x)}dx \right)^2 \le \dfrac{5 \pi^2}{64}$$
$$\Rightarrow \int_0^1 \sqrt{f(x)}dx \le \dfrac{\sqrt{5} \pi}{8}$$
Dấu "=" xảy ra khi và chỉ khi $f(\cos^4x)=a \cos^3x\sin x\;, f(\sin^4 x)=b\sin^3 x\cos x$ với $(a,b) \in \mathbb{R}^2 $
Khi đó $f(\cos^4 x)+f(\sin^4 x)=a \cos^3x\sin x+b\sin^3 x\cos x$
Theo giả thiết thì phải có $a \cos^3x\sin x+b\sin^3 x\cos x \le 1 \; \forall x \in \mathbb{R}$, hơn nữa
, để có dấu "=" thì $\int_0^{\frac{\pi}{2}} \left( f(\cos^4x)+f(\sin^4x) \right)dx=\dfrac{\pi}{2}$
Suy ra $a \cos^3x\sin x+b\sin^3 x\cos x=1 \; \forall x \in \mathbb{R}$ nhưng điều này là mâu thuẫn vì thay $x=0$ thì $a \cos^3x\sin x+b\sin^3 x\cos x=0 \neq 1 $
Tóm lại, ta có bất đẳng thức thật sự $$\int_0^1 \sqrt{f(x)}dx < \dfrac{\sqrt{5} \pi}{8}$$
Nhận xét: Ta có thể giải cách khác để thu được hằng số tốt hơn $\dfrac{\sqrt{5} \pi}{8}$ nhưng hơi dài nên không ghi ra ở đây .