几何证明模型(二)