《The Journal of Mathematical Behavior》：Students’ engagement with statements and their understanding of corresponding proofs by contradiction and contraposition
编辑推荐：
尽管高水平的学生参与度可能导致部分学生出现倦怠，但研究强调其在改善学习体验和学业成就方面的关键作用。多项研究报告称，学生参与度与各学科及各学段的学业表现呈正相关，而参与度不足则与较低的学业成就相关联。Wang等人(2016)发现，数学和科学领域参与度高的学生更
尽管高水平的学生参与度可能导致部分学生出现倦怠，但研究强调其在改善学习体验和学业成就方面的关键作用。多项研究报告称，学生参与度与各学科及各学段的学业表现呈正相关，而参与度不足则与较低的学业成就相关联。Wang等人(2016)发现，数学和科学领域参与度高的学生更可能取得更高成就并选择STEM相关专业。在本科数学层面，参与度也与证明相关学习有关。然而，关于证明的数学教育研究尚未将学生参与度作为影响证明理解的因素进行考察。这一研究空白在间接证明方法（如反证法(proof by contradiction, PBCd)和换质位法(proof by contraposition, PBCp)）的背景下尤为重要，因为这些方法对学习者提出了独特的认知要求。本研究关注学生在接触相应证明之前对数学陈述的参与，将参与概念化为学生探索陈述并尝试证明或反驳陈述的过程，探讨这种参与形式如何影响学生对PBCd和PBCp的理解。研究采用顺序定量-定性(QUAN→Qual)的混合方法设计，87名印度尼西亚本科数学教育专业五年级学生参与主要研究。研究发现，在接触证明前参与陈述的学生在PBCd和PBCp理解测试中得分显著更高，效应量均为中等。回归分析表明，参与度显著正向预测学生对两种证明方法的理解，解释了约6–7%的方差。访谈数据进一步显示，参与组学生普遍表现出智力需求(intellectual need)的涌现，即认识到自身初始推理的局限性并渴望获得更严谨的证明。研究结论支持将参与度视为影响学生间接证明理解的重要因素，并为教学实践提供了将陈述探索阶段纳入证明教学的可能路径。
论文解读：学生参与度对反证法与换质位法证明理解的影响
一、研究背景与问题提出
在数学教育研究中，学生参与度(engagement)与学业成就之间的正向关联已被广泛证实。然而，在证明教学研究领域，参与度尚未被系统地作为影响证明理解(proof understanding)的核心因素加以考察。这一研究缺口在间接证明方法的教学情境中尤为突出。反证法(proof by contradiction, PBCd)与换质位法(proof by contraposition, PBCp)作为两种典型的间接证明方法，对学习者提出了独特的认知要求：学生需要处理假设、否定以及非直观的论证结构，这使其难以预见或建构此类论证。既有研究表明，学生往往认为直接证明是唯一恰当的方法，即使接受了相关课程训练，在构造反证法或换质位法证明时仍面临显著困难，具体包括推理、否定、认知负荷以及对间接论证的接受度等方面的挑战。尽管存在这些已知困难，尚无实证研究系统探讨学生在接触正式证明之前对数学陈述的积极参与是否以及如何影响其对相应间接证明的理解。基于此，研究人员提出了两个研究问题：其一，先前对陈述的参与是否会对学生理解相应反证法证明和换质位法证明产生影响；其二，如果存在影响，参与度在多大程度上预测学生理解水平的变异。
二、研究设计与方法
本研究依托一个更大规模的混合方法研究项目，以87名印度尼西亚本科数学教育专业五年级学生为主要研究对象，另有25名来自同一课程群体的学生参与预研究(pilot study)。研究采用顺序定量-定性(QUAN→Qual)设计：定量阶段通过测量工具收集数据，定性阶段通过半结构化访谈深入解释和扩展定量结果。四组学生被随机分配至参与组(engagement group)和非参与组(non-engagement group)，其中参与组学生在接触每个陈述的正式证明前，先通过参与工具(Engagement Instrument)对陈述进行探索、判断真假并尝试证明或反驳。共有六个数学陈述，三个最终以反证法证明，三个以换质位法证明。非参与组学生则直接阅读六个证明。学生理解水平通过理解反证证明工具(Understanding ContraProof Instrument, UCP Instrument)测量，该工具基于Mejia-Ramos等人提出的证明理解六项标准设计。数据分析采用独立样本t检验考察组间差异，线性回归分析检验参与度的预测作用，访谈数据则依据Stylianides和Stylianides提出的两阶段智力需求(intellectual need)框架进行主题编码分析。
三、研究结果
3.1 学生参与度对其反证法与换质位法证明理解的影响
独立样本t检验结果显示，参与组学生在反证法证明理解测试中的平均得分(M=6.73, SD=0.21)显著高于非参与组学生(M=5.91, SD=0.24)，t(85)=2.57, p=0.012, Cohen's d=0.55，呈中等效应量。在换质位法证明理解方面同样呈现一致模式：参与组得分(M=5.55, SD=0.28)显著高于非参与组(M=4.67, SD=0.27)，t(85)=2.28, p=0.025, Cohen's d=0.49，也属中等效应量。这些结果表明，先前对陈述的参与与学生对两种间接证明方法的更高理解水平显著相关。对12名参与者的访谈分析进一步提供了质性支持：参与组中五名受访者明确表达了智力需求的涌现，即对自己初始论证局限性的认知和对更严谨证明的渴望，而呈现否定性证据的唯一一名受访者（认为自己的论证已构成充分证明）则报告了理解困难。非参与组受访者的访谈中则未发现智力需求涌现的证据。
3.2 学生参与度与其对反证法和换质位法理解之间的关联
线性回归分析表明，学生参与度对两种证明方法的理解均构成显著正向预测因子（反证法：B=0.81, t=2.57, p<0.05；换质位法：B=0.89, t=2.34, p<0.05）。这表明参与组学生平均得分比非参与组高出近一分。回归模型的R2值显示，参与度解释了反证法理解约7%的方差和换质位法理解约6%的方差，模型整体拟合良好，均为低残差均方根误差(RMSE)值，且满足线性、正态性和同方差性假设。访谈分析补充说明，参与组学生（如Beda和Aryo）在参与过程中表达了困惑和对自己论证的不满足感，并在学习所提供的正式证明后报告了理解的提升和信念的加强；非参与组学生（如Araya）则缺乏智力需求的迹象，仅聚焦于理解给定证明本身。
四、讨论与结论
本研究通过定量与定性相结合的实证证据，确立了学生参与度作为影响间接证明理解的重要因素。研究结果与既有关于参与度促进学业成就的研究相一致，并借助智力需求这一理论视角提供了机制性解释：参与陈述的活动可能使学生意识到自身认知资源的不足，从而激发对新知识的渴求，为后续理解正式证明创造有利条件。这一解释对间接证明教学尤其具有意义，因为此类证明要求学生接受非直观的推理路径，而参与活动可能帮助学生认识到直接或经验性方法的局限。研究还指出，理解机制可能存在替代解释，例如参与提高了学生对陈述涵义和符号的熟悉度，或提供了先行推理经验，未来研究可探究各机制的相对贡献。在方法论层面，研究所开发的参与工具为后续研究提供了可检验的测量工具。在教学实践层面，研究建议在定义-定理-证明的常规教学序列中融入简短的陈述探索阶段，以促进学生证明理解的深化。研究也承认了局限性：回归模型仅解释较小比例的方差，智力需求作为解释框架未被独立工具直接测量。未来研究应致力于智力需求的操作化测量，并探究参与度对其他证明方法的普遍适用性。
