因为AD平分∠bac，所以角EAD 等于角DAC,又因为，∠c=90° ed⊥bc所以ED平行AC所以角DAC等于角EDA（内错角）所以角EDA等于角EAD 所以ED=AE（等角对等边）因为df‖ab，ED平行AC所以平行四边形AEDF又因ED=AE（临边相等的平四是菱形）所以是菱形菱形对角线互相垂直平分完了。。。
