已知四边形ABCD的顶点为A(2,2+2根号2)B(-2,2)C(0,2-2根号2)D(4,2),求证:四边形ABCD为