MathLabs

Bài 4

Tìm mọi nghiệm thực dương (x1,x2,x3,x4,x5)(x_1,x_2,x_3,x_4,x_5) của năm bất đẳng thức (x12−x3x5)(x22−x3x5)≤0(x_1^2-x_3x_5)(x_2^2-x_3x_5)\le0, (x22−x4x1)(x32−x4x1)≤0(x_2^2-x_4x_1)(x_3^2-x_4x_1)\le0, (x32−x5x2)(x42−x5x2)≤0(x_3^2-x_5x_2)(x_4^2-x_5x_2)\le0, (x42−x1x3)(x52−x1x3)≤0(x_4^2-x_1x_3)(x_5^2-x_1x_3)\le0, (x52−x2x4)(x12−x2x4)≤0(x_5^2-x_2x_4)(x_1^2-x_2x_4)\le0.
Bước 1 trên 4: Cộng các bất đẳng thức
Hiểu nôm na

Các hạng tử tuần hoàn chỉ lộ cấu trúc sau khi được gộp.

I1+I2+I3+I4+I5≤0I_1+I_2+I_3+I_4+I_5\le0
Phân tích chi tiết

Gọi năm vế trái là I1,…,I5I_1,\dots,I_5. Tổng của chúng không lớn hơn không.