几何证明标准格式书写、等量代换推理