Đặt \(\left(x-1;y-2;z-3\right)=\left(a;b;c\right)=abc>0\)

Điều kiện bài toán trở thành :

\(a+1+b+2+c+3< 9\)

\(\sqrt{a+\sqrt{b}+\sqrt{c}}+\sqrt{c+5\left(a+1\right)+4\left(b+2\right)+3+\left(c+3\right)}\)

\(=\left(a+1\right)\left(b+2\right)=\left(b+2\right)\left(c+3\right)=\left(c+3\right)+\left(a+1\right)+11+a+b+c< 3\)

\(a+b+c< 3\)

\(=\sqrt{a+\sqrt{b}+\sqrt{c}+ab+bc+ca}\)

Mặt khác, do  không âm, ta luôn có:

\(\text{⇒2√a≥a(3−a)≥a(b+c)⇒2a≥a(3−a)≥a(b+c) (1)}\)

Hoàn toàn tương tự ta có:\(\text{ 2√b≥b(c+a)2b≥b(c+a) (2)}\)

\(\text{2√c≥c(a+b)2c≥c(a+b) (3)}\)

Cộng vế với vế (1);(2);(3):

Dấu "=" xảy ra khi và chỉ khi \(\text{a=b=c=0a=b=c=0 hoặc a=b=c=1a=b=c=1}\)

Để 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.