初中几何证明探源.pdfVIP

学园 IXUEYUAN 2014年 第4期 初中几何证明探源 唐 静 云南省昭通市昭阳区永丰中学 【摘 要 】本文主要是从逻辑的角度来探讨什么是几何的形式证明，以及如何来进行推理、构造证明的过程。首先引入 了命题逻辑的初步知识，由此得到了相应的一些运算，利用这些相关概念以及运算探讨了什么是形式证明如何推理，最终从 逻辑结构上弄清了证明的过程是一系列命题所组成的一个序列，并通过初中几何证明的具体实例加以证实。 【关键词 】形式证明 命题 逻辑推理 序列 【中图分类号】G632 【文献标识码 】A 【文章编号】l674—4810(2014)O4—0141--02 在初中阶段的数学学习过程中，几何知识是许多学生都 结论 (即命题)，这些命题的集合就形成一个公理系统，这 倍感头痛的问题，尤其是几何证明。这是一个较为普遍的现 就是形式化几何。初中几何主要研究的是平面几何的图形性 象，其成因颇多，既有主观因素也不乏客观因素。不少同学 质及其数量关系，在欧式几何的公理体系和框架下，早已经 在听老师讲课时基本能懂能接受，但要其证明时就出现了 形成了许多有关平面几何的命题，但是教师在教学的过程中 这样那样的问题，不是不会写证明过程，就是说不清理由； 绝不能只告诉学生们一个结果 ，更多时候教师需要引导他们 不是东扯西拉，就是前后衔接不上……还有就是想当然者一 去探索并发现规律，总结和证明他们发现的规律，要证明就 一 “我觉得就是这样的”；更有甚者，将举例说明和证明混 必然要弄清形式化的推理。 为一谈 ，真可谓是 “百花齐放”，诸如此，林林总总，本文 下面，本文就从数理逻辑的角度来探讨何谓推理?何谓 不在此一一列举 。 证明?为此，需要介绍一些有关的数理逻辑概念和符号。 何谓证明? “一个命题的正确性需要经过推理，才能做 一 命题与逻辑运算符 出判断，这个推理过程叫做证明。”人教版，七年级下册 21 定义 1：具有确定真假性的陈述句称为命题。 页，如是说。诚然，这不能说其不对，但也确实不够清楚。 凡是命题都有真值，命题的真值只有两种情况，即取自 什么是 推“理过程”?具体问题又该如何 “推理”?从课本 集合 {0，1}，具体情况是：真命题的真值为 1，假命题的真 的这段话中，我们恐怕不易弄清以上问题。许多初学几何的 值为0。 初中生虽能朗朗上 口地背诵定理，但却不能真正理解其含义， 定义2：具有唯一确定真值的陈述句称为命题。 更谈不上对其的运用。那么，为何初中生都普遍觉得几何难 要判断一个语句是不是命题，需要注意两点：一是先判 学呢?问题究竟出在哪里?这些问题本文将稍后逐步探讨。 断其是否为陈述句；其次是看其真值是否唯一确定，这两个 几何学是一门非常古老的学科，早在古希腊时期几何学 条件缺一不可。例如，x“5，xER”，该语句虽然是陈述句， 就已经非常繁荣，比如欧式几何。时至今 日，我们所学的初 但却无法判断真假。因为 是可变的，当x取3时，其为假 等几何基本上都是建立在经历了两千多年的欧式几何的基 命题；当 取7时，其为真命题。这类语句可称之为命题变 础之上的，由此可见其古老性之一斑。虽然几何学 由来 已久， 元或称之为命题变量，值得注意的是命题变元不是命题，原 并经过了数千年的积淀和研究，然而它仍然令一代又一代的 因是其真值是可变的，时真时假。此外，还要特别注意像 “我 学习者为之困惑，缘何?笔者认为，几何学之难 (尤其是几 正在说谎话”这样的陈述句，这个语句无论你假设其真值为 何证明)关键在于其形式化的公理、定理、性质以及演绎推 “