[论文解读] New tools in GeoGebra offering novel opportunities to teach loci and envelopes

Francisco Botana, Zoltán Kovács|arXiv (Cornell University)|May 30, 2016

Polynomial and algebraic computation参考文献 2被引用 5

一句话总结

本文介紹了 GeoGebra 新增的 LocusEquation 和 Envelope 指令，使學生與教育工作者能直接在課堂中以動態、符號化的方式計算代數軌跡與包絡方程。透過整合先進的電腦代數系統（如 Giac 和 SingularWS）與 Gröbner cover 算法，這些工具讓使用者能以代數與互動方式探索複雜的幾何軌跡——例如拋物線、雙曲螺線、心形線與腎形線，即使在行動裝置上亦可實現，從而將動態幾何與分析嚴謹性在中等教育中有效結合。

ABSTRACT

GeoGebra is an open source mathematics education software tool being used in thousands of schools worldwide. Since version 4.2 (December 2012) it supports symbolic computation of locus equations as a result of joint effort of mathematicians and programmers helping the GeoGebra developer team. The joint work, based on former researches, started in 2010 and continued until present days, now enables fast locus and envelope computations even in a web browser in full HTML5 mode. Thus, classroom demonstrations and deeper investigations of dynamic analytical geometry are ready to use on tablets or smartphones as well. In our paper we consider some typical secondary school topics where investigating loci is a natural way of defining mathematical objects. We discuss the technical possibilities in GeoGebra by using the new commands LocusEquation and Envelope, showing through different examples how these commands can enrich the learning of mathematics. The covered school topics include definition of a parabola and other conics in different situations like synthetic definitions or points and curves associated with a triangle. Despite the fact that in most secondary schools, no other than quadratic curves are discussed, simple generalization of some exercises, and also every day problems, will smoothly introduce higher order algebraic curves. Thus our paper mentions the cubic curve "strophoid" as locus of the orthocenter of a triangle when one of the vertices moves on a circle. Also quartic "cardioid" and sextic "nephroid" can be of every day interest when investigating mathematics in, say, a coffee cup. We also focus on GeoGebra specific tips and tricks when constructing a geometric figure to be available for getting the locus equation. Among others, simplification and synthetization (via the intercept theorem) are mentioned.

研究动机与目标

• 讓中學生與教師能在互動式、動態幾何環境中，透過符號代數計算探索幾何軌跡與包絡。
• 透過提供軌跡與包絡的認證代數方程，克服純粹視覺或數值軌跡偵測的限制。
• 利用先進的計算方法，將 GeoGebra 的功能從基本圓錐曲線延伸至高次代數曲線，如雙曲螺線、心形線與腎形線。
• 透過支援平板與智慧型手機的網頁版工具，促進高階幾何概念在課堂中的整合應用。
• 展示透過咖啡杯中的焦散現象等現實世界現象，教學高階曲線的可行性與教育價值。

提出的方法

• 在 GeoGebra 4.2 版本及以後版本中實作 LocusEquation 指令，利用內嵌的電腦代數系統（CAS），如 Reduce 和 Giac，進行符號軌跡計算。
• 將 SingularWS 網路服務整合至 GeoGebra，以透過 Gröbner cover（grobcov）算法將複雜的軌跡與包絡計算任務外掛處理。
• 應用 Gröbner cover 方法，即使對非二次曲線（如雙曲螺線（三次）、心形線（四次）與腎形線（六次））亦能計算其代數方程。
• 利用參數點與幾何變換（如中點、對稱點）的構造定義軌跡，再透過 LocusEquation 進行分析。
• 在光學焦散模擬中，同時採用平行與共點射線模型，計算腎形線作為包絡，其中平行情形因計算複雜度過高，需依賴 SingularWS 才能成功處理。
• 透過代數證明（例如，切線條件對應判別式為零）與綜合幾何推理，驗證結果與中等學校課程內容一致。

实验结果

研究问题

• RQ1 GeoGebra 的 LocusEquation 與 Envelope 指令如何以動態、互動方式教授拋物線等圓錐曲線的代數定義？
• RQ2 現代計算工具在多大程度上能生成並研究高次代數曲線（如雙曲螺線、心形線與腎形線）作為軌跡或包絡？
• RQ3 在計算曲線族（如咖啡杯中的光線）包絡時，所面臨的技術與教學挑戰為何？如何透過外部 CAS 服務克服這些挑戰？
• RQ4 如何使符號化軌跡與包絡計算在基於網頁與行動裝置的環境中，對中等教育而言既易用又高效？
• RQ5 這些新的 GeoGebra 工具在哪些方面能增強學生對幾何、代數與現實世界現象（如焦散）之間關聯的理解？

主要发现

• GeoGebra 4.2 版本中的 LocusEquation 指令可自動計算軌跡的隱函數代數方程，例如圓半徑中點軌跡的方程為 $x^2 - 6x + y^2 - 4y = -9$。
• 由 SingularWS 與 Gröbner cover 方法驅動的 Envelope 指令，成功計算出複雜包絡，如由反射光線族生成的腎形線（六次曲線）。
• 對於平行射線形成的腎形線，僅使用 Giac 偵測計算過慢，但透過 --singularws=enable:true 命令可成功計算，並發現額外的代數成分，可透過因式分解分離。
• 透過切線線段 AB 構造拋物線（焦點為 (0,1)，準線為 y=0）的解析證明顯示，交點方程的判別式為零，證實其為切線。
• 雙曲螺線作為三角形垂心的軌跡，當一頂點沿圓移動時產生，展現非二次、三次曲線在動態幾何中可達成的特性。
• 將符號計算整合至 GeoGebra，使學生能在不具備高階代數知識的情況下，於課堂中使用高階曲線與現實世界現象（如咖啡杯中的焦散）進行學習。