Una comparación entre las demostraciones de Pedro Nunes y al-Khwārizmī de los algoritmos de las formas canónicas de la ecuación de segundo grado