Abstrakt
Systematické dokazování vět nacházíme v rozvinuté podobě poprvé v antických matematických textech. V nich se mimo jiné soustavně pojednává o logice a objevují se teoretické úvahy o tom, jak má vypadat deduktivně budovaná věda.
V tomto příspěvku se tedy zaměříme na ukázky důkazů vybrané z antických textů ilustrující tehdejší různé způsoby dokazování a odvozování. Budeme přitom přihlížet k souvislostem se školskou matematikou.
Nejprve však stručně zmíníme některé obecnější aspekty dokazování.