几何证明中如何添加辅助线?