在平面直角坐标系中,已知点A(0,1)、D(3,5),以AB为边作如图所示的正方形ABCD