如图,在矩形ABCD中,AB=9,BC=12,若将矩形沿直线EF折叠,使顶点B与D重合,EF角AD于E,交BC于F.