向量AB-向量AD=向量DB
(AB-AD)*AC=0
向量DB*向量AC=0 对角线互相垂直
平行四边形ABCD,对角线互相垂直
该四边形一定是菱形