„Trojúhelníky jsou k ničemu!“ neboli: co se skrývá ve formální struktuře konstrukční úlohy

Abstract

Konstrukční úlohy jsou běžnou součástí středoškolské geometrie. Při jejich řešení se uplatňuje specifická struktura, která mnohdy vede k nadbytečné formalizaci a algoritmizaci bez ohledu na matematické argumenty.

V příspěvku se zaměříme na obsah a důležitost jednotlivých částí formální struktury. Dále poukážeme na podobnost mezi jednotlivými fázemi řešení konstrukční úlohy a řešením problémových úloh či dokazováním matematických vět.