Jiří Blažek
Technická univerzita v Liberci (Fakulta Pedagogická), Liberec

Je zřejmé, že GeoGebra (a obecně software dynamické geometrie) by měla pomáhat při hledání syntetického řešení geometrického problému. V praxi, u studentů základních, středních i vysokých škol, je však pomoc softwaru při hledání logického zdůvodnění spíše vzácností. V příspěvku se zaměříme na otázky proč tomu tak je, co by měl splňovat problém vhodný pro řešení a jak lze charakterizovat asi nejčastější pomoc, kterou software při řešení poskytuje, a to jak u začátečníků, tak u expertů.