Demostraciones geométricas automáticas en GeoGebra: Casos prácticos

• Carlos Ueno Jacue ^[1]
  1. [1] Kodály Zoltán Gimnázium, Pécs, (Hungría)
• Localización: Números: Revista de didáctica de las matemáticas, ISSN-e 1887-1984, ISSN 0212-3096, Nº. 94, 2017, págs. 107-115
• Idioma: español
• Títulos paralelos:
  • Automatic geometric proofs in GeoGebra: Practical cases
• Enlaces
  • Texto completo
• Resumen
  • español

    En este artículo presentamos algunos ejemplos del uso de los comandos Comprueba[] y CompruebaDetalles[] que GeoGebra incorpora en sus nuevas versiones, analizando su eficacia a la hora de resolver problemas geométricos de diversa dificultad. También comprobamos la importancia del modo en que se realizan las construcciones geométricas a la hora de aplicar dichos comandos.

  • English

    In this article we introduce some examples of the use of the Prove[] and ProveDetails[] commands that GeoGebra incorporates in its latest versions, analyzing its efficacy when solving geometric problems of diverse levels of difficulty. We also check the importance of the way we make our constructions in order to apply the aforementioned commands.