应该是
两条对角线互相垂直平分的四边形一定是菱形
或两条对角线互相垂直的平行四边形一定是菱形