对角线相互平分且相等的四边形是菱形