| Title:
|
Vyšetřování množin bodů daných vlastností s podporou počítače (Czech) |
| Title:
|
Investigating loci with the help of a computer (English) |
| Author:
|
Blažek, Jiří |
| Author:
|
Pech, Pavel |
| Language:
|
Czech |
| Journal:
|
Učitel matematiky |
| ISSN:
|
1210-9037 |
| Volume:
|
25 |
| Issue:
|
5 |
| Year:
|
2017 |
| Pages:
|
261-271 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
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. (Czech) |
| Summary:
|
The article is focused on investigation of geometric loci by the program GeoGebra. It consists of two problems which illustrate ability of current software to determine an unknown locus and its equation in terms of given properties using the command LocusEquation. In both cases it is shown, how software arrives at the searched locus. In the second problem we demonstrate possibilities of doing experiments and attain answers, which are hardly accessible without computers not only to mathematicians, but also to others. (English) |
| MSC:
|
97G99 |
| MSC:
|
97U70 |
| . |
| Date available:
|
2021-10-04T16:34:14Z |
| Last updated:
|
2022-09-04 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/149115 |
| . |
| Reference:
|
[1] Botana, F., Hohenwarter, M., Janičič, P., Kovács, Z., Petrovič, I., Recio, T., Weitzhofer, S.: Automated theorem proving in GeoGebra: current achievements.(2015). Journal of Automated Reasoning, 55, 39-59. 10.1007/s10817-015-9326-4 |
| Reference:
|
[2] Johnson, R.: Advanced Euclidean Geometry.(1960). Dover, New York. |
| Reference:
|
[3] Laborde, J. M., Bellemain, F.: Cabri geometry II.(1998). Texas Instruments, Dallas. |
| Reference:
|
[4] Recio, T., Vélez, M. P.: Automatic discovery of theorems in elementary geometry.(1999). Journal of Automated Reasoning, 23, 63-82. 10.1023/A:1006135322108 |
| Reference:
|
[5] Švrček, J., Vanžura, J.: Geometrie trojúhelníka.(1998). SNTL, Praha. |
| Reference:
|
[6] Schumann, H.: A dynamic approach to simple algebraic curves.(2003). Zentralbl. Didakt. Math., 35, 301-316. 10.1007/BF02656694 |
| . |
