Demostraciones geométricas automáticas en GeoGebra

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