A=3+xy+yx+yz+zy+xz+zxGiả sử 0<a≤x≤y≤z≤b
⇒ab≤xz<ba⇒(xz−ab)(xz−ba)≤0⇔x2z2+1≤xz.(ab+ba)⇔xz+zx≤ab+ba
Có (1−xy)(1−yz)≥0;(1−yx)(1−zy)≥0≥0 Cộng lại
⇒xy+yx+yz+zy≤2+xz+zx=2+ab+ba
Cộng tất cả lại
⇒A≤5+2(ab+ba)
Dấu bằng xảy ra tại (x;y;z)=(a;a;b) hoặc (a;b;b) và các hoán vị