基于函数主题教学,发展代数推理能力