費(fèi)紅亮 曾善鵬

(1.杭州高級(jí)中學(xué) 310003；2.杭州電子信息職業(yè)學(xué)校 310021)

1 結(jié)論部分

本文符號(hào)約定如下：P是△ABC內(nèi)任意一點(diǎn)，a,b,c是三角形三邊，R表示△ABC外接圓半徑，S表示△ABC的面積，P向三邊BC,AC,AB作高線分別交邊于D,E,F三點(diǎn)，PD,PE,PF分別用r1,r2,r3表示，PA,PB,PC分別用R1,R2,R3表示.

圖1

2018年韓國數(shù)學(xué)競(jìng)賽中給出了如下一道幾何不等式.

不等式P是△ABC內(nèi)任意一點(diǎn)，S1，S2，S3分別表示△PBC，△PAC，△PAB的面積，求證：

(1)

首先將不等式(1)進(jìn)行加強(qiáng)得到：

結(jié)論1P是△ABC內(nèi)任意一點(diǎn)，O為△ABC外接圓圓心，S1，S2，S3分別表示△PBC，△PAC，△PAB的面積，求證：

(2)

接著將不等式(1)進(jìn)行n元推廣得到：

結(jié)論2P是△ABC內(nèi)任意一點(diǎn),S1，S2，S3分別表示△PBC，△PAC，△PAB的面積，自然數(shù)n≥1，則

(3)

實(shí)際上，我們可以得到不等式(1)加強(qiáng)的推廣形式，其結(jié)論如下：

結(jié)論3P是△ABC內(nèi)任意一點(diǎn)，O為△ABC外接圓圓心,S1，S2，S3分別表示△PBC，△PAC，△PAB的面積，自然數(shù)n≥1，則

(4)

注易知結(jié)論1和結(jié)論2是結(jié)論3的推論，因此要證明以上三個(gè)結(jié)論，只要證明結(jié)論3即可.

2 引理部分

引理1(慣性矩不等式)[1]若x,y,z為任意實(shí)數(shù)，則

(5)

當(dāng)且僅當(dāng)x∶y∶z=ar1∶br2∶cr3取到等號(hào).

引理2(Gergonne公式)[2]P是△ABC內(nèi)任意一點(diǎn)，O為△ABC外接圓圓心，P向三邊BC,AC,AB作高線分別交邊于D,E,F三點(diǎn)，S，S△DEF分別表示△ABC,△DEF的面積，則

3 證明部分

結(jié)論3的證明由引理1知，若取x=ar1，y=br2,z=cr3時(shí)，不等式(3)取到等號(hào)，即

=(br2×cr3)a2+(cr3×ar1)b2+(ar1×br2)c2.

=2R(r2r3a+r3r1b+r1r2c)，

所以得到恒等式

(6)

因?yàn)镻D⊥BC,PE⊥AC,PF⊥AB,

所以有∠A+∠EPF=π,∠B+∠DPF=π,

∠C+∠DPE=π,

結(jié)合正弦定理以及三角形面積公式可得

2R(r2r3a+r3r1b+r1r2c)

=2R(2r2r3RsinA+2r3r1RsinB+r1r2RsinC)

=4R2(r2r3sinA+r3r1sinB+r1r2sinC)

=4R2(r2r3sin∠EPF+r3r1sin∠DPF+

r1r2sin∠DPE)

=4R2(2S△EPF+2S△DPF+2S△DPE)

=8R2S△DEF，

所以得到

2R(r2r3a+r3r1b+r1r2c)=8R2S△DEF

(7)

所以由恒等式(6)(7)可得

(8)

因此，由柯西不等式、冪平均不等式、恒等式(8)以及引理2可得

結(jié)論3得證.

4 猜想部分

在結(jié)論2中，分母的次數(shù)是2次，如果將2次換成任意正整數(shù)次，結(jié)論是否還成立，關(guān)于結(jié)論2，我們提出了如下猜想.

猜想P是△ABC內(nèi)任意一點(diǎn),S1，S2，S3分別表示△PBC，△PAC，△PAB的面積，自然數(shù)n≥1，m≥1，則有