thử bài bất :D 

Ta có: \(\dfrac{1}{a^3\left(b+c\right)}+\dfrac{a}{2}+\dfrac{a}{2}+\dfrac{a}{2}+\dfrac{b+c}{4}\ge5\sqrt[5]{\dfrac{1}{a^3\left(b+c\right)}.\dfrac{a^3}{2^3}.\dfrac{\left(b+c\right)}{4}}=\dfrac{5}{2}\) ( AM-GM cho 5 số ) (*)

Hoàn toàn tương tự: 

\(\dfrac{1}{b^3\left(c+a\right)}+\dfrac{b}{2}+\dfrac{b}{2}+\dfrac{b}{2}+\dfrac{c+a}{4}\ge5\sqrt[5]{\dfrac{1}{b^3\left(c+a\right)}.\dfrac{b^3}{2^3}.\dfrac{\left(c+a\right)}{4}}=\dfrac{5}{2}\) (AM-GM cho 5 số) (**)

\(\dfrac{1}{c^3\left(a+b\right)}+\dfrac{c}{2}+\dfrac{c}{2}+\dfrac{c}{2}+\dfrac{a+b}{4}\ge5\sqrt[5]{\dfrac{1}{c^3\left(a+b\right)}.\dfrac{c^3}{2^3}.\dfrac{\left(a+b\right)}{4}}=\dfrac{5}{2}\) (AM-GM cho 5 số) (***)

Cộng (*),(**),(***) vế theo vế ta được:

\(P+\dfrac{3}{2}\left(a+b+c\right)+\dfrac{2\left(a+b+c\right)}{4}\ge\dfrac{15}{2}\) \(\Leftrightarrow P+2\left(a+b+c\right)\ge\dfrac{15}{2}\)

Mà: \(a+b+c\ge3\sqrt[3]{abc}=3\) ( AM-GM 3 số )

Từ đây: \(\Rightarrow P\ge\dfrac{15}{2}-2\left(a+b+c\right)=\dfrac{3}{2}\)

Dấu "=" xảy ra khi a=b=c=1

1. \(a^3+b^3+c^3+d^3=2\left(c^3-d^3\right)+c^3+d^3=3c^3-d^3\) :D 

Do 5 là số nguyên tố, nên trong 3 nhân tử \(a^3+b^3;b^3+c^3;c^3+a^3\) phải có ít nhất 1 số chia hết cho 5

Không mất tính tổng quát, giả sử \(a^3+b^3⋮5\) \(\Rightarrow a;b\) đều chia hết cho 5 hoặc đều ko chia hết cho 5

Nếu  \(a+b\) ko chia hết cho 5:

- a;b đồng dư khi chia 5 \(\Rightarrow\) \(a^3+b^3\) chia 5 dư lần lượt là 2;3;3;2\(\Rightarrow\) ko chia hết cho 5 (ktm)

- a;b khác số dư khi chia 5, do vai trò của a;b là như nhau và a+b ko chia hết cho 5 nên ta có các trường hợp sau:

+ a chia 5 dư 1: nếu b chia 5 dư 2 \(\Rightarrow A\) chia 5 dư -2 (ktm), nếu b chia 5 dư 3 \(\Rightarrow A\) chia 5 dư -3 (ktm)

+ a chia 5 dư 2, b chia 5 dư 4 \(\Rightarrow A\) chia 5 dư 2 (ktm)

+ a chia 5 dư 3, b chia 5 dư 4 \(\Rightarrow A\) chia 5 dư 3 (ktm)

\(\Rightarrow a+b\) ko chia hết cho 5 thì \(a^2+b^2-ab\) cũng ko chia hết cho 5

\(\Rightarrow a^3+b^3\) ko chia hết cho 5 (mâu thuẫn giả thiết)

Vậy \(a+b⋮5\Rightarrow\left(a+b\right)\left(b+c\right)\left(c+a\right)⋮5\)

Phân tích Trước hết ta dự đoán dấu "=" xảy ra khi a=b=c=1. Quan sát Bất Đẳng Thức ta nhận thấy các dấu hiệu sử dụng Bất Đẳng Thức Bunhiacopxki dạng phân thức, sử dụng kĩ thuật đánh giá mẫu

Bài giải: Suy nghĩ đầu tiên khi quan sát Bất Đẳng Thức đó là dấu hiệu áp dụng Bất Đẳng Thức Bunhiacopxki dạng phân thức. Như vậy khi đó ta được

\(\frac{a^4}{\left(b+c\right)\left(b^2+c^2\right)}+\frac{b^4}{\left(a+c\right)\left(a^2+c^2\right)}+\frac{c^4}{\left(a+b\right)\left(a^2+b^2\right)}\)\(\ge\frac{\left(a^2+b^2+c^2\right)^2}{\left(b+c\right)\left(b^2+c^2\right)+\left(c+a\right)\left(c^2+a^2\right)+\left(a+b\right)\left(a^2+b^2\right)}\)

