Professional Documents
Culture Documents
𝑥3 𝑦3 𝑧3 𝑥 2 + 𝑦 2 + 𝑧 2 5 𝑥 3 + 𝑦 3 + 𝑧 3 − 3𝑥𝑦𝑧
+ + ≥ √ + .
𝑥 2 + 𝑥𝑦 + 𝑦 2 𝑦 2 + 𝑦𝑧 + 𝑧 2 𝑧 2 + 𝑧𝑥 + 𝑥 2 3 27 𝑥2 + 𝑦2 + 𝑧2
(𝑥+𝑦+𝑧)2 𝟑
và 3 = 𝑥2 + 𝑦2 + 𝑧2 ≥ ⇒ 𝑝 ≤ 3. Kết hợp lại:
√𝟐
<𝒑≤𝟑
3
∑ 𝑥3 (𝑦2 + 𝑦𝑧 + 𝑧2 )(𝑧2 + 𝑧𝑥 + 𝑥2 ) 5 3
⇔ 2 ≥ 1 + (𝑥 + 𝑦3 + 𝑧3 − 3𝑥𝑦𝑧);
(𝑥 + 𝑥𝑦 + 𝑦2 )(𝑦2 + 𝑦𝑧 + 𝑧2 )(𝑧2 + 𝑧𝑥 + 𝑥2 ) 81
∑ 𝑥 2 𝑦 2 (𝑥 3 + 𝑦 3 ) + ∑ 𝑥 3 𝑦 3 (𝑥 + 𝑦) + 𝑥𝑦𝑧[∑ 𝑥 4 + ∑ 𝑥 2 𝑦 2 + ∑ 𝑥𝑦(𝑥 2 + 𝑦 2 )] + (𝑥𝑦𝑧)2 ∑(𝑥)
⇔
∑ 𝑥 2 𝑦 2 (𝑥 2 + 𝑦 2 ) + ∑ 𝑥 3 𝑦 3 + 𝑥𝑦𝑧 ∑ 𝑥 3 + 2𝑥𝑦𝑧 ∑ 𝑥𝑦(𝑥 + 𝑦) + 3(𝑥𝑦𝑧)2
5
≥ 1 + (𝑥 3 + 𝑦 3 + 𝑧 3 − 3𝑥𝑦𝑧);
81
(∑ 𝑥 3 )(∑ 𝑥 2 𝑦 2 ) + (∑ 𝑥 3 𝑦 3 )(∑ 𝑥) + 𝑥𝑦𝑧 ∑ 𝑥 4 + 𝑥𝑦𝑧(∑ 𝑥𝑦)(∑ 𝑥 2 ) − (𝑥𝑦𝑧)2 ∑(𝑥)
⇔
(∑ 𝑥 2 𝑦 2 )(∑ 𝑥 2 ) + ∑ 𝑥3 𝑦3 + 𝑥𝑦𝑧 ∑ 𝑥3 + 2𝑥𝑦𝑧 ∑ 𝑥𝑦(𝑥 + 𝑦)
5 3
≥1+ (𝑥 + 𝑦3 + 𝑧3 − 3𝑥𝑦𝑧);
81
(𝑝3 − 3𝑝𝑞 + 3𝑟)(𝑞 2 − 2𝑝𝑟) + 𝑝(𝑞 3 − 3𝑝𝑞𝑟 + 3𝑟 2 ) + 𝑟(𝑝4 − 4𝑝2 𝑞 + 2𝑞 2 + 4𝑝𝑟) + 3𝑟𝑞 − 𝑝𝑟 2
⇔
3(𝑞 2 − 2𝑝𝑟) + 𝑞 3 − 3𝑝𝑞𝑟 + 3𝑟 2 + 𝑟(𝑝3 − 3𝑝𝑞 + 3𝑟) + 2𝑟(𝑝𝑞 − 3𝑟)
5 3
≥ 1+ (𝑝 − 3𝑝𝑞);
81
−𝑟𝑝4 + 𝑝3 𝑞 2 − 𝑝2 𝑞 𝑟 − 2 𝑝 𝑞 3 + 5 𝑞 2 𝑟 + 3 𝑞 𝑟 5 3
⇔ ≥ 1+ (𝑝 − 3𝑝𝑞);
𝑝3 𝑟 − 4 𝑝 𝑞 𝑟 − 6 𝑝 𝑟 + 𝑞 3 + 3 𝑞 2 81
1
(27 𝑝 − 18 𝑝3 + 3 𝑝5 + 27 𝑟 − 18 𝑝2 𝑟 − 𝑝4 𝑟) 5
⇔ 4 ≥ 1− 𝑝(𝑝2 − 9);
1 162
(27 − 9 𝑝2 − 3 𝑝4 + 𝑝6 − 8 𝑝3 𝑟 )
8
⇔ 𝒓(−𝟒𝟎𝒑𝟔 + 𝟑𝟔𝒑𝟒 + 𝟏𝟐𝟗𝟔𝒑𝟑 − 𝟓𝟖𝟑𝟐𝒑𝟐 + 𝟖𝟕𝟒𝟖) + 𝟓 𝒑𝟗 − 𝟔𝟎 𝒑𝟕 − 𝟏𝟔𝟐 𝒑𝟔 + 𝟏𝟎𝟔𝟐 𝒑𝟓
+ 𝟒𝟖𝟔 𝒑𝟒 − 𝟓𝟐𝟗𝟐 𝒑𝟑 + 𝟏𝟒𝟓𝟖 𝒑𝟐 + 𝟕𝟓𝟑𝟑 𝒑 − 𝟒𝟑𝟕𝟒 ≥ 0;
Ta có:
𝟑
𝑓(𝑝) = −40𝑝6 + 36𝑝4 + 1296𝑝3 − 5832𝑝2 + 8748 , với <𝒑≤𝟑.
√𝟐
𝟑
⇒ 𝑓(𝑝) < 𝑓 ( ) = 2916 (−7 + 3√2) < 0.
√𝟐
2
𝑝2 −3 2
( ) (𝑝2 −3)
2
Mặt khác, ta lại có: (𝑥𝑦 + 𝑦𝑧 + 𝑧𝑥)2 ≥ 3𝑥𝑦𝑧(𝑥 + 𝑦 + 𝑧) ⇒ 0 < 𝑟 ≤ = .
3𝑝 12𝑝
Do đó, ta có:
(𝒑𝟐 − 𝟑)𝟐
𝑉𝑇(∗∗) ≥ . (−𝟒𝟎𝒑𝟔 + 𝟑𝟔𝒑𝟒 + 𝟏𝟐𝟗𝟔𝒑𝟑 − 𝟓𝟖𝟑𝟐𝒑𝟐 + 𝟖𝟕𝟒𝟖) + 𝟓 𝒑𝟗 − 𝟔𝟎 𝒑𝟕
𝟏𝟐𝒑
− 𝟏𝟔𝟐 𝒑𝟔 + 𝟏𝟎𝟔𝟐 𝒑𝟓 + 𝟒𝟖𝟔 𝒑𝟒 − 𝟓𝟐𝟗𝟐 𝒑𝟑 + 𝟏𝟒𝟓𝟖 𝒑𝟐 + 𝟕𝟓𝟑𝟑 𝒑 − 𝟒𝟑𝟕𝟒;
⇒ BĐT (∗∗) luôn đúng. Vậy BĐT (∗) được chứng minh xong.