什么是埃多斯-莫德尔不等式

来源:学生作业帮助网 编辑:作业帮 时间:2024/07/13 00:22:11
什么是埃多斯-莫德尔不等式
xT_OP*}Zڀ,C>.i4KȒ'6@A 贴_a{=vnKls9{~ 琞F],nH=aZxp;%9+;"}࿰'ڰr GuL$t6煈Z8[$d͋FS&VZ@$OÉ0+QfB^^-2YRgon҂ۢQj^B{R&>9$ qw7d?پW5_Bg >X襃M|@3s;8X|OF#RsxՀnM:4)2ҽ˸aRaqhR*KTc Y#YDW@e Ŧ\k6 o}Hg\Yf)y|2|w-=(:t"- P$]qIX ۍ-۔4la1eAp0VS^szk%,yEjI,xu:uRύ㼧8seh6L fy:D (z*!* R*wOAnv =24T5@$<"O[J@R o)p(ߨ5ΚI%J

什么是埃多斯-莫德尔不等式
什么是埃多斯-莫德尔不等式

什么是埃多斯-莫德尔不等式
设P为△ABC内任一点(包括边界),点P到边AB、BC、CA的距离分别为PD1、PD2、PD3,则:
PA+PB+PC≥2(PD1+PD2+PD3).
此不等式由近代数学家Erdos于1935年提出,当时未能给予证明,时隔两年,到了1937年才由Mordell利用三角函数给出了证明.
设f(x) = x² + y²+ z² - 2(xycosa + yzcosb + zxcosc)
= x² - 2(ycosa + zcosc)x + (y² + z² - 2yzcosb)
则△ = 4(ycosa + zcosc) ² - 4(y² + z² - 2yzcosb)
= - 4 [ y² ( 1 - cosa² ) + z² ( 1 - cos²c ) - 2yzcosacosc + 2yzcos ( a + c ) ]
= - 4(y²sin²a + z²sin²g - 2yzsinasing)
= - 4(ysina - zsing)²≤0
∴f( )≥0,即不等式
设x、y、z R,且a+b+c=л,则永远有x²+y²+z²≥2(xycosa + yzcosb + zxcosc)成立.
可证得如下的几何不等式:设P为△ABC内任一点(包括边界),∠APB、∠PBC、∠CPA的平分线与边AB、BC、CA分别相交于E1、E2、E3,则PA+PB+PC≥2(PE1+PE2+PE3);∠CPA的平分线与边AB、BC、CA分别相交于E1、E2、E3,则
PA+PB+PC≥2(PE1+PE2+PE3)
参考资料