Resumo
O presente projeto propõe-se a investigar o papel dos diagramas em provas euclidianas, mais especificamente a relação que há entre as entradas diagramáticas e as entradas textuais nas provas por redução ao absurdo. A questão central é se diagramas apresentam apenas um papel heurístico e pedagógico nas provas matemáticas ou se ao menos em alguns casos eles desempenham um papel mais substan…