如图所示,已知AB DE,BC EF求证