Sobre um problema que não era interessante para Erdős
DOI:
https://doi.org/10.23925/2237-9657.2021.v10i1p005-018Palavras-chave:
Ferramentas de Raciocínio Automático, Teorema do Ângulo Inscrito, teorema de PitágorasResumo
Estudamos um problema na geometria euclidiana elementar utilizando múltiplas abordagens. Concluímos que o estudo assistido por computador de hoje pode introduzir novos métodos para compreender melhor as relações e conceitos. Nomeadamente, usando as Ferramentas de Raciocínio Automático do GeoGebra, vários detalhes do problema original podem ser colocados em um contexto algébrico e, portanto, sua investigação automatizada é possível, em algum sentido, mecanicamente. Ainda assim, o pensamento criativo e a reformulação do problema em um cenário diferente continua sendo útil.
Downloads
Metrics
Referências
CHOU, S.C. Mechanical Geometry Theorem Proving. Springer Science + Business Media. 1987
COX, D.; LITTLE, J.; O'SHEA, D. Ideals, Variaties and Algorithms. Third Edition. Springer. 2007
ERDŐS, P. Problem 3740. American Mathematical Monthly, v. 42, p. 396, 1935.
HOHENWARTER, M.; KOVÁCS, Z.; RECIO, T. Using Automated Reasoning Tools to Explore Geometric Statements and Conjectures. In: HANNA, G.; REID, D.A.; DeVILLIERS, M. Proof Technology in Mathematics Research and Teaching. Springer, 2019, p. 215 – 236.
KOVÁCS, Z.; PARISSE, B. Giac and GeoGebra – Improved Gröbner Basis Computations. In: GUTIERREZ, J.; SCHICHO, J.; WEIMANN, M. Computer Algebra and Polynomials. Lecture Notes in Computer Science. Springer, 2015, p. 126 – 138.
KOVÁCS, Z.; RECIO, T.; VÉLEZ, M.P. Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry. International Journal for Technology in Mathematics Education, v. 25, no 2, p. 33-50, 2018.
LOSADA, R. El color dinámico de GeoGebra. La Gaceta de la RSME, v. 17, no 3, p. 525-547, 2014.
REIMAN, I. Fejezetek az elemi geometriából. Budapest: Tankönyvkiadó Vállalat. 1987 (in Hungarian)
UNDERWOOD, D. Elementary Number Theory. Second Edition. Mineola, New York: Dover Publications. 1978
Downloads
Publicado
Como Citar
Edição
Seção
Licença
Não há cobrança de taxas para a submissão, processamento, e publicação dos trabalhos enviados à revista e registro do DOI junto à CrossRef.
Os autores mantêm os direitos autorais e concedem à revista direito de primeira publicação do trabalho simultaneamente licenciado sob uma licença Creative Commons - Atribuição 4.0 Internacional license CC BY que permite que outros compartilhem o trabalho com um reconhecimento da autoria do mesmo e publicação inicial nessa revista.
A revista GeoGebra incentiva que seus autores cadastrem seus trabalhos em sistemas orientados à gestão de informação e comunicação de pesquisadores tais como: Academia.edu; Mendeley; ResearchGate;etc.
10.23925
