Câu 6. (3,0 điểm). Cho các số thực dương $a,b,c$ thỏa mãn $ab+bc+ca=3$. Tìm giá trị nhỏ nhất của biểu thức $$P=\frac{a^2}{a+2b^2}+\frac{b^2}{b+2c^2}+\frac{c^2}{c+2a^2}.$$

(AI giải đề cho tôi)
Đặt $S=a^2+b^2+c^2$, chú ý $ab+bc+ca=3$ nên $S\ge 3$.

Bước 1: Cauchy–Schwarz dạng Engel:
$$P=\sum \frac{a^4}{a^3+2a^2{b}^2}\ge \frac{(a^2+b^2+c^2{)}^2}{a^3+b^3+c^3+2(a^2{b}^2+b^2{c}^2+c^2{a}^2)}.$$

Bước 2: Chứng minh $a^4+b^4+c^4\ge a^3+b^3+c^3$. Đặt $T=a^4+b^4+c^4$. Theo power mean (Hölder):
$$a^3+b^3+c^3\le (a^4+b^4+c^4{)}^{3/4}\cdot 3^{1/4}=3^{1/4}{T}^{3/4}.$$
Mặt khác $T\ge \frac{(a^2+b^2+c^2{)}^2}{3}\ge \frac{9}{3}=3$, suy ra $T^{1/4}\ge 3^{1/4}$, do đó
$$a^3+b^3+c^3\le 3^{1/4}{T}^{3/4}\le T^{1/4}{T}^{3/4}=T=a^4+b^4+c^4.$$

Bước 3: Do đó
$\Rightarrow$ P\ge 1.$$

Đẳng thức: cần $T=3$ và $a^2+b^2+c^2=3$, tức $a=b=c=1$ (thỏa $ab+bc+ca=3$); khi đó điều kiện Cauchy $a+2b^2=b+2c^2=c+2a^2=3$ cũng thỏa mãn, và $P=\frac{3}{3}=1$.

Vậy $\min P=1$, đạt tại $a=b=c=1$.