在正方形ABCD中，点M是边AB的中点，点E在线段AM上（不与点A重合），点F在边BC上，且AE=2BF，连接EF，以EF为边在正方形ABCD内作正方形EFGH．