把矩形纸片ABCD沿EF折叠,使点B落在点D处,点C落在点C’处,AB=16,AD=12,求EF的长.证明.