Như vậy ta cần chỉ ra được \(\frac{\left(a^2+b^2+c^2\right)^2}{\left(b+c\right)\left(b^2+c^2\right)+\left(a+c\right)\left(a^2+c^2\right)+\left(a+b\right)\left(a^2+b^2\right)}\ge\frac{3}{4}\)

Để ý thấy khi khai triển mẫu thì xuất hiện đại lượng \(a^3+b^3+c^3\)và đánh giá đại lượng đó theo kiểu \(a^3+b^3+c^2\le?̸\)

rất phức tạp. Do đó đánh giá một cách trực tiếp như vậy có vẻ không đem lại hiệu quả. Như vậy để áp dụng hiểu quả ta cần biến đổi Bất Đẳng Thức về một dạng khác

Chú ý là tại các mẫu xuất hiện tích của 2 đại lượng do đó ta sẽ đưa một đại lượng lên trên tử số. Khi đó ta có các cách biến đổi là

\(\orbr{\begin{cases}\frac{a^4}{\left(b+c\right)\left(b^2+c^2\right)}=\frac{\left(\frac{a^2}{\sqrt{b+c}}\right)^2}{b^2+c^2}\\\frac{a^4}{\left(b+c\right)\left(b^2+c^2\right)}=\frac{\left(\frac{a^2}{\sqrt{b^2+c^2}}\right)^2}{b+c}\end{cases}}\)

Để ý rẳng sau khi áp dụng thì ta thu được là tổng các mẫu đó, do đó cần chú ý đến giả thiết a+b+c=3 thì ta chọn cách biến đổi thứ hai. Khi đó BĐT cần chứng minh trở thành

\(\frac{\left(\frac{a^2}{\sqrt{b^2+c^2}}\right)^2}{b+c}+\frac{\left(\frac{b^2}{\sqrt{a^2+c^2}}\right)^2}{a+c}+\frac{\left(\frac{c^2}{\sqrt{a^2+b^2}}\right)^2}{a+b}\ge\frac{3}{4}\)

Đến đây áp dụng BĐT Cauchy ta được \(\frac{\left(\frac{a^2}{\sqrt{b^2+c^2}}\right)^2}{b+c}+\frac{\left(\frac{b^2}{\sqrt{a^2+c^2}}\right)^2}{a+c}+\frac{\left(\frac{c^2}{\sqrt{a^2+b^2}}\right)^2}{a+b}\ge\frac{\left(\frac{a^2}{\sqrt{b^2+c^2}}+\frac{b^2}{\sqrt{a^2+c^2}}+\frac{c^2}{\sqrt{a^2+b^2}}\right)^2}{2\left(a+b+c\right)}\)

Phép chứng minh sẽ hoàn tất nếu ta chỉ ra được

\(\frac{a^2}{\sqrt{b^2+c^2}}+\frac{b^2}{\sqrt{a^2+c^2}}+\frac{c^2}{\sqrt{a^2+b^2}}\ge\frac{3}{\sqrt{2}}\)

Như vậy sau một số bước đánh giá ta đưa được về một bất đẳng thức có vẻ đơn giản hơn bất đẳng thức cần chứng minh và bất đẳng thức lúc này cũng có dấu hiệu của BĐT Bunhiacopxki dạng phân thức, khi đó ta được 

\(\frac{a^2}{\sqrt{b^2+c^2}}+\frac{b^2}{\sqrt{a^2+c^2}}+\frac{c^2}{\sqrt{a^2+b^2}}\ge\frac{\left(a+b+c\right)^2}{\sqrt{b^2+c^2}+\sqrt{a^2+c^2}+\sqrt{a^2+b^2}}\)

Và ta cần chứng minh được \(\sqrt{b^2+c^2}+\sqrt{a^2+c^2}+\sqrt{a^2+b^2}\le3\sqrt{2}\)tuy nhiên đánh giá này hoàn toàn sai vì \(\sqrt{b^2+c^2}+\sqrt{a^2+c^2}+\sqrt{a^2+b^2}\ge\frac{1}{\sqrt{2}}\left(a+b+c\right)=\frac{3}{\sqrt{2}}\)

Như vậy để đảm bảo các đánh giá đùng chiều ta cần nâng lũy thừa của các phân số lên, do đó ta có đánh giá

\(\frac{a^2}{\sqrt{b^2+c^2}}+\frac{b^2}{\sqrt{a^2+c^2}}+\frac{c^2}{\sqrt{a^2+b^2}}\ge\frac{\left(a^2+b^2+c^2\right)^2}{a^2\sqrt{b^2+c^2}+b^2\sqrt{a^2+c^2}+c^2\sqrt{a^2+b^2}}\)

