四边形的计算与证明