已知在三角形abc中,AD垂直BC于D,角BDE=70度求证四边形AEDF是菱形