初中生几何学习困难原因初探.pdfVIP

教坛 弦柱 鹰百，了5 初 中生 几何 学 习困难 原 因初探 200234 上海师范大学数理信息学院 朱 亮 几何是初 中数学课程 中传统 的重要 内容 ， 氏几何( 几何原本) 、非欧几何等. 不仅是因为几何对培养学生的逻辑思维能力、 二、几何形式化的必要性 推理能力都有着重要的教育价值 ，而且几何在 现代科学技术 中也具有重要 的地位 ，因此 几何 几何是研究 图形 的性质 ，而这些性质都是 教育也受到 了全世界数学教育界 的广泛关注. 具有普遍性的，涉及 的对象必定有无穷多个 ，因 然而在初 中几何 的教学 中总是存在着一些 困 此对于这些性质的证明就必须要用形式化的演 难 ，中学生难 以理解几何演绎推理 的论证方法 ， 绎推理方法. 这就直接导致 了几何 的形式化 ，而 对用演绎推理方法证 明了的实事表示怀疑. 产 形式化几何为研究可能世界的存在条件提供 了 生困难 的原因在于初 中数学教科书中的几何被 新的基础. 在此基础上 ，可能世界在一定程度上 处理为严格的演绎推理的公理系统 ，而这种形 摆脱 了直观 的干扰 ，从而更好地探索几何 ，推进 式化给学生理解和掌握几何带来 了许多困难. 几何学的发展. 本文想从几何 的形式化方面分析产生这种 困难 初 中几何研究关于基本 图形 的基本性质 ， 的原因，提出关于解决这些 问题的想法，希望对 并对这些性质作出证 明，且 以命题 的形式呈现. 初涉几何 的初 中生学 习几何有所帮助. 下面来认识一下不同量词引导 的命题 的形式和 证 明的方法. 一 、形式化 的几何 1. 命题 的形式与证 明方法 几何学在很早 以前就被整理成 了一个形式 ( 1) 、全称命题与存在命题 化的公理体系，是数学中最古老的分支之一 ，也 根据命题 中量词所 限定范围的不同，可 以 是在数学这个领域里最基础 的分支之一 古代 将命题分为全称命题与存在命题. 所谓全称命 中国、巴比伦 、埃及 、印度 、希腊都是儿何学 的重 题是指含有全称量词 “所有 的”、“每一个 ”、“任 要发源地. 古希腊的数学非常繁荣 ，尤其是其几 何 的”的命 题. 例 如 “任 何 三 角 形 内角 和 为 何学 ，而且其几何学不像中国和埃及 的几何学 以 108 。”;存在命题是指含有存在量词 存“在”、“有” 直接应用为唯一 目的，更重要的是作抽象的理论 的命题. 如 “一元二次方程 护+ xs + 1二0 有两 思考与探索 比如著名 的毕达哥拉斯定理 ，就依 个不等根”. 赖于证 明，从 而推进 了理论几何学 的研究 ，深化 (2) 、证明两种命题的方法 了数学中逻辑推理 的探索. 正是对理论几何 的 由于上述两种命题所涉及 的范 围不 同，因 研究和探索 ，从而形成 了现今的形式化几何. 此证明的方式也不同. 要证 明全称命题为真命 为了说明什么是形式化的几何 ，就要先说 题就必须将所有涉及 的对象都进 行验证 ，才能 明一下什么是形式化. 所谓形式化 ，是用一套特