一类四元不等式-3
证明 (1)式展开可化为:
Σbc*(b^4+b^3*c+b^2*c^2+b*c^3+c^4)*(b-c)^4≥0。
显然成立，故(1)式得证。
(2)式展开可化为:
Σbc*(b^5+b^4*c+b^3*c^2+b^2*c^3+b*c^4+c^5)*(b-c)^4≥0。
显然成立，故(2)式得证。
(3)式展开可化为:
Σbc*(b^6+b^5*c+b^4*c^2+b^3*c^3+b^2*c^4+b*c^5+c^6)*(b-c)^4≥0。
显然成立，故(3)式得证。
(4)式展开可化为:
Σbc*(b^7+b^6*c+b^5*c^2+b^4*c^3+b^3*c^4+b^2*c^...全部
证明 (1)式展开可化为:
Σbc*(b^4+b^3*c+b^2*c^2+b*c^3+c^4)*(b-c)^4≥0。
显然成立，故(1)式得证。
(2)式展开可化为:
Σbc*(b^5+b^4*c+b^3*c^2+b^2*c^3+b*c^4+c^5)*(b-c)^4≥0。
显然成立，故(2)式得证。
(3)式展开可化为:
Σbc*(b^6+b^5*c+b^4*c^2+b^3*c^3+b^2*c^4+b*c^5+c^6)*(b-c)^4≥0。
显然成立，故(3)式得证。
(4)式展开可化为:
Σbc*(b^7+b^6*c+b^5*c^2+b^4*c^3+b^3*c^4+b^2*c^5+b*c^6+c^7)*(b-c)^4≥0。
显然成立，故(4)式得证。
(5)式展开可化为:
Σbc*(b^8+b^7*c+b^6*c^2+b^5*c^3+b^4*c^4+b^3*c^5+b^2*c^6+b*c^7+c^8)*(b-c)^4≥0。
显然成立，故(5)式得证。
。收起
