一次函数中等腰直角三角形存在性问题代数法