几何证明题中的辅助线添加