有理曲线 直角边 引导学生 三次代数曲线 数学猜想 蔓叶线 锐角三角形 勾股定理