1) Ta sẽ chứng minh bằng biến đổi tương đương như sau :
Ta có : (x10+y10)(x2+y2)≥(x8+y8)(x4+y4)(1)
⇔x12+x10y2+y10x2+y12≥x12+x8y4+y8x4+y12
⇔x10y2+y10x2≥x8y4+y8x4
⇔x2y2(x8+y8−x6y2−x2y6)≥0
⇔x2y2[(x8−x6y2)+(y8−x2y6)]≥0
⇔x2y2(x6−y6)(x2−y2)≥0
⇔x2y2(x3−y3)(x3+y3)(x2−y2)≥0
⇔x2y2(x−y)2(x+y)2(x2−xy+y2)(x2+xy+y2)≥0(2)
Ta thấy : x2−xy+y2=2(x2−2xy+y2)+x2+y2=2(x−y)2+x2+y2≥0
x2+xy+y2=2(x+y)2+x2+y2≥0 ; x2y2(x−y)2(x+y)2≥0
Do đó (2) luôn đúng.
Vậy (1) được chứng minh.