如何利用Maple软件进行平面几何命题的验证 |
| |
作者姓名: | 刘艳 |
| |
作者单位: | 刘艳(北京东燕郊,华北矿业高等专科学校人文社科系,101601) |
| |
摘 要: | 当今世界已进入计算机时代 ,计算机的应用遍及各个行业 ,尤其是教育领域 .在数学教学中利用计算机进行命题的验证已成为教师教学的重要手段 .如作为一名初中几何教师 ,在为学生出练习题的过程中经常需要自己创造题目 ,那么能否保证自己创造的题目都是正确的呢 ?这就有一个判断命题是否正确的问题 .利用计算机解决这一问题一般来说可以分成下面两个主要步骤进行 :第一步 几何的代数化与坐标化 :即从几何的公理系统出发 ,引进数系统与坐标系统 ,使任意几何命题的证明问题成为纯代数问题 .第二步 几何证明的机械化 :即将几何命题假设部分的代…
|
关 键 词: | Maple软件 平面几何 命题验证 数学教学 Grvebner基方法 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|