楊世國，錢 娣

(1.合肥師范學(xué)院數(shù)學(xué)系，安徽 合肥 230061；2.安徽大學(xué)數(shù)學(xué)科學(xué)學(xué)院，安徽 合肥 230039)

對任意三個實數(shù)α,β∈(0,1],λ∈[2,n]，記

)

(1)

楊路與張景中率先將三角形Pedoe不等式推廣到n維單形，建立了一種形式的n維Pedoe不等式[1]。

隨后蘇化明建立另一種形式的n維Pedoe不等式[2]

(2)

文獻[3]給出不等式(2)的指數(shù)推廣，得

(3)

文獻[4]給出不等式(2)另一種推廣，得

(4)

文獻[5]給出不等式(2)-(4)的加強推廣，得

(5)

文獻[6]給出不等式(2)-(4)另一種加強推廣，得

(6)

1 主要結(jié)果

(7)

不等式(7)比不等式(6)更強，實際上不等式(7)的右端應(yīng)用算術(shù)-幾何平均不等式便得不等式(6)。

(8)

由不等式(7)與算術(shù)-幾何平均不等式便得不等式(9)。

(9)

2 引理與定理的證明

為了證明上面兩個定理，我們需要下面幾個引理。

引理1 對n維單形Ωn成立不等式

(10)

(11)

當Ωn為正則單形時(10)式，(11)式等號成立。

證明應(yīng)用文獻[7]中兩個不等式

(12)

(13)

當Ωn為正則單形時，(12)式、(13)式等號成立。

應(yīng)用文獻[8-10]中兩個不等式

(14)

(15)

當Ωn為正則單形時等號成立。

由(13)式與(14)式便得(11)式。另外(12)式可寫為

則由上式與(15)式便得(10)式。

引理2 對n維單形Ωn，有

(16)

當Ωn為正則單形時等號成立。

證明引用文獻[11]中不等式

(17)

當Ωn為正則單形時等號成立。

由不等式(17)與(10)便得不等式(16)。

引理3[3，12]設(shè)ΔABC三邊a，b，c，面積為Δ,α∈(0,1]，則有

2a2αb2α-a4α-b4α-c4α

(18)

當ΔABC為正三角形時等號成立。

引理4 設(shè)n維單形Ωn的所有二維子單形的二維體積的乘積為M2，則

(19)

(20)

當Ωn為正則單形時，(19)、(20)式中等號成立。

證明引用文獻[11]中結(jié)果

(21)

當Ωn為正則單形時等號成立。

由不等式(21)、(10)和(11)便得不等式(19)、(20)。

引理5 對n維單形Ωn，α∈(0,1],λ∈[2,n]，有

(22)

(23)

當Ωn為正則單形時等號成立。

證明先證λ=n時不等式(22)成立，此時不等式(22)為

(24)

利用算術(shù)-幾何平均不等式與不等式(19)、(14)得

下面證明不等式(22)式對2≤λ

利用(24)式、算術(shù)-幾何平均不等式，得

(25)

由(14)式可知

(26)

由(25)式、(26)式便知(22)式成立。易知當Ωn為正則單形時，(22)式中等號成立。

用同樣的方法可證明不等式(23)式成立，證明過程中只需要將應(yīng)用不等式(19)換成不等式(20)，應(yīng)用不等式(14)換成不等式(16)即可，具體過程不再贅述。

)=

(27)

由(27)式與不等式(22)便得不等式(7)。易知當Ωn為正則單形時，(7)式中等號成立。

用同樣方法可證明定理2中的不等式(8)成立。

參考文獻：

[1] 楊路，張景中. Neuberg-Pedoe不等式的高維推廣及其應(yīng)用[J]. 數(shù)學(xué)學(xué)報, 1981, 24(3):401-408.

[2] SU H M.Two inequalities for the simplexes [J]. Chinese Sci Bull, 1987, 32(1):1-3.

[3] 陳計，馬援. 涉及兩個單形的一類不等式[J]. 數(shù)學(xué)研究與評論, 1989, 9(2):282-284.

[4] 毛其吉. 聯(lián)系兩個單形的不等式[J]. 數(shù)學(xué)的實踐與認識, 1989,19(3):23-25.

[5] 李邁龍. 高維Neuberg-pedoe不等式的推廣[J]. 數(shù)學(xué)的實踐與認識, 2004,34 (4):142-146.

[6] 楊世國. 涉及兩個n維單形的不等式[J]. 浙江大學(xué)學(xué)報：理學(xué)版, 2006, 33(3):247-249.

[7] 蘇化明. 一個涉及單形體積棱長及側(cè)面面積的不等式[J]. 數(shù)學(xué)雜志, 1993, 11(2):453-454.

[8] 冷崗松. Euler不等式的一個加強[J]. 數(shù)學(xué)的實踐與認識, 2004, 25(2):94-96.

[9] 匡繼昌. 常用不等式[M]. 濟南：山東科學(xué)技術(shù)出版社, 2004.

[10] OPPENHEIM A. Inequalities involving the elements of triangles, quadrilaterals or tethraedra[J].Univ Beograd Publ Elektrotehn Fak Ser Mat Fiz,1974,496:257-263.

[11] 蘇化明. 關(guān)于切點單形的兩個不等式[J]. 數(shù)學(xué)研究與評論, 1990, 10(2):243-247.

[12] 楊世國.n維Euler 不等式的推廣[J].西安工程科技學(xué)院學(xué)報，2005，19(4)：503-506.