因为AD垂直BC
所以角ADB等于90°
因为E是AB中点
因为D是中点
所以DE是中位线
DE=2分之一AC,
角ADC等于90°
因为F是AB中点
因为DF=2分之一AC,同理DE=2分之一AB
所以DE=DF,DE=AE
因为DF=2分之一AC
所以DF=AF=DE=AE
所以四边形AEDF是菱形
因为AD垂直BC
所以角ADB等于90°
因为E是AB中点
因为D是中点
所以DE是中位线
DE=2分之一AC,
角ADC等于90°
因为F是AB中点
因为DF=2分之一AC,同理DE=2分之一AB
所以DE=DF,DE=AE
因为DF=2分之一AC
所以DF=AF=DE=AE
所以四边形AEDF是菱形