周长问题
命题 在△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 。
备注:acosA+bcosB+ccosC 此为三角形垂心的垂足三角形周长。
此命题等价于许瓦兹定理，内接于锐角三角形的一一一角形中，以垂三角形的周长最小。