共查询到20条相似文献，搜索用时 15 毫秒
1.
本课题从 1997年 1月着手准备， 1997年 9月正式启动，至 2000年 10月 14日总结验收，历时三年多，经过中科院张景中院士等专家亲临现场鉴定，一致认为实验取得了成功，属于“国内首创、国际领先”的成果。现将实验情况总结汇报如下。 一、课题实验的指导思想 中国数学家在初等几何定理的机器证明这一研究领域作出了举世公认的巨大贡献。老一辈著名数学家吴文俊院士指出“中学数学现代化就是机械化”，所谓机械化就是让中学生在计算机上演算数学定理的证明。他创立了一条由公理化通往机械化道路的方法，被国际上誉名为“吴方法”，… 相似文献
2.
张景中院士主持开发的Z＋Z智能教育平台软件——超级画板除了具有几何画板的所有功能外．还基于我国数学家吴文俊先生所提出的数学机械化的思想．实现了几何定理可读性证明的可视化。下面将介绍如何利用超级画板来真正地推导证明“五点共圆”．而更重要的是该证明的过程完全由计算机来完成。 相似文献
3.
4.
5.
（本讲适合高中）“数学这门学科，需要观察，也需要试验”是著名数学家欧拉的一句名言．物理、化学和生物的试验需要仪器设备，而数学的试验只需要大脑和草稿纸．中学数学中平面几何添加辅助线的过程是最常见的试验．试验的思想和理念经常出现在各级数学竞赛中，例如，2011年全国高中数学联赛一试的数列问题，就可以通过数学试验猜测该数列的通项公式，然后，利用数学归纳法进行证明． 相似文献
6.
于志洪 《安顺师范高等专科学校学报》2000,2(2):18-23,28
极坐标法是一种重要的解题方法，在平面几何中的应用十分广泛，但目前国内外中学数学教材中介绍甚少，为充实这一数学内容，以弥补其不足，本文以部分平面几何中著名定理为例，谈谈极坐标法在证明中的应用。 相似文献
7.
自西学东渐以来,我国的平面几何教学就使用过多种公理体系.如上世纪二三十年代,恰逢当时的一些大数学家,如希尔伯特刚刚为欧氏几何补充了完整的公理体系.于是,我国的一些著名数学家及数学教育家,如傅仲孙先生便接受了这种公理体系,培养了一大批栋梁.后来,我国又普遍使用3S几何(由三位姓氏以S开头的美国数学教师所编),基本承袭了欧氏几何原始体系.到了上世纪50年代,我们的中学课本开始使用扩大化的公理体系.从20世纪八九十年代开始,我国当代一些很有名的数学家又开始了新的平面几何改造计划.影响比较大的有东北师大校长史宁中教授、美籍华人几何学家项武义先生,以及下文介绍的中科院院士张景中先生的平面几何改造思想.张景中先生的面积方法,开端于1974年.当时他在中学教数学,发现学生很喜欢他用面积法讲几何和三角.这以后,他就致力于面积方法和教材改革的研究,并取得了丰厚的成果.我们说,学术问题可以自由讨论,自然是仁者见仁,智者见智.我们刊登王敬赓教授介绍张景中面积法一文,愿与一线的老师们共同探讨. 相似文献
8.
为了全面贯彻党的教育方针，贯彻落实《中共中央国务院关于深化教育改革全面推进素质教育的决定》，培养适应21世纪现代化建设需要的社会主义新人，适应时代发展的需要，为学生的终身发展奠定基础，课程教材研究所中学数学课程教材研究开发中心聘请中国科学院院士、著名数学家林群先生为主编，与数学教育理论工作者、中学数学教研员和数学教师、数学教材专业研究和编写工作者共同成立了课题组，依据教育部《全日制义务教育数学课程标准（实验稿）》，编写义务教育初中数学新课标实验教材．几年来，课题组坚持科研领先，进行了大量的理论学习、课程标准研读、数学教学调研等，积累了许多一手的资料，对我国数学教学的历史与现状，国际数学教育的改革与发展情况等进行了深入的研究和讨论．在坚持我国数学教育优良传统的前提下，认真处理好继承、发展、创新的关系， 相似文献
9.
张景中院士利用他提出的共边定理实现了计算机自动生成几何定理的可读证明.从张院士的几本关于面积法解题的著作中也可以看出共边定理作为一种传统的几何证明方法,也能收到简洁巧妙的效果. 相似文献
10.
11.
12.
1978年举行全国中学生数学竞赛时，数学大师华罗庚在北京主持命题工作．著名数学家苏步青写信给华罗庚，建议出这样一个题目：在平面上给了两点A、B和平行于AB的一条直线，只用直尺求作AB的中点．命题小组认为此题太难，就改成“告诉你怎么找出AB中点，但要求你说出道理，即给出证明”．这段故事被张景中院士记录在文[1]中． 相似文献
13.
苏土龙 《中国教育技术装备》2012,(8):111-113
要实现学生学习方式变革,就是把现代信息技术与课程有机整合。在这种情况下,我国数学家张景中院士主持开发了一个主要用于数学课堂教学设计的原创性系统,即"Z+Z"智能教育平台。 相似文献
14.
瑞士籍大数学家欧拉(Euler，1707～1783)的数学成果几乎涉及所有的数学分支，在平面几何中有著名的欧拉直线和欧拉圆等．欧拉于1765年发表了下述定理，后来人们便把定理中三心所在的直线称为欧拉直线． 相似文献
15.
《中学生数理化(高中版)》2006,(2):F0002-F0002
张景中,计算机科学家、数学家,河南汝南人。1959年毕业于北京大学数学力学系。中国科学院成都计算机应用研究所研究员、名誉所长,广州师范学院教育软件研究所所长。提出和实现了定理机器证明的数值并行方法。把多年来 相似文献
16.
在平面几何的教学和初中数学竞赛的辅导中，往往会碰到一些几何题的解法或证明过程难而繁．缺少一些直观性的解题，证明方法．本文拟在中学数学教学大纲范围内用梅涅劳斯、塞瓦氏两定理来证明平面几何中的某些几何题，使证明过程化难为易．一些问题分析、思考更加直观形象，思路更为简单扼要，达到事半功倍之目的． 相似文献
17.
数学思想方法教学实验研究北京市教育科学研究所徐有标美国加州大学世界著名数学家项武义教授，在指导我国中学数学实验教材改革实验研究的同时，十分强调对学生进行数学思想、方法的教学。他说：“这是关系到学生能否学好数学的核心问题。”他对实验教材各章节蕴含的数学... 相似文献
18.
苑建广 《中学数学教学参考》2007,(1):49-51
托勒密（Ptolemy,古希腊数学家）定理内容简单,形式优美,是经典的平面几何命题之一．其证明思路及应用方法历来被视作启智发思的良好素材．今予管窥,供同行参考． 相似文献
19.
《中学数学杂志》（初中）2010年第2期刊登的“斯坦纳定理的简证及推广”一文（下称文[1]）,用“同一法”证明了平面几何中著名的斯坦纳定理——两内角平分线相等的三角形是等腰三角形,并给出了两个相关命题,阅后较有启发．但对其证明笔者不敢苟同,认为有误．今冒昧提出,不妥之处,请同行赐教．为便于说明,现部分摘录如下： 相似文献
20.
平面几何中几个著名定理及其证明平凉一中史浩春新的全国初中数学竞赛大纲草案的几何部分补充了几个著名定理。下面介绍这几个定理及其证明方法。斯特瓦尔特（Ｓｔｅｗａｒｔ）定理若Ｄ是ΔＡＢＣ的ＢＣ边上的一点，则ＡＢ２·ＤＣ＋ＡＣ２·ＢＤ－ＡＤ２·ＢＣ＝ＢＣ·Ｄ... 相似文献