用向量证明:菱形ABCD对角线AC垂直于BD