因为EF平分AC
所以AO=OC
角AOE=FOC(对顶角相等)
角DAC=ACB(矩形的性质)
所以三角形AOE全等于FOC
所以AE=FC
而AD=BC(矩形的性质)
所以AD-AE=BC-FC
所以ED=BF(等量减等量差相等)
OK咯、