判定四边形是正方形的定理有哪些