用SymPy解几何数学题