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