Hãy nhập câu hỏi của bạn vào đây, nếu là tài khoản VIP, bạn sẽ được ưu tiên trả lời.
![](https://rs.olm.vn/images/avt/0.png?1311)
BĐT cần c/m tương đương:
\(2\left(a^3+b^3+c^3+d^3\right)\ge2+\dfrac{3}{2}\sqrt{4+2\left(ab+ac+ad+bc+bd+cd\right)}\)
\(\Leftrightarrow2\left(a^3+b^3+c^3+d^3\right)\ge2+\dfrac{3}{2}\sqrt{\left(a+b+c+d\right)^2}\)
\(\Leftrightarrow2\left(a^3+b^3+c^3+d^3\right)\ge2+\dfrac{3}{2}\left(a+b+c+d\right)\)
\(\Leftrightarrow4\left(a^3+b^3+c^3+d^3\right)\ge4+3\left(a+b+c+d\right)\)
Dễ dàng chứng minh điều này bằng AM-GM:
\(a^3+a^3+1+b^3+b^3+1+c^3+c^3+1+d^3+d^3+1\ge3a^2+3b^2+3c^2+3d^2\)
\(\Rightarrow2\left(a^3+b^3+c^3+d^3\right)+4\ge12\)
\(\Rightarrow a^3+b^3+c^3+d^3\ge4\) (1)
Lại có:
\(a^2+b^2+c^2+d^2\ge\dfrac{1}{4}\left(a+b+c+d\right)^2\)
\(\Rightarrow a+b+c+d\le4\) (2)
(1);(2) \(\Rightarrow4\left(a^3+b^3+c^3+d^3\right)\ge16\ge4+3.4\ge4+3\left(a+b+c+d\right)\) (đpcm)
![](https://rs.olm.vn/images/avt/0.png?1311)
Lời giải:
Ta thấy:
$(ab+cd)(ac+bd)=ad(c^2+b^2)+bc(a^2+d^2)$
$=(ad+bc)t$
Mà:
$2(t-ab-cd)=(a-b)^2+(c-d)^2>0$ nên $t> ab+cd$
Tương tự: $t> ac+bd$
Kết hợp $(ab+cd)(ac+bd)=(ad+bc)t$ nên:
$ab+cd> ad+bc, ac+bd> ad+bc$
Nếu $ab+cd, ac+bd$ đều thuộc $P$. Do $ad+bc$ là ước của $ab+cd$ hoặc $ac+bd$. Điều này vô lý
Do đó ta có đpcm.
![](https://rs.olm.vn/images/avt/0.png?1311)