在矩形ABCD中,E是CD上一点,BF垂直AE于F。求证:三角形ABF全等于三角形EAD.