求证三角形AED平行三角形CFD