如图EF分别为矩形ABCD的边AD BC的中点