Abstract
This project purports to investigate the role of diagrams in Euclidean proofs, specifically the relation between diagrammatic entries and textual entries in proofs by reductio ad absurdum. The central question is whether diagrams present only heuristic and pedagogical roles in mathematical proofs or if at least in some cases they play a more significant role, i.e. if there are steps in th…