Where the Formulas Come From · Medium problem

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