Razonamiento abductivo e inductivo durante el proceso de prueba en geometría analítica con geogebra: un estudio de casos en el nivel bachillerato