已知:在三角形ABC中,D,E,F分别是边BC,CA,AB的中点,求证四边形AFDE的周长等于AB+AC