Sobre um problema que não era interessante para Erdős

Autores

DOI:

https://doi.org/10.23925/2237-9657.2021.v10i1p005-018

Palavras-chave:

Ferramentas de Raciocínio Automático, Teorema do Ângulo Inscrito, teorema de Pitágoras

Resumo

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

PDF views
1

Biografia do Autor

Zoltán Kovács, The Private University College of Education of the Diocese of Linz

Assistant Professor

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

2021-06-05

Como Citar

Kovács, Z. (2021). Sobre um problema que não era interessante para Erdős. Revista Do Instituto GeoGebra Internacional De São Paulo, 10(1), 5–18. https://doi.org/10.23925/2237-9657.2021.v10i1p005-018

Edição

v. 10 n. 1 (2021)

Seção

Artigos

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.