Where the Formulas Come From · Medium problem

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