[pt] O objetivo deste trabalho é argumentar em favor de uma nova interpretação para o papel dos diagramas nas demonstrações da geometria euclideana. À luz de trabalhos recentes acerca do tema, pretende-se promover, em particular, uma nova avaliação daquele que é considerado o primeiro sistema dedutivo rigoroso na história da matemática: a geometria de Euclides, sistematizada nos seus Elementos. Com efeito, a utilização dos diagramas como partes essenciais das demonstrações neste sistema fez com que, na modernidade, tal sistema fosse considerado um exemplo de sistema informal, no qual as demonstrações são meros esboços do que seriam verdadeiras demonstrações. Estas, de acordo com a concepção de demonstração que se tornou comum na modernidade, devem ser compostas exclusivamente de fórmulas, as quais podem ser derivadas umas das outras apenas com base em regras lógicas ou princípios explícitos de antemão. Uma vez que tal concepção tornou-se dominante, por conta de diversos fatores nem sempre interligados, os diagramas que faziam parte das demonstrações euclideanas passaram a ser vistos como uma das principais causas de uma alegada falta de rigor por parte das mesmas. Para devolver às demonstrações matemáticas o rigor que lhes é necessário, autores como Hilbert e Pasch propuseram reconstruções formais da obra de Euclides, nas quais as demonstrações prescindem totalmente dos diagramas. No presente trabalho pretende-se reconstruir a seqüência de eventos que levou ao declínio das representações diagramáticas em geometria, bem como mostrar que é possível uma interpretação da obra de Euclides que leve em conta a participação dos diagramas nas demonstrações, sem que com isso as demonstrações sejam deficientes em termos de rigor. Serão rebatidas as críticas dos que defendem a concepção de demonstração acima mencionada, e, assim, será requerida uma revisão de tal postura - visando tanto a adoção de uma concepção mais abrangente de demonstração, quanto uma interpretação da geometria euclideana que faça mais justiça ao seu sucesso. / [en] The main concern of this work is to argue for new interpretations regarding the role of the diagrams in Euclidean geometry. Taking into account recent works on the subject, the goal here is to present alternative ways to evaluate the system which is considered the first rigorous deductive system in the history of mathematics: Euclid`s Elements. In fact, the use of diagrams as parts of its demonstrations has been considered as a flaw of that formal system. According to the standard conception of demonstration in modern times, a demonstration must be a chain of formulae, each of them being either a principle (accepted without demonstration) or a formula that follows from some principle by logical inference. As this conception became influent, the diagrams in Euclidean geometry turned out to be seen as one of the main reasons for an alleged lack of rigor of its demonstrations. In face of this, authors like Pasch and Hilbert worked on a formalization of Euclidean geometry in modern fashion, i.e., suppressing the diagrams from its demonstrations. The present work aims at a reconstruction of the main events which led to the decline of diagrammatic representations in geometry. It will be shown that an alternative view is possible. This view takes into account the importance of diagrams for the demonstrations without denying their deductive rigor. It will be argued against the conception of demonstration mentioned above, and for a revision of such conception in order to achieve a broader and fairer conception of Euclidean geometry.

[pt] Consideramos duas formas de complexidade em geometria euclidiana plana.Na primeira, problemas são descritos algebricamente, e a complexidade é cotada essencialmente pelo grau de um polinômio. Como consequência, mostramos que vários resultados gerais e familiares em geometria podem ser demonstrados a partir da simples verificação de dois ou três casos particulares. A segunda forma faz uso da descrição sintática dos teoremas, que permite uma quantificação da complexidade em termos lógicos (número de quantificadores e átomos de uma fórmula). Inspirados por esta última abordagem, são descritos alguns procedimentos de demonstração automática. Alguns grupos habituais de operções em geometria são apresentados com a intenção de simplificar as duas abordagens.Através do estudo de técnicas mais avançadas em matemática trazemos novos pontos de vista a assuntos estudados no ensino médio. / [en] Two forms of complexity in Euclidean plane geometry are considered. In the first one, problems are described algebraically, and the complexity level is measured essentially by the degree of a polynomial. As a consequence, many familiar and general results in geometry can be proved by inspecting two or three special cases. The second form uses the syntactic description of a theorem allowing for a quanti.cation of the complexity in logic terms (number of quantifiers and atoms in the formula). Inspired by this approach, some procedures in mechanized proofs are described. We also present some traditional groups of operations in geometry which simplify the two approaches. The study of more advanced techniques in mathematics sheds new light on standard high school topics.