在三角形ABC中,AB=BC,D,E.F分别是边BC,AC,AB上的中点 求证四边形BDEF是菱形 若AB=12,求菱形