因为是平行四边形
所以对角线互相平分
又因为对角线垂直
所以一条对角线就是另一条对角线的垂直平分线
所以根据垂直平分线上的点到线段两端的距离相等
可得
一组邻边相等
而一组邻边相等的平行四边形是菱形