Chứng minh rằng: \({(x^2 + y^2+ z^2)^3\over (x^3+y^3+z^3)^2} >4\) (với x+y+z=0)
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.
Để chứng minh bất đẳng thức trên, ta sẽ sử dụng phương pháp giả sử ngược (Proof by Contradiction). Giả sử bất đẳng thức trên không đúng, tức là: (5x^3 - y^3)/(3x^2 + xy + 5y^3) + (5y^3 - z^3)/(3y^2 + yz + 5z^3) + (5z^3 - x^3)/(3z^2 + xz + 5x^3) > x + y + z Ta có thể viết lại bất đẳng thức trên thành: (5x^3 - y ^3)/(3x^2 + xy + 5y^3) - x + (5y^3 - z^3)/(3y^2 + yz + 5z^3) - y + (5z^3 - x^3 )/(3z^2 + xz + 5x^3) - z > 0 Tiếp theo, ta nhận thấy rằng với mọi a, b > 0, ta luôn có: (a^3 - b^3)/(a^2 + ab + b^2) - a > 0 and (a^3 - b^3)/(a^2 + ab + b^2) - b > 0. Vì vậy, áp dụng bất đẳng thức trên từng phần thức trong tổng, ta có: (5x^3 - y^3)/(3x^2 + xy + 5y^3) - x > 0 (5y ^3 - z^3)/(3y^2 + yz + 5z ^3) - y > 0 (5z^3 - x^3)/(3z^2 + xz + 5x^3) - z > 0 Khi đặt a = x^3, b = y^3, c = z^3, ta có: (5a - b)/(3a^2 + ab + 5b) - a^(1/3) > 0 (5b - c)/(3b^2 + bc + 5c) - b^(1/3) > 0 (5c - a)/(3c^2 + ac + 5a) - c^(1/3) > 0 Nói cách khác, ta có các bất đẳng thức sau: (5a - b)/(3a^2 + ab + 5b) > a^(1/3) (5b - c)/(3b^2 + bc + 5c) > b^(1/3) ( 5c - a)/(3c^2 + ac + 5a) > c^( 1/3) Áp dụng bất đẳng thức AM-GM, ta có: 3a^2 + ab + 5b ≥ 3∛(15a^2b) 3b^2 + bc + 5c ≥ 3∛(15b^2c) 3c^2 + ac + 5a ≥ 3∛(15c^2a) Khi đặt A = 3a^2 + ab + 5b, B = 3b^2 + bc + 5c, C = 3c^2 + ac + 5a, ta có: A > a ^ (1/3) B > b^(1/3) C > c^(1/3) Từ đó, ta có: (A + B + C) > (a^(1/3) + b^(1/3) + c^(1/3)) Nhưng A, B, C lần lượt tương ứng với các số mẫu trong bất đẳng thức ban đầu, ta thu được: (5a - b)/(3a^2 + ab + 5b) + (5b - c)/(3b^2 + bc + 5c) + (5c - a)/(3c^ 2 + ac + 5a) > (a^(1/3) + b^(1/3) + c^(1/3)) Tuy nhiên, điều này trái với giả định ban đầu.
Áp dụng AM-GM có
\(\dfrac{x^3}{y^2}+y+y\ge3\sqrt[3]{\dfrac{x^3}{y^2}.y.y}=3x\)
Tương tự . \(\dfrac{y^3}{z^2}+z+z\ge3y\); \(\dfrac{z^3}{x^2}+x+x\ge3z\)
cộng lại ta được
\(VT+2\left(x+y+z\right)\ge3\left(x+y+z\right)\rightarrow VT\ge x+y+z=VP\)
Vậy ta có điều phải chứng minh
Dấu "=" \(\Leftrightarrow x=y=z\)