矩形定义和性质及判定