Mặt khác theo BĐT Bunhiacopxki ta được

 \(a^2\sqrt{b^2+c^2}+b^2\sqrt{a^2+c^2}+c^2\sqrt{a^2+b^2}\)\(\le\sqrt{\left(a^2+b^2+c^2\right)\left[a^2\left(b^2+c^2\right)+b^2\left(a^2+c^2\right)+c^2\left(a^2+b^2\right)\right]}\)\(=\sqrt{2\left(a^2+b^2+c^2\right)\left(a^2b^2+b^2c^2+c^2a^2\right)}\)

Do đó ta được \(\frac{\left(a^2+b^2+c^2\right)^2}{a^2\sqrt{b^2+c^2}+b^2\sqrt{c^2+a^2}+c^2\sqrt{a^2+b^2}}\ge\frac{\left(a^2+b^2+c^2\right)^2}{\sqrt{2\left(a^2+b^2+c^2\right)\left(a^2b^2+b^2c^2+c^2a^2\right)}}\)

*Đang giải bấm nhầm gửi trả lời, làm tiếp*

Ta cần chỉ ra được \(\frac{\left(a^2+b^2+c^2\right)^2}{\sqrt{2\left(a^2+b^2+c^2\right)\left(a^2b^2+b^2c^2+c^2a^2\right)}}\ge\frac{3}{\sqrt{2}}\)

Để ý thấy rằng

\(a^2+b^2+c^2\ge\sqrt{3\left(a^2b^2+b^2c^2+c^2a^2\right)}\)

\(\sqrt{a^2+b^2+c^2}\ge\frac{a+b+c}{\sqrt{3}}=\sqrt{3}\)

Nhân theo vế 2 BĐT trên ta được điều phải chứng minh 

Cách làm trên đúng tuy nhiên quá dài nên mình làm theo 1 cách khác ngắn hơn nhiều. Ta thấy rằng trong mỗi phân thức tử số bậc bốn và mẫu số bậc ba, chú ý đến giả thiết a+b+c=3 ta có thể đồng bậc như sau

\(\frac{a^4}{\left(b+c\right)\left(b^2+c^2\right)}+\frac{b^4}{\left(a+c\right)\left(a^2+c^2\right)}+\frac{c^4}{\left(a+b\right)\left(a^2+b^2\right)}\ge\frac{a+b+c}{4}\)

Do đó ta hướng đến cách đơn giản hóa mẫu số, điều này làm ta nghĩ đến một đánh giả kiểu \(\left(x+y\right)\left(x^2+y^2\right)\le2\left(x^3+y^3\right)\)Đây là một đánh giá chứng minh được nhờ phép biến đổi tương đương 

\(\frac{a^4}{\left(b+c\right)\left(b^2+c^2\right)}+\frac{b^4}{\left(a+c\right)\left(a^2+c^2\right)}+\frac{c^4}{\left(a+b\right)\left(a^2+b^2\right)}\ge\frac{a^4}{2\left(b^3+c^2\right)}+\frac{b^4}{2\left(a^3+c^3\right)}+\frac{c^4}{2\left(a^3+b^3\right)}\) Phép chứng minh sẽ hoàn tất nếu ta chỉ ra được 

\(\frac{a^4}{2\left(b^3+c^3\right)}+\frac{b^4}{2\left(a^3+c^3\right)}+\frac{c^4}{2\left(a^3+b^3\right)}\ge\frac{a+b+c}{4}\)

Bất Đẳng Thức này có thể chứng minh bằng cách áp dụng đồng thời Bất Đẳng Thức Bunhiacopxki dạng phân thức và Bất Đẳng Thức Cauchy 

Đặt \(P=\dfrac{1}{a^3\left(b+c\right)}+\dfrac{1}{b^3\left(c+a\right)}+\dfrac{1}{c^3\left(a+b\right)}\)

\(P=\dfrac{\left(abc\right)^2}{a^3\left(b+c\right)}+\dfrac{\left(abc\right)^2}{b^3\left(c+a\right)}+\dfrac{\left(abc\right)^2}{c^3\left(a+b\right)}\)

\(P=\dfrac{\left(bc\right)^2}{a\left(b+c\right)}+\dfrac{\left(ca\right)^2}{b\left(c+a\right)}+\dfrac{\left(ab\right)^2}{c\left(a+b\right)}\)

\(P\ge\dfrac{\left(bc+ca+ab\right)^2}{a\left(b+c\right)+b\left(c+a\right)+c\left(a+b\right)}\) (BĐT B.C.S)

\(=\dfrac{ab+bc+ca}{2}\) \(\ge\dfrac{3\sqrt[3]{abbcca}}{2}=\dfrac{3}{2}\) (do \(abc=1\)).

ĐTXR \(\Leftrightarrow a=b=c=1\)