立体几何三线所成的三角公式应用