Ya en 2001 Tomás Recio y sus colegas del Grupo de Trabajo SEIEM-Apregeom nos hablaban de las demostraciones automáticas (ponencia en las X JAEM). Con el paso del tiempo algunos ya reconocemos expresiones como demostraciones mecánicas, demostraciones sin palabras o demostraciones con ayuda del ordenador. No parece de recibo olvidar el ordenador en cualquier campo de las matemáticas, ya sea en la docencia o investigación. Se presentan en esta comunicación algunos de los problemas aparecidos en las pasadas oposiciones 2018, pero resueltos con GeoGebra.
