设ABCD是四边形,若AC与BD垂直,证明AB^2+CD^2=BC^2+DA^2(平面几何)带向量