已知ABCD为边长为一的正方形