Užití programu GeoGebra při řešení problémů v geometrii

Abstract

Tato diplomová práce je zaměřena na nové funkce systémů dynamické geometrie a systémů počítačové algebry. V první části diplomové práce prozkoumávám nové funkce, které systémy dynamické geometrie poskytují. Druhá část diplomové práce se zaměřuje na příklady, které je možno pomocí těchto funkcí řešit. Zejména se jedná o automatické objevování množin daných vlastností. Zejména se zaměřuje na objevování rovnic těchto množin. V závěru je uveden příklad na porovnání principu automatického dokazování a automatického objevování.