滚动信息2

摘要：数学作为高中时期的主要学科，在人工智能与教育教学不断融合的背景下，传统的口述式教学逐渐难以满足现阶段数学课堂教学需求。数智化工具，如GeoGebra、Wolfram Alpha、Python数学库的问世，为开展“猜想-验证-证明”数学探究式学习提供有力支持。本文首先分析数智化工具支持下构建数学探究式学习模式的重要性，随后分析数学探究式学习现存问题，最后提出一系列科学合理的数学探究式学习模式构建策略，构建高效数学课堂。

关键词：“猜想-验证-证明”；数智化工具；数学；探究式学习

引言：

随着全新教育理念的深入人心，数学教学逐渐由传授知识转变为素养培养，在此背景下，探究式学习逐渐成为提升教学效率，落实素养培养的关键举措。然而，传统的探究式教学缺乏先进技术支撑，存在猜想空泛、验证随意、证明简单等问题，不仅会降低探究式学习效率，还难以发展学生核心素养。数智化工具通过大数据、AI等先进技术，为解决探究式学习现存问题提供可能，文章从“猜想-验证-证明”入手，探究通过数智化工具实现精准探究式学习的有效模式。

一、数智化工具支持下构建数学探究式学习模式的重要性

（一）突破传统教学局限

传统的数学探究式教学由于缺乏先进技术支持，在开展“猜想-验证-证明”时过于依赖学生的主观经验，缺乏严谨逻辑与直观运算。数智化工具通过GeoGebra、Wolfram Alpha等技术，能够将抽象的数学概念可视化、将复杂的数学运算直观化，帮助学生深入理解数学规律与逻辑，从而完成“主观猜想”到“计算验证”到“证明逻辑”的认知跃迁，切实培养学生的学科核心素养。

（二）构建完整探究体系

数学探究式学习的关键在于完整的探究体系，包括“提出猜想、验证猜想、形成结论、证明结论”。数智化工具的应用能够为各环节提供有力支持。比如，在“提出猜想”阶段，教师可以借助数智化工具创设动态情境，提升猜想准确度；同时，在“验证猜想”阶段，教师可以引导学生利用数智化工具处理数据或符号，减少验证误差；在“证明结论”阶段，学生则可借助数智化工具分解思维逻辑，降低证明难度。

（三）满足学生学习需求

由于学习基础、学习兴趣等方面的区别，导致学生存在明显的认知差异，传统的探究式学习难以满足学生的学习需求。数智化工具通过大数据技术分析学生，能够为不同学生提供针对性教学帮助，实现精准教学。比如，针对计算能力有待提高的学生，教师可以借助Mathematica简化计算过程，帮助学生验证猜想，针对计算能力较强的学生，教师可以利用Coq深化证明，帮助学生理解知识逻辑。

（四）提升学生创新能力

数学学习的真正目的在于培养学生的核心素养，提升学生的问题解决能力与创新能力。数智化工具通过先进技术能够创设真实探究情景，帮助学生意识到所学知识与生活实际的关联。比如，在“随机抽样”“随机事件与概率”等知识教学过程中，教师可以引导学生利用大数据平台分析社会现象与事件蕴含的数学规律，而在“基本立体图形”知识教学中，教师则可利用3D建模软件帮助学生深入理解图形特征，提升学生创新能力。

二、数学探究式学习现存问题

（一）猜想空泛

现阶段，学生在开展数学探究式学习过程中过于依赖自己的学习经验与主观直觉进行猜想，未能对问题进行深入分析，难以阐述自己的猜想依据，不利于后续探究学习的开展。除此之外，部分学生在提出猜想时由于传统认知的束缚，无法结合已有知识与生活经验从多角度开展猜想。最后，学生在面对复杂问题无法全面分析问题条件，忽视解题重要因素，导致提出的猜想在后续验证与证明阶段容易出现错误，降低探究式学习效率。

（二）验证随意

在验证自身猜想时，部分学生未能根据猜想与问题特点选择合适的验证方法，缺乏严谨性，难以证明猜想在所有情况下都成立，极易出现错误。其次，学生的验证过程不够完善，存在缺失关键步骤与遗漏步骤的问题，难以有效支持猜想。最后，虽然学生能够完成验证过程，但是对于验证结果的分析不够深入，仅能得出猜想是否正确的结论，未能深入探讨猜想正确的原因以及猜想错误的问题。

（三）证明简单

