几何证明及计算相关论文