Abstrakt
V tomto článku se budeme zabývat vyšetřováním
množin bodů pomocí programu GeoGebra, který je v současnosti asi
nejrozšířenějším matematickým softwarem používaným při výuce v
Česku a v dalších mnoha zemích. Článek obsahuje dva problémy,
které mají demonstrovat dva důležité aspekty GeoGebry a obecně
programů DGS (Dynamic Geometry Systems). Prvním aspektem je stále
těsnější propojení DGS s funkcemi, které byly až do nedávna
typické pouze pro třídu programů CAS (Computer Algebra Systems).
Jedním z výsledků tohoto propojení je příkaz LocusEquation, který
je ve většině případů schopen zobrazit hledanou množinu bodů s
danou vlastností a stanovit její rovnici. Druhým aspektem, který
chceme ilustrovat na druhém problému, je typická vlastnost
softwaru DGS - možnost experimentu, objevování pro studenty
nových, často netriviálních poznatků. U obou problémů je popsána
metoda, jakou počítač postupuje.
množin bodů pomocí programu GeoGebra, který je v současnosti asi
nejrozšířenějším matematickým softwarem používaným při výuce v
Česku a v dalších mnoha zemích. Článek obsahuje dva problémy,
které mají demonstrovat dva důležité aspekty GeoGebry a obecně
programů DGS (Dynamic Geometry Systems). Prvním aspektem je stále
těsnější propojení DGS s funkcemi, které byly až do nedávna
typické pouze pro třídu programů CAS (Computer Algebra Systems).
Jedním z výsledků tohoto propojení je příkaz LocusEquation, který
je ve většině případů schopen zobrazit hledanou množinu bodů s
danou vlastností a stanovit její rovnici. Druhým aspektem, který
chceme ilustrovat na druhém problému, je typická vlastnost
softwaru DGS - možnost experimentu, objevování pro studenty
nových, často netriviálních poznatků. U obou problémů je popsána
metoda, jakou počítač postupuje.
Reference
- Botana, F., Hohenwarter, M., Janičič, P., Kovács, Z., Vyhledej v Google Scholar
- Petrovič, I., Recio, T. & Weitzhofer, S. (2015). Automated Vyhledej v Google Scholar
- theorem proving in GeoGebra: current achievements. {it Journal of Vyhledej v Google Scholar
- Automated Reasoning}, 55, 39-59. Vyhledej v Google Scholar
- bibitem{Johnson} Vyhledej v Google Scholar
- Johnson, R. (1960). {it Advanced Euclidean Geometry}. Dover, New Vyhledej v Google Scholar
- York. Vyhledej v Google Scholar
- bibitem{Laborde} Vyhledej v Google Scholar
- Laborde, J. M. & Bellemain, F. (1998). {it Cabri geometry II}. Vyhledej v Google Scholar
- Texas Instruments, Dallas. Vyhledej v Google Scholar
- bibitem{Recio} Vyhledej v Google Scholar
- Recio, T. & Vélez, M. P. (1999). Automatic discovery of theorems Vyhledej v Google Scholar
- in elementary geometry. {it Journal of Automated Reasoning}, 23, Vyhledej v Google Scholar
- -82. Vyhledej v Google Scholar
- bibitem{Svrcek} Vyhledej v Google Scholar
- Švrček, J. & Vanžura, J. (1998). {it Geometrie trojúhelníka}. Vyhledej v Google Scholar
- SNTL, Praha. Vyhledej v Google Scholar
- bibitem{Schumann} Vyhledej v Google Scholar
- Schumann, H. (2003). A dynamic approach to simple algebraic Vyhledej v Google Scholar
- curves. {it Zentralbl. Didakt. Math.}, 35, 301-316. Vyhledej v Google Scholar
Stažení
Údaje o počtu stažení nejsou zatím k dispozici.