在三角形ABC中AD垂直BC垂足为D点E,F分别是AB和AC的中点当三角形ABC满足什么条件时,四边形AEDF是菱形