在矩形ABCD中,点E,F分别在线段AB,AD上,AE=EB=AF=2/3FD=4,沿直线EF将三角形AEF翻折成三角形