輔助理解幾何證明之數位學習環境研究.pdf

第十届全球华人计算机教育应用会议 GCCCE2006 论文集 輔助理解幾何證明之數位學習 境 A Computer- Theorem Proving 永廣 張文 陳柏宇 楊晰勳 殷聖楷 臺灣雲林科技大學 雲林 640電子郵箱 g9313718@yuntech.edu.tw 摘要 多數學生學習幾何證明的表 並不如預期 其中最基本的問題是源自於對複 雜的幾何概念的認知不足或先備知識缺乏 以及對證明題目本身的理解能力不夠 而造 成中學生學習幾何證明的最大障礙 因此 為了處理學生基本理解題目的問題 我們提 出一個基於動態幾何 境下的視覺化教學模組 企圖使學生可以充分了解題意 並且針 對題目 出正確的幾何圖形 也同時輔助學生判斷題目中哪些條件是已知 哪些是欲證 藉此來引導學生有效閱讀並理解幾何問題真正的涵意 關鍵字 動態幾何 定理證明 幾何學習 幾何教育 視覺化證明 Abstract: Many students of geometry theorem proving do not perform satisfactorily when asked to prove simple theorems. Their problems might arise from their poor understanding of the involved geometric concepts, or from their ignorance of intermediate geometric propositions that are needed to derive the final conclusion. To address these issues, we propose a model of understanding geometry theorem proving for dynamic geometry environment guiding students understanding the real means and knowing the beauty of geometry. Keywords: Dynamic geometry, theorem proving, learning geometry, visualize proving, geometry education. 1前言 1.1背景 中學幾何教學的內容有以下三種類型 1.幾何特性的推論 2.幾何圖形的建構 3.幾何圖形的量測 (例 面積或距離的量測) 而本文討論的重 是著重於幾何特性中 推論與構圖的關係 尤其是 學生閱讀幾何証明文字的理解與建構相對圖形的深入分 析 Knuth (2002)在研究中發 近年來的幾何教育愈來愈強調幾何的推論 而幾何的 學習是經由一連串的觀察圖形 數值量測與觀察外形的變化而 生 幾何學上的概念及 推論可以幫助學生建立相關知識的理解能力 例如 定理的陳述 題意的分析 推論的 應用 及論證的賞析 許多數學家及數學教育者認為幾何學是數學教育中相 重要的一 甚至認為幾何能力是一項特別的技能和知識(Lehrer Chazan, 1998; Whiteley, 1999) 幾何定理證明不只是學生學習的共同科目 同時也教育學生 推論及決策執行的能力 而數學教育也是培養邏輯判斷能力的訓練之一 E-学习环境设计与开发 394 第十届全球华人计算机教育应用会议 GCCCE2006 论文集 美小學學六年級中上程度數學能力檢測在臺灣測驗結果 臺灣學生答對率最高的是 著重計算的數與量題目 但是 數線 平面 立體幾何 邏輯推理答對率偏低 答對率 低的題目 包括基本幾何和邏輯推理 的確 幾何教學對於老師與學生都是ㄧ項挑戰 (Chazan, 1993; Healy Hoyles, 2000)老師常常花了許多時間教導學生幾何的幾何 概念和推理 然而 學生也時常在學習幾何方面顯露出身心疲憊的狀態 Duval (1998) 指出幾何教育通常比算術及代數學還要來得複雜 根據鄭英豪 2004指出