用圆规验证四边形abcd是正方形