Cmr a^4 + b^4 >= a^3b + ab^3
Mọi người ơi, mình đang rối bời không biết làm thế nào ở đây. Bạn nào đi qua cho mình xin ít hint với!

Để giải câu hỏi này, ta có thể sử dụng một số phương pháp khác nhau.

Phương pháp 1: Sử dụng định lí AM-GM
Ta có: a^4 + a^4 + b^4 + b^4 >= 4(a^4b^4)^(1/4) = 4ab
Vì a^4 + a^4 + b^4 + b^4 = 2(a^4 + b^4) >= 4ab
Nên a^4 + b^4 >= a^3b + ab^3

Phương pháp 2: Sử dụng điều kiện cần và đủ để hàm số đạt giá trị nhỏ nhất
Ta xét hàm số f(x) = x^4 - x^3b - ab^3 (với x >= 0)
Để tìm giá trị nhỏ nhất của hàm số này, ta sẽ xem xét đạo hàm f'(x) và tìm các điểm cực trị của hàm số.
f'(x) = 4x^3 - 3x^2b
Điểm cực trị của hàm số là nghiệm của phương trình f'(x) = 0
4x^3 - 3x^2b = 0
x(4x - 3b) = 0
=> x = 0 hoặc x = 3b/4
Khi x = 0, ta có f(0) = 0^4 - 0^3b - ab^3 = -ab^3 < 0
Khi x = 3b/4, ta có f(3b/4) = (3b/4)^4 - (3b/4)^3b - ab^3 > 0
Vậy hàm số f(x) không có điểm cực trị và nội dung của bài toán được chứng minh.

Đáp án: a^4 + b^4 >= a^3b + ab^3

Câu trả lời 1:
Để chứng minh a^4 + b^4 >= a^3b + ab^3, ta có thể sử dụng bất đẳng thức AM-GM.
Áp dụng bất đẳng thức AM-GM cho mỗi cặp số (a^4, b^4) ta được:
(a^4 + b^4)/2 ≥ √(a^4 * b^4)
⇒ a^4 + b^4 ≥ 2 * ab^2
Áp dụng lần thứ hai cho cặp số (ab^2, ab^2) ta có:
(ab^2 + ab^2)/2 ≥ √(ab^2 * ab^2)
⇒ ab^2 + ab^2 ≥ 2 * a * (b^2)^(1/2)
⇒ ab^2 + ab^2 ≥ 2ab^2
Từ hai bất đẳng thức trên, ta có:
a^4 + b^4 ≥ 2 * ab^2 ≥ 2ab^2
⇒ a^4 + b^4 ≥ 2ab^2
Dấu bằng xảy ra khi và chỉ khi a = b.
Vậy, a^4 + b^4 ≥ a^3b + ab^3 đúng với mọi giá trị của a và b.

Câu trả lời 2:
Cũng từ bất đẳng thức AM-GM, ta có:
(a^4 + b^4)/2 ≥ √(a^4 * b^4)
⇒ a^4 + b^4 ≥ 2 * (a^4 * b^4)^(1/2)
Ta sẽ chứng minh rằng (a^4 * b^4)^(1/2) ≥ a^3b + ab^3.
Ta có:
(a^4 * b^4)^(1/2) ≥ a^3b + ab^3
⇔ (ab^2) * (a^2b^2)^(1/2) ≥ a^3b + ab^3
⇔ ab^2 * ab ≥ a^3b + ab^3
⇔ a^2b^3 ≥ a^3b + ab^3
⇔ a^2b^3 - a^3b - ab^3 ≥ 0
⇔ ab^2(b - a) - ab(b^2 - a^2) ≥ 0
⇔ ab^2(b - a) - ab(b - a)(b + a) ≥ 0
⇔ ab(b - a)(b + a - b) - ab(b - a)(b + a) ≥ 0
⇔ ab(b - a)[1 - (b + a)] ≥ 0
⇔ ab(b - a)(1 - (b + a)) ≥ 0
⇔ ab(b - a)(a + b - 1) ≥ 0
Giả sử a ≥ b.
Nếu a > 1, ta có b > 1 và a + b - 1 > 0, từ đó ab(b - a)(a + b - 1) > 0, nên bất đẳng thức ban đầu đúng.
Nếu a ≤ 1, ta có a + b - 1 ≤ 1 + b - 1 = b, từ đó ab(b - a)(a + b - 1) ≥ 0, nên bất đẳng thức ban đầu đúng.
Với trường hợp b ≥ a, tương tự ta cũng chứng minh được bất đẳng thức ban đầu đúng.
Vậy, a^4 + b^4 ≥ a^3b + ab^3 đúng với mọi giá trị của a và b.