如图所示正方形ABCD的边长为2,以对角线BD作为边作菱形BEFD,点C、E、F在同一直线上