Demostraciones geométricas automáticas en GeoGebra

• 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º. 93, 2016, págs. 141-150
• Idioma: español
• Títulos paralelos:
  • Automatic geometric proofs in GeoGebra
• Enlaces
  • Texto completo
• Resumen
  • español

    En este artículo describimos algunos fundamentos sobre los que se basa la capacidad que tienen muchos programas actuales de software matemático para demostrar enunciados geométricos, y explicamos cómo hacer uso de este recurso en las últimas versiones de GeoGebra

  • English

    In this article we describe some basic facts concerning the ability that many mathematical software packages currently have to prove automatically geometric statements. We also explain how to use this feature in the new versions of GeoGebra.