令A=a1+F,B=a2+F,C=a3+F,D=a4+F,E=a5+F,則a1>=a2>=a3>=a4>=a5>=0 A+E+F=B+C+D-->a1+a5=a2+a3+a4 BCD= (a2+F)(a3+F)(a4+F) =a2a3a4+(a2a3+a3a4+a4a2)*F+(a2+a3+a4) *F2+F3 AEF=a1a5F+(a1+a5)*F2+F3 BCD-AEF=a2a3a4+(a2a3+a3a4+a4a2)*F-a1a5*F =a2a3a4+(a2a3+a3a4+a4a2-(a2+a3+a4-a5)a5)*F=a2a3a4+(a2a3+a3a4+a4a2-a2a5-a3a5-a4a5+a5*a5)*F 因a1>=a2>=a3>=a4>=a5>=0 故(a2a3+a3a4+a4a2-a2a5-a3a5-a4a5+a5*a5)>=0 所以BCD-AEF>=0,BCD>=AEF
|