Where the Formulas Come From · Medium problem

For $2 x^{2} - 8 x = 0$, compute the discriminant and find both roots (enter the smaller root first; if the root is repeated, enter it twice).