三角形abc中ad平分角bac,设点E,ED=DC,EF平行AB,求证AC=EF