对角线互相垂直的四边形是矩形 这句话对吗?为什么?