高一向量题:已知四边形ABCD是菱形,AC和BD是它的两条对角线,求证AC⊥BD