在证明阶段，大部分学生习惯采用常见的证明方法，未能积极应用数智化工具或多样的证明思路，不仅会限制自身思维发展，还会导致证明过程枯燥乏味。同时，一些学生在证明过程中忽视逻辑推理的重要性，很容易出现关键步骤缺失等现象，导致证明连贯性较差，无法得出正确结论。最后，学生对于证明方法的运用不够深入，难以灵活运用证明方法解决实际问题，导致学生难以完成高质量的证明。

三、数智化工具支持下的数学探究式学习模式构建策略

（一）借助数智化工具智能化猜想

猜想作为探究式学习的起点，精准的猜想能够为学生后续的探究指明方向，激发学生的学习欲望，同时，精准猜想还能引出后续的验证与证明，构建完整探究体系。数学教师可以引导学生借助数智化工具开展智能化猜想，有效解决传统探究式学习中“过于依赖主观经验开展猜想”的问题。

以人教版高一数学必修第一册（A版）“二次函数与一元二次方程、不等式”教学为例，首先，教师可以利用动态可视化工具GeoGebra创设生活问题情境“已知一块矩形区域大于20㎡，用于围矩形区域的栅栏总计24m，矩形的边长是多少？”引导学生仔细分析问题并观察，提出自己的直觉猜想。在展示生活问题时，教师还可以借助GeoGebra带领学生回顾所学知识“一次函数、一元一次方程以及一元一次不等式之间的关系”，并为学生展示“二次函数与一元二次方程、不等式的解的对应关系图”，促使学生根据生活实际问题、所学知识以及关系图提出猜想。比如，学生1：二次函数可以用来描述一元二次不等式，它们之间是图形联系的。学生2：一元二次方程可以构成一个二次不等式，而二次不等式反过来也可以构成一个一元二次方程。其次，在学生生成猜想后，教师可以利用AI技术为学生提供详细验证，即根据学生的猜想提出一个详细案例，促使学生优化猜想。比如，当学生提出“二次函数可以用来描述一元二次不等式”这一观点时，AI生成案例“二次函数y=ax²+bx+c（a≠0）”，并引导学生从a＞0以及a＜0的函数图像开口入手分析，帮助学生完善自身猜想。最后，教师可以利用数智化工具生成“猜想记录表”，将每名学生的猜想直观呈现到课堂中，每名学生都需要分享出自己的猜想依据以及不确定点，同时，学生可以质疑其余学生的猜想，激发学生深入思考。通过借助数智化工具智能化猜想，培养学生良好猜想习惯，激发学生探究欲望。

（二）借助数智化工具动态化验证

数智化工具凭借先进技术，能够将计算验证过程动态化，帮助学生处理复杂运算、推导数学符号，验证猜想准确性。基于“猜想-验证-证明”体系构建数学探究式学习模式，教师应当充分发挥数智化工具的作用，利用数据与算法辅助学生开展深度探究，培养学生逻辑推理与直观想象素养。

以人教版高一数学必修第二册（A版）“随机事件与概率”教学为例，首先，当学生结合生活问题情境“一箱中共有六瓶饮料，其中有两瓶能够中奖的饮料，从一箱中随机抽出两罐中奖的概率是多少？”提出猜想“中奖概率为2/5、中奖概率为3/5”后，教师可以引导学生利用符号工具Wolfram进行运算验证。比如，学生输入问题以及自己的猜想，工具会自动设计各种事件，包括A 中奖 A1第一罐中奖 A2第二罐中奖 A1A2第一罐中奖，第二罐不中奖等等。并将各类事件、相应事件的样本点数树状图直观呈现给学生，学生可以根据树状图来验证自己猜想的准确性。其次，学生在开展探究式学习过程中还可以利用大数据分析平台Python开展统计验证，验证自身理论猜想。比如，在掷骰子游戏中抛出两个质地均匀的骰子，骰子的两个顶面上的数字相同的概率是多少，两个数字之和等于6的概率是多少？大数据分析平台会模拟掷骰子实验，并将骰子的各种结果直观展示给学生，学生可以结合大数据分析结果估计事件概率与可能结果，验证猜想。最后，教师还可以利用数智化工具为学生提供“验证任务清单”，清单会将验证过程中的关键步骤直观呈现出来，包括收集数据、处理数据、分析数据等，并将可能出现的误差原因“样本不足、精度不够”等一并呈现给学生，避免验证过程流于形式。通过借助数智化工具动态化验证，提升探究式学习效率。

（三）借助数智化工具逻辑化证明

