对角线相等的平行四边形是矩形