已知四边形ABCD是矩形