En中Finsler-Hadwiger與Euler不等式的改進

陳士龍

(安徽廣播影視職業技術學院， 安徽合肥 230011)

1 主要結果

設三角形ABC的三邊長分別為a、b、c，則在二維歐氏平面上有著名的 Finsler-Hadwiger 不等式：

(1)

當且僅當三角形ABC為正三角形時等號成立.

在n維歐氏空間En中，文獻[1]建立了下面的結果的兩個結果

(2)

(3)

等號成立當且僅當單形Ωn為正則單形.

在二維平面上，任意三角形成立如下的著名的不等式：

R≥2r

(4)

等號成立當且僅當三角形為正三角形，這就是二維平面上的Euler不等式.

在n維歐氏空間En中，也有類似的結果，文獻[2]將二維Euler不等式推廣到n維歐氏空間En，建立了如下的不等式:

R≥nr

(5)

等號成立當且僅當單形為正則單形.

文獻[3-5]分別對n維Euler不等式進行了推廣，獲得了很多加強的結果.本文對n維Finsler-Hadwiger和n維Euler不等式進行了研究，建立了定理1和定理2，得到了比已有結果更強的結果.

定理1對En中n維單形Ωn，成立下面的不等式：

(6)

等號成立當且僅當單形Ωn為正則單形.

定理2對En中n維單形Ωn，成立下面的不等式：

(7)

等號成立當且僅當單形Ωn為正則單形.

2 引理

引理1[6]對En中n維單形Ωn，有

(8)

等號成立當且僅當Ωn為正則單形.

引理2[7]對En中n維單形Ωn，有

(9)

等號成立當且僅當Ωn為正則單形.

引理3[8]對En中n維單形Ωn，有

(10)

等號成立當且僅當Ωn為正則單形.

3 定理的證明

3.1 定理1的證明

(11)

(12)

由式(11)和式(12)可得

(13)

由算術幾何平均不等式有

(14)

由式(14)和式(8)可得

(15)

由冪平均不等式可得

(16)

進行如下的變形

(17)

式(17)即化為

(18)

結合式(18)和式(13)可得

(19)

式(19)經過化簡可得

(20)

此結果變形就是定理1.

由證明過程可知，上述各式中等號成立當且僅當單形Ωn為正則單形.

3.2 定理2的證明

由引理2可知

(21)

式(21)與定理1可得

(22)

由式(22)和式(10)，可得定理2，證明過程中的等號成立當且僅當n維單形Ωn為正則單形.

[1] 楊世國.n維Euler不等式的改進[J].哈爾濱工業大學學報，2004,36(6)：781-782.

[2] Borges J, Dougherty S T, Fernandez C C. Characterization and constructions of self-dual codes over Z2x Z4[J]. Adv. Math. Commun,2012,6:287-303.

[3] Fernandez C C, Pujol J, Villanueva M. Z2Z4-linear codes:rank and kernel[J]. Des. Codes Cryptogr,2010,56:43-59.

[4] Yang S G,Wang J.Improvements of n-dimentional Euler inequality[J].Journal of Geometry,1994,51：190-195.

[5] 冷崗松.En中Pedoe不等式的一個加強[J].數學的實踐與認識，1995(2)：94-96.

[6] 王文，楊世國.歐氏空間En中Pedoe不等式的推廣[J].中國科學技術大學學報，2012，42(11)：913-919.

[7] Mintrinovic D S,Pecaric J E , Volence V. Recent Advances in Geometric Inequalies[M].Dordrecht:Kuwer Acad.Publ.,1989:425-427.

[8] 張景中，楊路.關于質點組的一類幾何不等式[J].中國科學技術大學學報，1981，11(2)：1-8.