¿De dónde sale la fórmula que resuelve la Ecuación de Segundo Grado?

En este video se explica cómo se obtiene la famosa fórmula que permite resolver la Ecuación de Segundo Grado, reacomodando la expresión ax2+bx+c=0 a un cuadrado de binomio para luego extraer la raíz y poder despejar x.