己知 在△ABC中，BC=a,CA=b,AB=c，D,E,F分别在边BC,CA,AB上。
求证 EF+FD+DE)≥a*cosA+b*cosB+c*cosC

己知 在△ABC中，BC=a,CA=b,AB=c，D,E,F分别在边BC,CA,AB上。
求证 EF+FD+DE)≥a*cosA+b*cosB+c*cosC



证明 记AF=x,BD=y ,CE=z。则BF=c-x,CD=a-y,AE=b-z。
根据余弦定理，在△AEF中，
EF^2=x^2+(b-z)^2-2x(b-z)cosA
=x^2+(b-z)^2+2x(b-z)cos(B+C)
=[xcosC+(b-z)cosB]^2+[xsinC-(b-z)sinB]^2
≥[xcosC+(b-z)cosB]^2。
所以得:
EF≥xcosC+(b-z)cosB;
同理可得:
FD≥ycosA+(c-x)cosC;
DE≥zcosB+(a-y)cosA。
上述三式相加得:
EF+FD+DE)≥a*cosA+b*cosB+c*cosC 。
备注:
a*cosA+b*cosB+c*cosC 此为锐角三角形垂心的垂足三角形周长。