GeoGebra and OK Geometry as proving tools in geometry

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60076658%3A12410%2F18%3A43898396" target="_blank" >RIV/60076658:12410/18:43898396 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

GeoGebra a OK Geometry jako nástroje dokazování v geometrii

Original language description

Článek se vztahuje k workshopu, který autor vedl na Česko-slovenské konferenci o geometrii a grafice. Jeho cílem je seznámit čtenáře s možnostmi, které nabízejí volně dostupné programy GeoGebra a OK Geometry pro zkoumání vlastností a vztahů daných geometrických konstrukcí v rovině. Zatímco program GeoGebra (geogebra.org) je v současnosti využíván pro výuku na mnoha základních, středních i vysokých školách, program OK Geometry (z-maga.si), který je rovněž dostupný v češtině, na své chvíle slávy stále čeká. Každý z těchto programů dokáže pro potřeby odhalování a dokazování geometrických vlastností nabídnout unikátní prostředky. GeoGebra disponuje propojením geometrické konstrukce s nástroji automatického dokazování vět, jehož efektivita neustále roste. Program OK Geometry zase dokáže s velmi dobrou úspěšností odhalit vlastnosti daného geometrického obrázku a vztahy, které panují mezi jeho dílčími komponentami. Tyto schopnosti obou programů, případně jejich kombinace, budou představeny prostřednictvím konkrétních příkladů.

Czech name

GeoGebra a OK Geometry jako nástroje dokazování v geometrii

Czech description

Článek se vztahuje k workshopu, který autor vedl na Česko-slovenské konferenci o geometrii a grafice. Jeho cílem je seznámit čtenáře s možnostmi, které nabízejí volně dostupné programy GeoGebra a OK Geometry pro zkoumání vlastností a vztahů daných geometrických konstrukcí v rovině. Zatímco program GeoGebra (geogebra.org) je v současnosti využíván pro výuku na mnoha základních, středních i vysokých školách, program OK Geometry (z-maga.si), který je rovněž dostupný v češtině, na své chvíle slávy stále čeká. Každý z těchto programů dokáže pro potřeby odhalování a dokazování geometrických vlastností nabídnout unikátní prostředky. GeoGebra disponuje propojením geometrické konstrukce s nástroji automatického dokazování vět, jehož efektivita neustále roste. Program OK Geometry zase dokáže s velmi dobrou úspěšností odhalit vlastnosti daného geometrického obrázku a vztahy, které panují mezi jeho dílčími komponentami. Tyto schopnosti obou programů, případně jejich kombinace, budou představeny prostřednictvím konkrétních příkladů.

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

50301 - Education, general; including training, pedagogy, didactics [and education systems]

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2018

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of the Czech-Slovak Conference on Geometry and Graphics 2018

ISBN

978-80-214-5652-5

ISSN

—

e-ISSN

neuvedeno

Number of pages

6

Pages from-to

85-90

Publisher name

Vysoké učení technické v Brně

Place of publication

Brno

Event location

Hotel Skalní mlýn, Blansko

Event date

Sep 10, 2018

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—