對一類三元n次不等式的證明

楊學枝

(福建省福州第二十四中學 350015)

以下四個定理可用于證明一類三元n次不等式.文中“∑”與“∏”分別為三元數的循環和與循環積.

定理一若①λ,u≥v≥0，w≥0；②(λ-1)(λ-w)≤0，(u-1)(u-w)≤0(或λ,v≥u≥0，w≥0，(λ-1)(λ-w)≤0，(v-1)(v-w)≤0；或u,v≥λ≥0，w≥0，(u-1)(u-w)≤0，(v-1)(v-w)≤0)；③(λ-1)(λ-w)+(u-1)·(u-w)+(v-1)(v-w)≤0；④λ+u+v≤1+2w.則對于n∈N，n≥2，有

λn+un+vn≤1+2wn，

當且僅當λ,u,v有一個等于1，其余兩個及w都相等時取等號.

證明為以下書寫方便，記

fk(p,q)=pk+pk-1q+pk-2q2+…+qk(k=0,1,2,…)，并約定f0(p,q)=1，則

λn+un+vn-1-2wn

=(λn-1)+(un-1)+(vn-1)-2(wn-1)

=(λ-1)fn-1(λ,1)+(u-1)fn-1(u,1)+

(v-1)fn-1(v,1)-2(w-1)fn-1(w,1)

≤(λ-1)fn-1(λ,1)+(u-1)fn-1(u,1)+

(v-1)fn-1(v,1)-[(λ-1)+(u-1)+

(v-1)]fn-1(w,1)

(應用④)

=(λ-1)[fn-1(λ,1)-fn-1(w,1)]+(u-1)[fn-1(u,1)-fn-1(w,1)]+

(v-1)[fn-1(v,1)-fn-1(w,1)]

應用③，即得原式.

推論一若①λ,u,v,w≥0；②(λ-1)(λ-w)≤0，(u-1)(u-w)≤0；(v-1)(v-w)≤0；③λ+u+v≤1+2w.則對于n∈N，n≥2，有

λn+un+vn≤1+2wn，

當且僅當λ,u,v有一個等于1，其余兩個及w都相等時取等號.

同理可證以下三個定理(證略).

定理二若①0≤λ,u≤v，w≥0；②(λ-1)(λ-w)≥0，(u-1)(u-w)≥0(或0≤λ,v≤u，w≥0，(λ-1)(λ-w)≥0，(v-1)(v-w)≥0；或0≤u,v≤λ，w≥0，(u-1)(u-w)≥0，(v-1)(v-w)≥0)；③(λ-1)(λ-w)+(u-1)(u-w)+(v-1)(v-w)≤0；④λ+u+v≤1+2w.則對于n∈N，n≥2，有

λn+un+vn≤1+2wn，

當且僅當λ,u,v有一個等于1，其余兩個及w都相等時取等號.

定理三若①λ,u≥v≥0，w≥0；②(λ-1)(λ-w)≥0，(u-1)(u-w)≥0(或λ,v≥u≥0，w≥0，(λ-1)(λ-w)≥0，(v-1)(v-w)≥0；或u,v≥λ≥0，w≥0，(u-1)(u-w)≥0，(v-1)(v-w)≥0)；③(λ-1)(λ-w)+(u-1)(u-w)+(v-1)(v-w)≥0；④λ+u+v≥1+2w.則對于n∈N，n≥2，有

λn+un+vn≥1+2wn，

當且僅當λ,u,v有一個等于1，其余兩個及w都相等時取等號.

推論二若①λ,u≥v≥0，w≥0；②(λ-1)(λ-w)≥0，(u-1)(u-w)≥0；(v-1)(v-w)≥0；③λ+u+v≥1+2w.則對于n∈N，n≥2，有

λn+un+vn≥1+2wn，

當且僅當λ,u,v有一個等于1，其余兩個及w都相等時取等號.

定理四若①0≤λ,u≤v，w≥0；②(λ-1)(λ-w)≤0，(u-1)(u-w)≤0(或0≤λ,v≤u，w≥0，(λ-1)(λ-w)≤0，(v-1)(v-w)≤0；或0≤u,v≤λ，w≥0，(u-1)(u-w)≤0，(v-1)(v-w)≤0)；③(λ-1)(λ-w)+(u-1)(u-w)+(v-1)(v-w)≥0；④λ+u+v≥1+2w.則對于n∈N，n≥2，有

