用推理方法研究四边形