@Cool kid:S*O*S dao lam có thể hiểu đơn giản như vầy:Đối với BĐT hoán vị với 3 biến (đối xứng càng tốt:v)Ta sẽ tìm cách biểu diễn fleft(x;y;zright)f_1left(x;y;zright)left(x-yright)left(x-zright)+f_2left(x;y;zright)left(y-zright)^2Hoặc fleft(x;y;zright)-f_3left(x;y;zright)left(x-yright)left(x-zright)+f_4left(x;y;zright)left(y+z-2xright)^2Với f_1left(x;y;zright)text{và }f_3left(x;y;zright)ge0Vẫn còn rất mơ hồ đúng không? OK vào ví dụ:Chúng ta có: Fleft(x;y;zright)x^2+y^2+z^2-xy-yz-zxleft(x-yrigh...
Đọc tiếp
@Cool kid:S*O*S dao lam có thể hiểu đơn giản như vầy:
Đối với BĐT hoán vị với 3 biến (đối xứng càng tốt:v)
Ta sẽ tìm cách biểu diễn \(f\left(x;y;z\right)=f_1\left(x;y;z\right)\left(x-y\right)\left(x-z\right)+f_2\left(x;y;z\right)\left(y-z\right)^2\)
Hoặc \(f\left(x;y;z\right)=-f_3\left(x;y;z\right)\left(x-y\right)\left(x-z\right)+f_4\left(x;y;z\right)\left(y+z-2x\right)^2\)
Với \(f_1\left(x;y;z\right)\text{và }f_3\left(x;y;z\right)\ge0\)
Vẫn còn rất mơ hồ đúng không? OK vào ví dụ:
Chúng ta có: \(F\left(x;y;z\right)=x^2+y^2+z^2-xy-yz-zx=\left(x-y\right)\left(x-z\right)+\left(y-z\right)^2\) (nhận ra f1 (x;y;z) là gì rồi chứ:D)
Suy ra \(3.F\left(x;y;z\right)=3\left(x-y\right)\left(x-z\right)+3\left(y-z\right)^2\) (đọc xuống phía dưới bạn sẽ hiểu tại sao mình nhân 3) (1)
Và \(F\left(x;y;z\right)=x^2+y^2+z^2-xy-yz-zx=-3\left(x-y\right)\left(x-z\right)+\left(y+z-2x\right)^2\) (2)
OK bây giờ cộng theo vế (1) và (2) sẽ suy ra \(4.F\left(x;y;z\right)=3\left(y-z\right)^2+\left(y+z-2x\right)^2\)
Rồi chia cho 4 suy ra F(x;y;z). Ta đã biểu diễn được nó dưới dạng tổng 2 bình phương.
Lưu ý: :Bên trên chỉ là một cách đơn giản, còn nhiều kiểu biễn diễn khác rất hay nữa;)Nhưng mình nghĩ BĐT hoán vị, đối xứng thì dùng cách trên là được rồi:D
Nói thêm: Theo mình được biết thì cách này dùng cho BĐT có điểm rơi tại x = y = z. Còn trường hợp khác mình chưa có hướng làm tổng quát.