Resumen de On a problem that was not interesting for Erdős

Zoltán Kovács

• English

  We study a problem in elementary Euclidean geometry by using multiple approaches. We conclude that today's computer assisted study can introduce new methods to understand relationships and concepts better. Namely, using GeoGebra's Automated Reasoning Tools, several details of the original problem can be put into an algebraic context, and therefore, its automated investigation is possible, in some sense, mechanically. Still, creative thinking and reformulation of the problem in a different setting remains useful.

• português

  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.