在长方体ABCD-A1B1C1D1中,E.F分别是棱A1B1,DC的点,切EB1=DF,求证:三角形AED1全等于三角形