λn+un+vn≥1+2wn，

當且僅當λ,u,v有一個等于1，其余兩個及w都相等時取等號.

下面舉數例說明以上定理的應用.

∑cos2n(β-γ)≤1+2∏cosn(β-γ)(1)

當且僅當α,β,γ中有兩個相等時，式(1)取等號.

cos2(β-γ)≥cos2(α-γ)≥0，

cos2(α-β)≥cos2(α-γ)≥0，

∏cos (β-γ)≥0,

滿足定理一中條件①.

另外，由于

cos2(β-γ)-1≤0；

cos2(β-γ)-∏cos (β-γ)

=cos (β-γ)[cos (β-γ)-cos (α-γ)cos (α-β)]

=cos (β-γ)sin (α-γ)sin (α-β)

≥0，

因此，有

[cos2(β-γ)-1][cos2(β-γ)-∏cos (β-γ)]≤0，

同理，有

[cos2(α-β)-1][cos2(α-β)-∏cos (β-γ)]≤0,

滿足定理一中條件②.

[cos2(β-γ)-1][cos2(β-γ)-∏cos (β-γ)]

+[cos2(α-γ)-1][cos2(α-γ)-∏cos (β-γ)]

+[cos2(α-β)-1][cos2(α-β)-∏cos (β-γ)]

=-sin2(β-γ)sin (α-γ)sin (α-β)cos (β-γ)

+sin (β-γ)sin2(α-γ)sin (α-β)cos (α-γ)

-sin (β-γ)sin (α-γ)sin2(α-β)cos (α-β)

=-2sin2(β-γ)sin2(α-γ)sin2(α-β)≤0,

滿足定理一中條件③.

又由于

∑cos2(β-γ)-[1+2∏cos (β-γ)]

=[cos (β-γ)-cos (γ-α)cos (α-β)]2-[1-cos2(γ-α)][1-cos2(α-β)]

=sin2(γ-α)sin2(α-β)-sin2(γ-α)sin2(α-β)=0，

即有

∑cos2(β-γ)=1+2∏cos (β-γ)，

滿足定理一中條件④.

因此，由定理一知原命題成立，并知當且僅當α,β,γ中有兩個相等時，式(1)取等號.

(2)

當且僅當α,β,γ中有兩個相等時，式(2)取等號.

證明顯然,當α,β,γ中有兩個相等時，式(2)取等號，原命題成立.下面對α,β,γ互不相等情況，證明原式成立.

滿足定理四中條件①.

另外，由于

因此，有

同理，有

滿足定理四中條件②.

=∏tan (β-γ)[∑tan (β-γ)+∑tan3(β-γ)]

=∏tan (β-γ){∑tan (β-γ)+[∑tan (β-γ)]3

-3∑tan (β-γ)∑tan (α-γ)tan (α-β)

+3∏tan (β-γ)}

=∏tan (β-γ){∏tan (β-γ)+[∏tan (β-γ)]3

-3∏tan (β-γ)∑tan (α-γ)tan (α-β)

+3∏tan (β-γ)}

=[∏tan (β-γ)]2{4+[∏tan (β-γ)]2

-3∑tan (α-γ)tan (α-β)}

=[∏tan (β-γ)]2{4+[∑tan (β-γ)]2

-3∑tan (α-γ)tan (α-β)}

=[∏tan (β-γ)]2[4+∑tan2(β-γ)

-∑tan (α-γ)tan (α-β)]≥0

(注意應用等式∑tan (β-γ)=∏tan (β-γ)),

滿足定理四中條件③.

又由于

[1-∏cos (β-γ)]

(注意應用等式

∑cos2(β-γ)-2∏cos (β-γ)=1)

=∑tan2(β-γ)+2∏tan (β-γ)∑cot(β-γ)

(注意應用等式

=∑tan2(β-γ)+2∑tan (γ-α)tan (α-β)

=[∑tan (β-γ)]2≥0,

滿足定理四中條件④.

因此，由定理四知原命題成立，并知當……