题 在△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 。