已知A.B.C.D四点的坐标分别为A(0,-1),B(3,2),C(1,3)D(-1,1)证明四边