[定理] Erdos-Mordell不等式

定理內容:
設P為△內部或邊上一點
P到BC、AC、AB的距離為PD、PE、PF
則PA+PB+PC≧2(PD+PE+PF)
此定理也叫厄多斯莫德爾不等式

定理證明:
餘弦定理
DE^2=PD^2+PE^2-2*PD*PE*cos(∠EPD)
=PD^2+PE^2-2*PD*PE*cos(A+B)
=(PD*sinB+PE*sinA)^2+(PD*cosB-PE*cosA)^2
≧(PD*sinB+PE*sinA)^2
→DE≧PD*sinB+PE*sinA

正弦定理和P,E,D,C四點共圓得
DE/sinC=EC/sin(∠EDC)=EC/sin(∠EPC)=PC/sin(∠PEC)=PC
→DE=PC*sinC

∴PC*sinC≧PD*sinB+PE*sinA
→PC≧PD*sinB/sinC+PE*sinA/sinC

∴PA+PB+PC≧PD*(sinB/sinC+sinC/sinB)+PE(sinA/sinC+sinC/sinA)+PF(sinB/sinA+sinA/sinB)
≧2(PD+PE+PF)

得證