Verifikace a dokazování geometrických vět s podporou počítače
Loading...
Date
Authors
Cukr, Pavel
Journal Title
Journal ISSN
Volume Title
Publisher
Jihočeská univerzita
Abstract
Cílem diplomové práce Verifikace a dokazování geometrických vět s podporou počítače je ověření a dokazování vybraných geometrických vět a tvrzení pomocí programů GeoGebra a CoCoA. Každý problém je nejprve demonstrován v programu GeoGebra, poté následuje ověření (verifikace) problému v tomtéž programu. Dále je uveden klasickýdůkaz a důkaz, případně určení rovnice křivky, pomocí matematického programu CoCoA. Využití programu dynamické geometrie současně s programem počítačové algebry je vhodné jako učební pomůcka v hodinách matematiky na základních a středních školách.