Resumen de Demostraciones geométricas automáticas en GeoGebra: Casos prácticos
- 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.