“证明结论”作为探究体系的重要组成部分，能够提升探究严谨性，培养学生逻辑思维。在“证明结论”阶段应用数智化工具，可以将复杂的证明转化为清晰的逻辑定理，帮助学生完成演绎推理。因此，在开展数学探究式学习过程中，教师需要充分运用AI定理证明器Coq以及GPT-4数学解释器等工具。

以人教版高一数学必修第二册（A版）“基本立体图形”教学为例，针对学生的各种猜想与命题，教师可以鼓励学生利用Coq辅助证明。比如，学生在证明猜想“有两个面平行，其他各个面都是平行四边形的多面体不一定是棱柱”时，学生可以根据自己的猜想拖拽图形自主设计几何体，Coq工具会生成几何体并提示关键条件“由两个三棱柱组成的几何体上下两个面平行，其他各面都是平行四边形，但该几何体并不是棱柱”，帮助学生理解抽象逻辑。除此之外，Coq工具还能利用自然语言处理技术将专业术语转化为通俗语言，帮助学生理解猜想中的数学知识。比如，将以往探究式学习“证明结论”阶段中的证明方法转化为“假设结论不成立—推导矛盾—命题成立”的三段式解释。学生猜想“有两个面平行且相似，其他各个面都是梯形的多面体不一定是棱台。”Coq工具会先假设该结论不成立，并采用各类技术开展证明，最终得出通俗易懂的结论“有两个面平行且相似，其他各个面都是梯形的多面体不一定是棱台，因为需要满足侧棱的延长线交于一点。”最后，学生可以利用GPT-4数学解释器将自己的证明过程可视化呈现出来。比如，学生将自己的证明过程制作成流程图、概念图等方式，并邀请其余学生批改自己的证明过程，指出证明过程中存在的逻辑漏洞。通过借助数智化工具逻辑化证明，发挥探究式学习育人价值。

（四）借助数智化工具个性化推荐

随着新课标理念的出台，教育工作者对于个性化教学、满足学生不同学习需求愈发重视。在此背景下开展探究式学习，教师应当充分发挥数智化工具的特点，结合学生的不同学习能力与兴趣为学生推荐工具，确保每名学生都能在适合自己的基础上发展进步，落实新课标理念。

以教师借助数智化工具个性化推荐为例，首先，教师需要根据探究式学习的不同阶段为学生智能推荐数智化工具。比如，在“提出猜想”阶段为学生推荐可视化工具GeoGebra与AI技术，帮助学生提出猜想；在“验证猜想”阶段为学生推荐符号工具Wolfram和大数据分析平台Python，帮助学生完成验证；在“证明结论”阶段，为学生推荐Coq工具和GPT-4数学解释器，帮助学生开展证明。其次，教师可以借助智能评估系统实时监控学生的学习情况。当学生运用GeoGebra、Wolfram等数智化工具进行探究式学习时，智能评估系统会追踪学生的探究轨迹，包括猜想准确度、猜想修改次数、验证计算、证明步骤等等，并生成关于学生的详细报告。根据个性化学习报告，教师可以为不同学生提供针对性帮助。比如，针对验证阶段计算能力较差的学生，教师可以引导学生积极运用符号工具Wolfram，在工具的指引下开展计算。针对证明阶段正确率较低的学生，教师可以传授给学生如何运用Coq工具进行反证，提升证明正确率。最后，教师需要为学生提供“探究反思日志模板”，学生根据教师所提供的模板回顾自己的数智化工具使用体验与心得，并分享自己在使用工具过程中遇到的问题。比如，生1：我认为数智化工具的使用能够提升探究式学习效果。”通过借助数智化工具个性化推荐，促进学生认知发展。

结语：

综上所述，数智化工具的应用能够帮助学生高效开展猜想、验证以及证明，提升探究式学习效率，落实核心素养培养理念。在具体教学过程中，通过借助数智化工具智能化猜想、借助数智化工具动态化验证、借助数智化工具逻辑化证明、借助数智化工具个性化推荐等策略，能够发挥数智化工具的育人价值，提高学生的学习能力与思维能力。未来，随着先进技术的问世，教师应当继续深入探索在数学教学中应用数智化工具的有效策略，助力学生全面发展。

参考文献

[1]邓涛. 数智化技术助力高等数学课程教学质量提升路径研究[J].广西开放大学学报,2025,36(01):19-23.

[2]王继明. 探究式学习法在高中数学立体几何教学中的实践思考[J].数理化解题研究,2025,(18):17-19.

牡丹江市第二高级中学