一个四边形绕其对角线的交点O旋转90度,如果所得到的四边行与原来的四边形重合,那么这个四边形是正方形。