数学机械化的介入，为信息课程与数学课程的整合起了很大的推动作用，为现代教育技术的发展增添了活力。教育技术方面的应用，也丰富了数学机械化的内容，两者之间的结合越来越紧密。平面几何教学是初中教学中的一个难点，几何学习是中学生数学能力发展水平的一个关键转折点。初中的数学学习跟小学有比较大的区别，对学生的逻辑思维能力要求更高，学习难度的加大使部分学生对数学学习产生畏难情绪，尤其是在农村初中，如何提高学生学习数学的兴趣，培养学生的数学探究能力是教育工作者的一个难题。教育软件辅助教学能够对教师的教学起到很好的辅助作用，以往有关几何基本图形的研究主要是针对某个或某几个基本图形信息技术对教师的教学、学生的学习产生了很大的影响。超级画板是为中国基础教育量身定做的教育平台，自动推理功能是其中一个重要的功能之一，在几何证明方面有着非常重要的作用，研究它的应用可以很好指导教师辅助教学，特别是在出题方面，可以打破传统创造一些新颖的题目。学生在使用的过程中，可以运用其进行探究性学习，培养发散思维、逻辑推导能力。现在中学阶段关于这方面的研究还比较少，因此本文将从以下几个方面的内容展开研究：1、系统的介绍超级画板自动推理功能和特点；2、研究教师如何根据要考察的知识点使用超级画板的自动推理功能进行命题；3、引导学生一题多解，培养学生进行探究性学习；4、探讨在超级画板的自动推理功能辅助教学环境下对学生数学能力的影响。