用超级画板证“五点共圆”

来源 :考试周刊 | 被引量 : 0次 | 上传用户:ming_yue_zhang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
张景中院士主持开发的Z+Z智能教育平台软件——超级画板除了具有几何画板的所有功能外.还基于我国数学家吴文俊先生所提出的数学机械化的思想.实现了几何定理可读性证明的可视化。下面将介绍如何利用超级画板来真正地推导证明“五点共圆”.而更重要的是该证明的过程完全由计算机来完成。
其他文献
1994~1995年度河南省小麦生育期间遭受到春冻、干旱以及纹枯病、蚜虫、红蜘蛛等多种自然灾害和病虫害的危害,造成全省小麦总产比1994年减产,有的地、市减产达25%以上。减产的
该文阐述了高速玻璃钢滑行艇的设计要点,从主要尺度的选择、结构,以及性能上,对其设计中的一些特点作出概括介绍。
会议
会议
1996年11月初至12月下旬,中国记者杂志社和中国地市报研究会联合开展了一次地市报版式设计大赛,共收到近200家报社选送的近千个一版版面,12月28日评选揭晓。嘉兴日报(12月9日
小组合作学习是新课标倡导的学习方式之一,与探究性学习一样,合作学习是实现学生学习方式转变的着力点,但是在实际操作和观摩中发现,现行的小组合作学习总是存在着这样那样的问题。常见的问题有:(1)成员之间缺乏必要的人际交流和合作技能;(2)教师为了让学生能广泛参与,一有问题,不管合适与否,难易如何,都要学生合作讨论,似乎只有让学生合作讨论,才能解决问题,造成学生没有参与讨论的兴趣,教学时间大量浪费,教学