证明几何定理,这属于计算应用