15 分形几何课程实验研讨会在南昌召开

第3期李康燮：中学数学中的证明47

性，这是说明概率作用的最典型的例子，这种方案的一般形式是检验的对象间由一些相互作用的循环系统组成．我们知道，随机数可以相互替换，从这个事实中可以看到“随机”的作用，遗憾的是这个方案中的大多数规则对中学生来说理解起来是相当困难的．然而一些有天赋的中学生会对这些规则产生浓厚的兴趣，因此，我们可以寻找一些中学生可以理解的合适的例子．当然，中学生在学习这些规则前需要掌握一些必要的数论知识．（5）学生也许会对投币实验的各种方法感兴趣，我们可以把这种方法用带有实践性和挑战性的方式介绍给学生，这个检验方案与古典概率有点不同，然而，概率在此同样起到关键的作用．5 结论与启示

我们生活在一个学校教育制度深刻变化的时代，对待数学，我们需要有新的视野．随着社会的发展，数学和数学证明的本质也将继续变化，这就要求我们需要培养新的数学观，即信息时代的中学生要熟悉掌握各种有说服力的数学模型．在这篇文章里，我们探讨了在中学数学中不同于经典证明的一些类型的检验方案并举了一些学生易于接受的例子．当然，对于数学证明的本质的讨论将继续，我们或许不能期望得到有关这个问题的彻底回答，因为我们在考虑各种类型的方案时，不得不面对我们中学课程里流行的欧几里得几何的证明．

Proofs in Secondary Schools

Kang Suplee1, SUN Lian-ju2, GUO Min2

(1. Dankook University, Korea; 2. Department of Mathematics, Northeast Normal University, Jilin Changchun 130024, China)

Abstract: In the information age, we needed various types of scheme of verification. We noted that only one type of verification scheme that was usually called "proof" was in the current curriculum for secondary school mathematics. In this article, we surveyed a variety of types of verification schemes that would be useful in real life. We proposed some types of verification scheme that need to be in our secondary school mathematics curriculum. We emphasized that probability plays an important role in this proposes schemes of verification.

Key words: structuralism; non-structuralism; verification scheme; random

[责任编校：陈汉君] 分形几何课程实验研讨会在南昌召开

2002年6月9日，江西省《分形几何初步进入普通高中数学课程的可行性实验研究》课题组在南昌大学学术交流中心召开“分形几何课程实验”研讨会，参与实验研究的全省7个城市8所学校——江西师大附中、修水一中、上饶二中、南昌十五中、吉安敦厚中学、宜丰二中、上犹中学、上犹县教师进修学校的11名代表出席了会议，就分形几何课程实验有关问题进行了研讨．

本实验研究被江西省课程办2002年4月审批立项，后又被立项为国家高中数学课程标准实验项目，主要研究在国家《高中数学课程标准》的框架设想中被列为“数学A”的一个专题“分形”教学的可行性等问题．研讨会的召开得到有关领导的关心和指示，通过与会代表的努力取得了预期的效果，为实验目标的达成铺平了道路．

（江西省上犹县教师进修学校舒昌勇供稿）