L. de S. Barbosa, C. M. S. Meneghetti, and C. A. Poffal, “The use of dynamic geometry and mathematical investigation in the validation of geometric properties”, CeN, vol. 41, p. e12, Jul. 2019.